added option -number to limit the number of parse results

This commit is contained in:
krangelov
2019-09-20 07:18:58 +02:00
parent b3c07d45b9
commit a0cfe09e09
3 changed files with 31 additions and 30 deletions

View File

@@ -101,4 +101,4 @@ getCommandTrees env needsTypeCheck a args =
ATerm t -> return (Term t)
ANoArg -> return args -- use piped
where
one e = return (Exprs [e]) -- ignore piped
one e = return (Exprs [(e,0)]) -- ignore piped