diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-18 16:26:12 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-18 16:26:12 +0000 |
| commit | 944eea8de9e077d1b3ee1a9edad9c52e9dbc2bd0 (patch) | |
| tree | 82f128532a90a8e745e4ebc1875eeb7a8f9b0701 /src-3.0/GF/Command/Parse.hs | |
| parent | 8e5b78f886065d082677101b28c44d7980763eb0 (diff) | |
system command pipes (sp)
Diffstat (limited to 'src-3.0/GF/Command/Parse.hs')
| -rw-r--r-- | src-3.0/GF/Command/Parse.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src-3.0/GF/Command/Parse.hs b/src-3.0/GF/Command/Parse.hs index 12c88464f..1b603f411 100644 --- a/src-3.0/GF/Command/Parse.hs +++ b/src-3.0/GF/Command/Parse.hs @@ -32,9 +32,11 @@ pOption = do RP.option (OOpt flg) (fmap (OFlag flg) (RP.char '=' >> pValue)) pValue = do - fmap VId pFilename - RP.<++ fmap (VInt . read) (RP.munch1 isDigit) + RP.<++ + fmap VStr pStr + RP.<++ + fmap VId pFilename pFilename = liftM2 (:) (RP.satisfy isFileFirst) (RP.munch (not . isSpace)) where isFileFirst c = not (isSpace c) && not (isDigit c) |