From e013138f0ca0db7ecc164f7d52816287f696d265 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 7 Dec 2007 10:23:18 +0000 Subject: refresh compilation phase in the new format --- src/GF/Devel/Compile/Compile.hs | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'src/GF/Devel/Compile/Compile.hs') 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 -- cgit v1.2.3