Skip to content

Commit 2582899

Browse files
authored
Re-enable options -nub and -funs to shell command 'put_tree'
2 tabs \t in compiler/GF/Command/TreeOperations.hs introduced in PR GrammaticalFramework#174 blocked the options -nub and -funs of 'put_tree'.
1 parent 0f4d13d commit 2582899

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/compiler/GF/Command/TreeOperations.hs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,13 +22,13 @@ allTreeOps pgf = [
2222
Right $ \f -> map (transfer pgf f))), -- HL 12/24, modified from gf-3.3
2323
("largest",("sort trees from largest to smallest, in number of nodes",
2424
Left $ largest)),
25-
("nub\t",("remove duplicate trees",
25+
("nub",("remove duplicate trees",
2626
Left $ nub)),
2727
("smallest",("sort trees from smallest to largest, in number of nodes",
2828
Left $ smallest)),
2929
("subtrees",("return all fully applied subtrees (stopping at abstractions), by default sorted from the largest",
3030
Left $ concatMap subtrees)),
31-
("funs\t",("return all fun functions appearing in the tree, with duplications",
31+
("funs",("return all fun functions appearing in the tree, with duplications",
3232
Left $ \es -> [mkApp f [] | e <- es, f <- exprFunctions e]))
3333
]
3434

0 commit comments

Comments
 (0)