diff options
| author | aarne <aarne@chalmers.se> | 2013-03-13 13:43:30 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2013-03-13 13:43:30 +0000 |
| commit | 7d1040ffb9bbf08d853e224b35bef4cebfee5d9e (patch) | |
| tree | f47723e04980b89874faef3272cb66057ee4f7b8 /src/compiler | |
| parent | e5ce4d4b1e7d2a6de343f184329ed23530ed0c9b (diff) | |
pt -nub to remove duplicate trees from a list returned e.g. by a parser
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/GF/Command/TreeOperations.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/GF/Command/TreeOperations.hs b/src/compiler/GF/Command/TreeOperations.hs index 330c82593..ea6180317 100644 --- a/src/compiler/GF/Command/TreeOperations.hs +++ b/src/compiler/GF/Command/TreeOperations.hs @@ -22,6 +22,8 @@ allTreeOps pgf = [ Left $ nub . concatMap (paraphrase pgf))), ("largest",("sort trees from largest to smallest, in number of nodes", Left $ largest)), + ("nub",("remove duplicate trees", + Left $ nub)), ("smallest",("sort trees from smallest to largest, in number of nodes", Left $ smallest)), ("subtrees",("return all fully applied subtrees (stopping at abstractions), by default sorted from the largest", |