diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-06 12:54:15 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-06 12:54:15 +0000 |
| commit | f08eb82f2beb069a0f9da2dbba4c6f09cf781e83 (patch) | |
| tree | 0548f3e8195c1e872358085fd73b6e063b65e080 /src/GF/Devel/Compile/Compile.hs | |
| parent | 7d1b964a78fc6383cd009a282ac993063c81130e (diff) | |
restored work on Extend and Rename
Diffstat (limited to 'src/GF/Devel/Compile/Compile.hs')
| -rw-r--r-- | src/GF/Devel/Compile/Compile.hs | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/GF/Devel/Compile/Compile.hs b/src/GF/Devel/Compile/Compile.hs index f24ce2f24..40d7a1032 100644 --- a/src/GF/Devel/Compile/Compile.hs +++ b/src/GF/Devel/Compile/Compile.hs @@ -3,8 +3,7 @@ module GF.Devel.Compile.Compile (batchCompile) where -- the main compiler passes import GF.Devel.Compile.GetGrammar import GF.Devel.Compile.Extend -----import GF.Compile.Rebuild -----import GF.Compile.Rename +import GF.Devel.Compile.Rename ----import GF.Grammar.Refresh ----import GF.Devel.CheckGrammar ----import GF.Devel.Optimize @@ -147,10 +146,15 @@ compileSourceModule opts env@(k,gr) mo@(i,mi) = do let putp = putPointE opts putpp = putPointEsil opts - mo1 <- ioeErr $ extendModule gr mo - intermOut opts (iOpt "show_extend") (prMod mo1) - return (k,mo1) ---- + mor <- ioeErr $ renameModule gr mo + intermOut opts (iOpt "show_rename") (prMod mor) + + moe <- ioeErr $ extendModule gr mor + intermOut opts (iOpt "show_extend") (prMod moe) + + + return (k,moe) ---- {- ---- mo1 <- ioeErr $ rebuildModule mos mo @@ -161,8 +165,6 @@ compileSourceModule opts env@(k,gr) mo@(i,mi) = do (_,ModMod n) | not (isCompleteModule n) -> do return (k,mo1b) -- refresh would fail, since not renamed _ -> do - mo2:_ <- putpp " renaming " $ ioeErr $ renameModule mos mo1b - intermOut opts (iOpt "show_rename") (prMod mo2) (mo3:_,warnings) <- putpp " type checking" $ ioeErr $ showCheckModule mos mo2 if null warnings then return () else putp warnings $ return () |
