on master help sign in
Allows parsing operators that start with “<==”
41b2552Melvar Chen
src/Idris/ParseExpr.hs+1−1
@@ -522,7 +522,7 @@ app syn = do f <- reserved "mkForeign"
522 return (dslify i ap)
522 return (dslify i ap)
523
523
524 <|> do f <- simpleExpr syn
524 <|> do f <- simpleExpr syn
525− (do try $ symbol "<=="
525+ (do try $ reservedOp "<=="
526 fc <- getFC
526 fc <- getFC
527 ff <- fnName
527 ff <- fnName
528 return (PLet (sMN 0 "match")
528 return (PLet (sMN 0 "match")