refresh compilation phase in the new format

1 files changed, 7 insertions, 6 deletions

diff --git a/src/GF/Devel/Compile/Compile.hs b/src/GF/Devel/Compile/Compile.hs
index 3b8558586..9c4079519 100644
--- a/src/GF/Devel/Compile/Compile.hs
+++ b/src/GF/Devel/Compile/Compile.hs
@@ -5,7 +5,7 @@ import GF.Devel.Compile.GetGrammar
 import GF.Devel.Compile.Extend
 import GF.Devel.Compile.Rename
 import GF.Devel.Compile.CheckGrammar
-----import GF.Grammar.Refresh
+import GF.Devel.Compile.Refresh
 ----import GF.Devel.Optimize
 ----import GF.Devel.OptimizeGF
 
@@ -156,7 +156,12 @@ compileSourceModule opts env@(k,gr) mo@(i,mi) = do
   if null warnings then return () else putp warnings $ return ()
   intermOut opts (iOpt "show_typecheck") (prMod moc)
 
-  return (k,mor) ----
+  (k',mox) <- putpp "  refreshing " $ ioeErr $ refreshModule k moc
+  intermOut opts (iOpt "show_refresh") (prMod mox)
+
+
+
+  return (k,mox) ----
 
 
 {- ----
@@ -173,10 +178,6 @@ compileSourceModule opts env@(k,gr) mo@(i,mi) = do
       if null warnings then return () else putp warnings $ return ()
       intermOut opts (iOpt "show_typecheck") (prMod mo3)
 
-
-      (k',mo3r:_) <- putpp "  refreshing " $ ioeErr $ refreshModule (k,mos) mo3
-      intermOut opts (iOpt "show_refresh") (prMod mo3r)
-
       let eenv = () --- emptyEEnv
       (mo4,eenv') <- 
         ---- if oElem "check_only" opts