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/UseGrammar/Custom.hs | |
| parent | e658e345fd225308cdf7c2c131198f85927b1dc3 (diff) | |
MatchTerm: testing conditions on terms, e.g. nodup
Diffstat (limited to 'src/GF/UseGrammar/Custom.hs')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index 4400c2585..efaa1abeb 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -39,6 +39,7 @@ import qualified GF.Grammar.MMacros as MM import GF.Grammar.AbsCompute import GF.Grammar.TypeCheck import GF.UseGrammar.Generate +import GF.UseGrammar.MatchTerm import GF.UseGrammar.Linear (unoptimizeCanon) ------import Compile import GF.Compile.ShellState @@ -373,6 +374,8 @@ customTermCommand = ,(strCI "compute", \g t -> let gr = grammar g in err (const [t]) return (exp2termCommand gr (computeAbsTerm gr) t)) + ,(strCI "nodup", \_ t -> if (hasDupIdent $ tree2exp t) then [] else [t]) + ,(strCI "nodupatom", \_ t -> if (hasDupAtom $ tree2exp t) then [] else [t]) ,(strCI "paraphrase", \g t -> let gr = grammar g in exp2termlistCommand gr (mkParaphrases gr) t) |