Merge pull request #764 from puffnfresh/simpleparser-type-error
Fix SimpleParser ambiguous type error
commitb02f9540a8ffb422288e4bc13fcf8617029cd25d
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 6 Jan 2014, 15:32 (13 years ago)
parentd0ed56f7825368
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