diff options
| author | aarne <unknown> | 2005-02-05 09:52:04 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-02-05 09:52:04 +0000 |
| commit | 45f3b7d5e74dde250a3e0eb92469efc22479cd30 (patch) | |
| tree | dac6258b5188e5b618f3d0828e525437bcca6758 /src/HelpFile.hs | |
| parent | bc05653e825e082b70eebf2f420eb5a97610f56c (diff) | |
optimization flags and improver eng
Diffstat (limited to 'src/HelpFile.hs')
| -rw-r--r-- | src/HelpFile.hs | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/src/HelpFile.hs b/src/HelpFile.hs index 9409dd4cc..0b78947bb 100644 --- a/src/HelpFile.hs +++ b/src/HelpFile.hs @@ -1,17 +1,18 @@ ---------------------------------------------------------------------- -- | --- Module : (Module) --- Maintainer : (Maintainer) +-- Module : HelpFile +-- Maintainer : Aarne Ranta -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date $ +-- > CVS $Date $ -- > CVS $Author $ -- > CVS $Revision $ -- --- (Description of the module) +-- Help on shell commands. Generated from HelpFile by 'make help'. ----------------------------------------------------------------------------- + module HelpFile where import Operations @@ -52,7 +53,6 @@ txtHelpFile = "\n -old old: parse in GF<2.0 format (not necessary)" ++ "\n -v verbose: give lots of messages " ++ "\n -s silent: don't give error messages" ++ - "\n -opt perform branch-sharing optimization" ++ "\n -src source: ignore precompiled gfc and gfr files" ++ "\n -retain retain operations: read resource modules (needed in comm cc) " ++ "\n -nocf don't build context-free grammar (thus no parser)" ++ @@ -65,6 +65,7 @@ txtHelpFile = "\n -cnc set the name used for concrete syntax (with -old option)" ++ "\n -res set the name used for resource (with -old option)" ++ "\n -path use the (colon-separated) search path to find modules" ++ + "\n -optimize select an optimization to override file-defined flags" ++ "\n examples:" ++ "\n i English.gf -- ordinary import of Concrete" ++ "\n i -retain german/ParadigmsGer.gf -- import of Resource to test" ++ @@ -454,6 +455,15 @@ txtHelpFile = "\n-number, the maximum number of generated items in a list. " ++ "\n The default is unlimited." ++ "\n" ++ + "\n-optimize, optimization on generated code." ++ + "\n The default is share." ++ + "\n -optimize=share share common branches in tables" ++ + "\n -optimize=parametrize first try parametrize then do share with the rest" ++ + "\n -optimize=values represent tables as courses-of-values" ++ + "\n -optimize=all first try parametrize then do values with the rest" ++ + "\n -optimize=none no optimization" ++ + "\n" ++ + "\n" ++ "\n-parser, Context-free parsing algorithm. The default is chart." ++ "\n -parser=earley Earley algorithm" ++ "\n -parser=chart bottom-up chart parser" ++ |