Merge pull request #1421 from Melvar/fix-matchapp-op
Allows parsing operators that start with “<==”
commitabc99c6d600cb562ffe5272fb40e80cc6addfc6b
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 23 Jul 2014, 18:41 (12 years ago)
parente729d1a41b2552
src/Idris/ParseExpr.hs+1−1
@@ -522,7 +522,7 @@ app syn = do f <- reserved "mkForeign"
522522 return (dslify i ap)
523523
524524 <|> do f <- simpleExpr syn
525− (do try $ symbol "<=="
525+ (do try $ reservedOp "<=="
526526 fc <- getFC
527527 ff <- fnName
528528 return (PLet (sMN 0 "match")