From ad16eb2d788f6fe20e098f115ff42e0db8eb8974 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 11 Jun 2008 09:20:26 +0000 Subject: allow spaces between command options; option -treebank in linearize --- src-3.0/GF/Command/Parse.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src-3.0/GF/Command/Parse.hs') 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) -- cgit v1.2.3