From 5d772cbfa20abfb84b9925a5670ac5dd28312251 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 16 Mar 2006 21:26:22 +0000 Subject: MatchTerm: testing conditions on terms, e.g. nodup --- src/GF/Shell/HelpFile.hs | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) (limited to 'src/GF/Shell') 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." ++ -- cgit v1.2.3