diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-03-16 21:26:22 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-03-16 21:26:22 +0000 |
| commit | 5d772cbfa20abfb84b9925a5670ac5dd28312251 (patch) | |
| tree | 506b36e8f931ad341cb3eb9f08bc86a4aa894d05 /src/GF/Shell/HelpFile.hs | |
| parent | e658e345fd225308cdf7c2c131198f85927b1dc3 (diff) | |
MatchTerm: testing conditions on terms, e.g. nodup
Diffstat (limited to 'src/GF/Shell/HelpFile.hs')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index 7c9133417..702bba5e9 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -655,12 +655,14 @@ txtHelpFile = "\n-startcat, like -cat, but used in grammars (to avoid clash with keyword cat)" ++ "\n" ++ "\n-transform, transformation performed on a syntax tree. The default is identity." ++ - "\n -transform=identity no change" ++ - "\n -transform=compute compute by using definitions in the grammar" ++ - "\n -transform=typecheck return the term only if it is type-correct" ++ - "\n -transform=solve solve metavariables as derived refinements" ++ - "\n -transform=context solve metavariables by unique refinements as variables" ++ - "\n -transform=delete replace the term by metavariable" ++ + "\n -transform=identity no change" ++ + "\n -transform=compute compute by using definitions in the grammar" ++ + "\n -transform=nodup return the term only if it has no constants duplicated" ++ + "\n -transform=nodupatom return the term only if it has no atomic constants duplicated" ++ + "\n -transform=typecheck return the term only if it is type-correct" ++ + "\n -transform=solve solve metavariables as derived refinements" ++ + "\n -transform=context solve metavariables by unique refinements as variables" ++ + "\n -transform=delete replace the term by metavariable" ++ "\n" ++ "\n-unlexer, untokenization transforming linearization output into a string." ++ "\n The default is unwords." ++ |