From c99b64404dd6b776d80b36ae3e1b8ef4e80949f7 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 7 Jul 2009 22:22:05 +0000
Subject: bugfixes in the parser for PGF.Type.Type

---
 src/PGF/CId.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/PGF/CId.hs')

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)
-- 
cgit v1.2.3