diff options
| author | krasimir <krasimir@chalmers.se> | 2009-02-01 12:24:37 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-02-01 12:24:37 +0000 |
| commit | 75829ceab3eb58b5c702e275b364f901b3b8f947 (patch) | |
| tree | ef8bb65109aa58c0fbb2c868ae49a7a2d191b9e0 /src/GF/Infra | |
| parent | 95e8142e1a30a4836548dcffb9868848d2b71559 (diff) | |
the new pretty printer is now used for all -dump-* options. added -dump-source. implemented -dump-opt
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 844620bbb..4bc78d2a5 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -126,7 +126,7 @@ data HaskellOption = HaskellNoPrefix | HaskellGADT | HaskellLexical data Warning = WarnMissingLincat deriving (Show,Eq,Ord) -data Dump = DumpRebuild | DumpExtend | DumpRename | DumpTypeCheck | DumpRefresh | DumpOptimize | DumpCanon +data Dump = DumpSource | DumpRebuild | DumpExtend | DumpRename | DumpTypeCheck | DumpRefresh | DumpOptimize | DumpCanon deriving (Show,Eq,Ord) -- | Pretty-printing options @@ -349,6 +349,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, ...", + dumpOption "source" DumpSource, dumpOption "rebuild" DumpRebuild, dumpOption "extend" DumpExtend, dumpOption "rename" DumpRename, |