diff options
| author | krasimir <krasimir@chalmers.se> | 2009-07-07 22:22:05 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-07-07 22:22:05 +0000 |
| commit | c99b64404dd6b776d80b36ae3e1b8ef4e80949f7 (patch) | |
| tree | acfc35adf02cb9bd62e72f05bf39b327fea42da3 /src | |
| parent | bb3040e2c47d7203a05dd41ff512ae0ee03382d1 (diff) | |
bugfixes in the parser for PGF.Type.Type
Diffstat (limited to 'src')
| -rw-r--r-- | src/PGF/CId.hs | 5 | ||||
| -rw-r--r-- | src/PGF/Type.hs | 26 |
2 files changed, 16 insertions, 15 deletions
diff --git a/src/PGF/CId.hs b/src/PGF/CId.hs index 99325975e..0d1a2f5c6 100644 --- a/src/PGF/CId.hs +++ b/src/PGF/CId.hs @@ -36,7 +36,10 @@ instance Read CId where readsPrec _ = RP.readP_to_S pCId pCId :: RP.ReadP CId -pCId = fmap mkCId pIdent +pCId = do s <- pIdent + if s == "_" + then RP.pfail + else return (mkCId s) pIdent :: RP.ReadP String pIdent = liftM2 (:) (RP.satisfy isIdentFirst) (RP.munch isIdentRest) diff --git a/src/PGF/Type.hs b/src/PGF/Type.hs index f8b25202c..a899e84c2 100644 --- a/src/PGF/Type.hs +++ b/src/PGF/Type.hs @@ -41,32 +41,30 @@ showType = PP.render . ppType 0 pType :: RP.ReadP Type
pType = do
RP.skipSpaces
- hyps <- RP.sepBy (pHypo >>= \h -> RP.string "->" >> return h) RP.skipSpaces
+ hyps <- RP.sepBy (pHypo >>= \h -> RP.skipSpaces >> RP.string "->" >> return h) RP.skipSpaces
RP.skipSpaces
(cat,args) <- pAtom
- return (DTyp hyps cat args)
+ return (DTyp (concat hyps) cat args)
where
pHypo =
do (cat,args) <- pAtom
- return (Hyp (DTyp [] cat args))
+ return [Hyp (DTyp [] cat args)]
RP.<++
(RP.between (RP.char '(') (RP.char ')') $ do
- var <- RP.option wildCId $ do
- v <- pCId
+ hyp <- RP.option (\ty -> [Hyp ty]) $ do
+ vs <- RP.sepBy (RP.skipSpaces >> pCId) (RP.skipSpaces >> RP.char ',')
RP.skipSpaces
- RP.string ":"
- return v
+ RP.char ':'
+ return (\ty -> [HypV v ty | v <- vs])
ty <- pType
- return (HypV var ty))
+ return (hyp ty))
RP.<++
(RP.between (RP.char '{') (RP.char '}') $ do
- var <- RP.option wildCId $ do
- v <- pCId
- RP.skipSpaces
- RP.string ":"
- return v
+ vs <- RP.sepBy1 (RP.skipSpaces >> pCId) (RP.skipSpaces >> RP.char ',')
+ RP.skipSpaces
+ RP.char ':'
ty <- pType
- return (HypI var ty))
+ return [HypI v ty | v <- vs])
pAtom = do
cat <- pCId
|