Merge pull request #467 from Melvar/master
Fix optional combinator in SimpleParser
commit95e89f572120df33443147d2fa9445a2d9759d89
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 4 Sep 2013, 08:58 (13 years ago)
parenta063bfa7196cad
contribs/lib/SimpleParser/SimpleParser.idr+2−2
@@ -154,8 +154,8 @@ strToken = map pack (token (many1 alphanum))
154154-- combinators
155155--------------------------------------------------------------------------------
156156
157−optional : Parser a -> Parser ()
158−optional p = (p $> pure ()) <|> pure ()
157+optional : Parser a -> Parser (Maybe a)
158+optional p = map Just p <|> pure Nothing
159159
160160sepBy1 : Parser a -> Parser b -> Parser (List a)
161161sepBy1 p s = [| p :: many (s $> p) |]