diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-07 13:00:02 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-07 13:00:02 +0000 |
| commit | 8437e6d29573211a2218444d541c09d4eed3898e (patch) | |
| tree | 00225ab7d949ea016d142ce03ccf4ce652c71fb8 /src/GF/Devel/Compile/Compile.hs | |
| parent | 36a0f92bdb4bb551f829be47442d438016631bbd (diff) | |
started adding GF back optimization (Factorize)
Diffstat (limited to 'src/GF/Devel/Compile/Compile.hs')
| -rw-r--r-- | src/GF/Devel/Compile/Compile.hs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/GF/Devel/Compile/Compile.hs b/src/GF/Devel/Compile/Compile.hs index cb1d87a60..729a40df7 100644 --- a/src/GF/Devel/Compile/Compile.hs +++ b/src/GF/Devel/Compile/Compile.hs @@ -7,14 +7,14 @@ import GF.Devel.Compile.Rename import GF.Devel.Compile.CheckGrammar import GF.Devel.Compile.Refresh import GF.Devel.Compile.Optimize -----import GF.Devel.OptimizeGF +import GF.Devel.Compile.Factorize import GF.Devel.Grammar.Terms import GF.Devel.Grammar.Modules import GF.Devel.Grammar.Judgements import GF.Infra.Ident import GF.Devel.Grammar.PrGF -----import GF.Grammar.Lookup +----import GF.Devel.Grammar.Lookup import GF.Devel.ReadFiles import GF.Infra.Option ---- @@ -161,8 +161,10 @@ compileSourceModule opts env@(k,gr) mo@(i,mi) = do moo <- putpp " optimizing " $ ioeErr $ optimizeModule opts gr mox intermOut opts (iOpt "show_optimize") (prMod moo) + mof <- putpp " factorizing " $ ioeErr $ optimizeModule opts gr moo + intermOut opts (iOpt "show_factorize") (prMod mof) - return (k,moo) ---- + return (k,mof) ---- {- ---- |