@@ -57,12 +57,13 @@ instance Text.Parser.Combinators.Parsing IdrisInnerParser where
57 eof = P.eof
57 eof = P.eof
58 unexpected msg = P.unexpected . P.Label . fromList $ msg
58 unexpected msg = P.unexpected . P.Label . fromList $ msg
59 try = P.try
59 try = P.try
60− p <?> s = p <?> s --FIXME:?
60+ (<?>) = (P.<?>)
61 notFollowedBy = P.notFollowedBy
61 notFollowedBy = P.notFollowedBy
63instance Text.Parser.Char.CharParsing IdrisInnerParser where
63instance Text.Parser.Char.CharParsing IdrisInnerParser where
64 satisfy = P.satisfy
64 satisfy = P.satisfy
65− --FIXME:??
65+ char = P.char
67instance {-# OVERLAPPING #-} Tok.TokenParsing IdrisParser where
68instance {-# OVERLAPPING #-} Tok.TokenParsing IdrisParser where
68 someSpace = someSpace'
69 someSpace = someSpace'