From 8437e6d29573211a2218444d541c09d4eed3898e Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 7 Dec 2007 13:00:02 +0000 Subject: started adding GF back optimization (Factorize) --- src/GF/Devel/Compile/Compile.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 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 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) ---- {- ---- -- cgit v1.2.3