pt -nub to remove duplicate trees from a list returned e.g. by a parser

2026-04-09 04:59:31 -06:00 · 2013-03-13 13:43:30 +00:00
parent 31b4b13b65
commit 0dc182c216
1 changed files with 2 additions and 0 deletions
--- 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",