diff options
| author | hallgren <hallgren@chalmers.se> | 2013-11-29 16:26:49 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-11-29 16:26:49 +0000 |
| commit | 7d1c01138998497e70008b03c3b09b508850cb32 (patch) | |
| tree | 80c64baee886b96346260be15b6f9003dd1c3e36 /gf.cabal | |
| parent | 729d04051a8f4f92dea0a3d22c64ece2122216bd (diff) | |
Commment code and options relating to the old partial evaluator
This means that the -old-comp and -new-comp flags are not recognized anymore.
The only functional difference is that printnames were still normalized with
the old partial evaluator. Now that is done with the new partial evaluator.
Diffstat (limited to 'gf.cabal')
| -rw-r--r-- | gf.cabal | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -49,9 +49,9 @@ flag server Description: Include --server mode Default: True -flag new-comp - Description: Make -new-comp the default - Default: True +--flag new-comp +-- Description: Make -new-comp the default +-- Default: True flag custom-binary Description: Use a customised version of the binary package @@ -137,8 +137,8 @@ Executable gf other-modules: GFServer hs-source-dirs: src/server src/server/transfer src/example-based - if flag(new-comp) - cpp-options: -DNEW_COMP +--if flag(new-comp) +-- cpp-options: -DNEW_COMP build-tools: happy, alex>=3 @@ -206,7 +206,7 @@ Executable gf GF.Compile.TypeCheck.ConcreteNew GF.Compile.TypeCheck.TC GF.Compile.Compute.Abstract - GF.Compile.Compute.Concrete +-- GF.Compile.Compute.Concrete GF.Compile.Compute.ConcreteNew1 GF.Compile.Compute.ConcreteNew GF.Compile.Compute.AppPredefined |
