diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-11-29 12:12:51 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-11-29 12:12:51 +0000 |
| commit | fffc5f2507e3adb2e3e6c780f94f5a68e7cb59f6 (patch) | |
| tree | e91e1f9fe84b3fdab78cf227774aeef52fb77b3d /src/compiler/GF/Infra | |
| parent | 1dd5af772974a2055b63148ebc542fe22c0021b1 (diff) | |
Sketch of the new type checker for the concrete syntax. Enabled only with -new-comp
Diffstat (limited to 'src/compiler/GF/Infra')
| -rw-r--r-- | src/compiler/GF/Infra/Option.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs index 7d5849684..74020f03b 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -167,7 +167,8 @@ data Flags = Flags { optUnlexer :: Maybe String, optWarnings :: [Warning], optDump :: [Dump], - optTagsOnly :: Bool + optTagsOnly :: Bool, + optNewComp :: Bool } deriving (Show) @@ -269,7 +270,8 @@ defaultFlags = Flags { optUnlexer = Nothing, optWarnings = [], optDump = [], - optTagsOnly = False + optTagsOnly = False, + optNewComp = False } -- Option descriptions @@ -346,6 +348,7 @@ optDescr = Option [] ["stem"] (onOff (toggleOptimize OptStem) True) "Perform stem-suffix analysis (default on).", Option [] ["cse"] (onOff (toggleOptimize OptCSE) True) "Perform common sub-expression elimination (default on).", Option [] ["cfg"] (ReqArg cfgTransform "TRANS") "Enable or disable specific CFG transformations. TRANS = merge, no-merge, bottomup, no-bottomup, ...", + Option [] ["new-comp"] (NoArg (set $ \o -> o{optNewComp = True})) "Use the new experimental compiler.", dumpOption "source" DumpSource, dumpOption "rebuild" DumpRebuild, dumpOption "extend" DumpExtend, |