on master help sign in
Allow “!” to start a larger operator
d8bb870Melvar Chen
src/Idris/ParseExpr.hs+1−1
@@ -320,7 +320,7 @@ simpleExpr syn =
320 <|> idiom syn
320 <|> idiom syn
321 <|> listExpr syn
321 <|> listExpr syn
322 <|> alt syn
322 <|> alt syn
323− <|> do lchar '!'
323+ <|> do reservedOp "!"
324 s <- simpleExpr syn
324 s <- simpleExpr syn
325 fc <- getFC
325 fc <- getFC
326 return (PAppBind fc s [])
326 return (PAppBind fc s [])