diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-11 09:20:26 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-11 09:20:26 +0000 |
| commit | ad16eb2d788f6fe20e098f115ff42e0db8eb8974 (patch) | |
| tree | eca12856bcd33cbb3d3e252c45d4c7762c3fd9d3 /src-3.0/GF/Command/Parse.hs | |
| parent | 9628eb6314bfcb827142d1869626696de101e245 (diff) | |
allow spaces between command options; option -treebank in linearize
Diffstat (limited to 'src-3.0/GF/Command/Parse.hs')
| -rw-r--r-- | src-3.0/GF/Command/Parse.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src-3.0/GF/Command/Parse.hs b/src-3.0/GF/Command/Parse.hs index dfab70128..0cf7adec5 100644 --- a/src-3.0/GF/Command/Parse.hs +++ b/src-3.0/GF/Command/Parse.hs @@ -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) |