mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-14 05:32:51 -06:00
allow spaces between command options; option -treebank in linearize
This commit is contained in:
@@ -20,7 +20,8 @@ pPipe = RP.sepBy (RP.skipSpaces >> pCommand) (RP.skipSpaces >> RP.char '|')
|
||||
pCommand = do
|
||||
cmd <- pIdent
|
||||
RP.skipSpaces
|
||||
opts <- RP.many pOption
|
||||
opts <- RP.sepBy pOption RP.skipSpaces
|
||||
-- opts <- RP.many pOption
|
||||
arg <- RP.option ANoArg (fmap AExp (pExp False))
|
||||
return (Command cmd opts arg)
|
||||
|
||||
|
||||
Reference in New Issue
Block a user