ceff983 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Add @ to reserved operators

commitceff983ff3a325e3a75571e2a95809e19a870a7a authorEcho Nolan <echo@echonolan.net> dateWed 10 Feb 2016, 19:59 (11 years ago) parentc1decaf

1 file changed+1−1

unifiedsplit

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

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

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

394394

395395invalidOperators :: [String]

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

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

397397

398398-- | Parses an operator