diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-06 21:43:21 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-06 21:43:21 +0000 |
| commit | 64ebc4f1679b89bccb4328641a2432096e3288b6 (patch) | |
| tree | 53ee2f1b22a4e8b9f92acb256b62d753977b0daa /src/GF/Devel/Compile/Compile.hs | |
| parent | fe30e3274872db43e96ed9db467e51f12f53effb (diff) | |
new type checker type checks
Diffstat (limited to 'src/GF/Devel/Compile/Compile.hs')
| -rw-r--r-- | src/GF/Devel/Compile/Compile.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/GF/Devel/Compile/Compile.hs b/src/GF/Devel/Compile/Compile.hs index 490117e27..3b8558586 100644 --- a/src/GF/Devel/Compile/Compile.hs +++ b/src/GF/Devel/Compile/Compile.hs @@ -4,10 +4,9 @@ module GF.Devel.Compile.Compile (batchCompile) where 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.CheckGrammar ----import GF.Devel.Optimize ---import GF.Compile.Evaluate ---- ----import GF.Devel.OptimizeGF import GF.Devel.Grammar.Terms @@ -157,7 +156,7 @@ 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,moc) ---- + return (k,mor) ---- {- ---- |