summaryrefslogtreecommitdiff
path: root/GF.cabal
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-11-12 21:11:51 +0000
committerkrasimir <krasimir@chalmers.se>2009-11-12 21:11:51 +0000
commit94171908c07a7f85ff991f14867c6bc5e7f93258 (patch)
tree4a9b3de68349a6eed267594315dd7711900c5a4c /GF.cabal
parent3aa208dd2bd1ae0f1958c5a2e68b2d4ad6e14b7e (diff)
before the optimizations OptParametrize and OptValues were applied twice. in addition the values optimization is now always applied because it become very cheep
Diffstat (limited to 'GF.cabal')
-rw-r--r--GF.cabal3
1 files changed, 1 insertions, 2 deletions
diff --git a/GF.cabal b/GF.cabal
index 656f900c5..2137f2113 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -139,7 +139,6 @@ executable gf
GF.Compile.Update
GF.Compile.CheckGrammar
GF.Compile.Refresh
- GF.Compile.BackOpt
GF.Compile.Rename
GF.Compile.ReadFiles
GF.Compile.GrammarToGFCC
@@ -150,7 +149,7 @@ executable gf
GF.Compile.Abstract.TypeCheck
GF.Compile.Abstract.Compute
GF.Compile.Optimize
- GF.Compile.OptimizeGF
+ GF.Compile.SubExOpt
GF.Compile.OptimizeGFCC
GF.Compile.ModDeps
GF.Compile.GetGrammar