ceff983 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Add @ to reserved operators

ceff983Echo Nolan11 years ago

src/Idris/Parser/Helpers.hs+1−1

@@ -393,7 +393,7 @@ commentMarkers :: [String]

393commentMarkers = [ "--", "|||" ]

394

395invalidOperators :: [String]

396−invalidOperators = [":", "=>", "->", "<-", "=", "?=", "|", "**", "==>", "\\", "%", "~", "?", "!"]

396+invalidOperators = [":", "=>", "->", "<-", "=", "?=", "|", "**", "==>", "\\", "%", "~", "?", "!", "@"]

397

398-- | Parses an operator