From 944eea8de9e077d1b3ee1a9edad9c52e9dbc2bd0 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 18 Jun 2008 16:26:12 +0000 Subject: system command pipes (sp) --- src-3.0/GF/Command/Parse.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (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 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) -- cgit v1.2.3