diff options
| author | krasimir <krasimir@chalmers.se> | 2008-06-15 09:21:59 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-06-15 09:21:59 +0000 |
| commit | 486d21cd7a2364d187483c21fa615e71b0352f7e (patch) | |
| tree | a2562998f0b8aca0f4a8100cfac06a264e4cb78c /src-3.0/GF | |
| parent | 2c8540b7c2c0979b548a87efd1d41203fe4f8519 (diff) | |
fix the command line parser
Diffstat (limited to 'src-3.0/GF')
| -rw-r--r-- | src-3.0/GF/Command/Parse.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-3.0/GF/Command/Parse.hs b/src-3.0/GF/Command/Parse.hs index 5a0deaaf5..b5a76ed3e 100644 --- a/src-3.0/GF/Command/Parse.hs +++ b/src-3.0/GF/Command/Parse.hs @@ -17,7 +17,7 @@ test s = RP.readP_to_S pCommandLine s pCommandLine = RP.sepBy (RP.skipSpaces >> pPipe) (RP.skipSpaces >> RP.char ';') -pPipe = RP.sepBy (RP.skipSpaces >> pCommand) (RP.skipSpaces >> RP.char '|') +pPipe = RP.sepBy1 (RP.skipSpaces >> pCommand) (RP.skipSpaces >> RP.char '|') pCommand = do cmd <- pIdent |