Allow “!” to start a larger operator
This causes it to be usable for a bang binding only if not directly followed by
additional operator chars, which should be the norm when intended as a bang
binding.
commitd8bb870957e5a2dbd45f14aef56b72e9e65930d7
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateWed 23 Jul 2014, 21:41 (12 years ago)
parent5cf623b
src/Idris/ParseExpr.hs+1−1
@@ -320,7 +320,7 @@ simpleExpr syn =
320320 <|> idiom syn
321321 <|> listExpr syn
322322 <|> alt syn
323− <|> do lchar '!'
323+ <|> do reservedOp "!"
324324 s <- simpleExpr syn
325325 fc <- getFC
326326 return (PAppBind fc s [])