1
0
forked from GitHub/gf-core

allow spaces between command options; option -treebank in linearize

This commit is contained in:
aarne
2008-06-11 09:20:26 +00:00
parent 808126fa19
commit 2c0229f65c
5 changed files with 31 additions and 28 deletions

View File

@@ -61,7 +61,7 @@ interpret env trees0 comm = case lookCommand co comms of
comms = commands env
checkOpts info =
case
[o | OOpt o <- opts, notElem o (options info)] ++
[o | OOpt o <- opts, notElem o ("tr" : options info)] ++
[o | OFlag o _ <- opts, notElem o (flags info)]
of
[] -> return ()