Fix SimpleParser ambiguous type error
commit7825368398afac97d9b717072c1876ec8d812a6b
authorBrian McKenna <brian@brianmckenna.org>
dateFri 3 Jan 2014, 22:30 (13 years ago)
parent7e2c212
contribs/lib/SimpleParser/SimpleParser.idr+3−1
@@ -110,7 +110,9 @@ bool = parseTrue <|> parseFalse
110110 pure False
111111
112112ident : Parser String
113−ident = map pack [| letter :: many1 alphanum |]
113+ident = map pack xs
114+ where xs : Parser (List Char)
115+ xs = [| letter :: many1 alphanum |]
114116
115117nat : Parser Int
116118nat = do xs <- many digit