Fix up parsing typeclasses
commit61d52a26d80dbb5619fdd536339114873883277c
authorJason Felice <jason.m.felice@gmail.com>
dateMon 30 Oct 2017, 22:19 (9 years ago)
parenta858866
src/Idris/Parser/Helpers.hs+4−3
@@ -57,12 +57,13 @@ instance Text.Parser.Combinators.Parsing IdrisInnerParser where
5757 eof = P.eof
5858 unexpected msg = P.unexpected . P.Label . fromList $ msg
5959 try = P.try
60− p <?> s = p <?> s --FIXME:?
60+ (<?>) = (P.<?>)
6161 notFollowedBy = P.notFollowedBy
62− --FIXME:
62+
6363instance Text.Parser.Char.CharParsing IdrisInnerParser where
6464 satisfy = P.satisfy
65− --FIXME:??
65+ char = P.char
66+ string = P.string
6667
6768instance {-# OVERLAPPING #-} Tok.TokenParsing IdrisParser where
6869 someSpace = someSpace'