Allows parsing operators that start with “<==”
Fixes #1321
commit41b2552e5396f3b7219ed8c4be2a156dce6c8126
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateWed 23 Jul 2014, 17:32 (12 years ago)
parent7fa538a
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")