diff options
| author | aarne <unknown> | 2004-04-01 09:51:32 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-01 09:51:32 +0000 |
| commit | f53f35978f4cd6b0e4c5e9123b5e88f04f6f4452 (patch) | |
| tree | 100fc2f36a0dccc24c030b5a82389dac70780902 /src/HelpFile.hs | |
| parent | 3f9b4e7855cf4594708a9fbad194c89540d2cf1e (diff) | |
2beta2
Diffstat (limited to 'src/HelpFile.hs')
| -rw-r--r-- | src/HelpFile.hs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/HelpFile.hs b/src/HelpFile.hs index 12fdab8a6..57b38218f 100644 --- a/src/HelpFile.hs +++ b/src/HelpFile.hs @@ -35,7 +35,7 @@ txtHelpFile = "\n .ebnf Extended BNF format" ++ "\n .cf Context-free (BNF) format" ++ "\n options:" ++ - "\n -old old: parse in GF<2.0 format" ++ + "\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" ++ @@ -146,15 +146,17 @@ txtHelpFile = "\n flags: " ++ "\n -lexer use this lexer" ++ "\n" ++ - "\ncc, compute_concrete: cc Ident Term" ++ - "\n Compute a term by concrete syntax definitions." ++ - "\n The identifier Ident is a resource module name " ++ - "\n needed to resolve constant. " ++ + "\ncc, compute_concrete: cc Term" ++ + "\n Compute a term by concrete syntax definitions. Uses the topmost" ++ + "\n resource module (the last in listing by command po) to resolve " ++ + "\n constant names. " ++ "\n N.B. You need the flag -retain when importing the grammar, if you want " ++ "\n the oper definitions to be retained after compilation; otherwise this" ++ "\n command does not expand oper constants." ++ "\n N.B.' The resulting Term is not a term in the sense of abstract syntax," ++ "\n and hence not a valid input to a Tree-demanding command." ++ + "\n flags:" ++ + "\n -res use another module than the topmost one" ++ "\n" ++ "\nt, translate: t Lang Lang String" ++ "\n Parses String in Lang1 and linearizes the resulting Trees in Lang2." ++ |