git.iko.soy/Idris-dev
on master help sign in
Prevent "(%runTactics foo)" from being an operator
7c1dc98David Raymond Christiansen
src/Idris/ParseHelpers.hs+1−1
compare with master
unifiedsplit
@@ -326,7 +326,7 @@ commentMarkers :: [String]
326commentMarkers = [ "--", "|||" ]
326commentMarkers = [ "--", "|||" ]
327
327
328invalidOperators :: [String]
328invalidOperators :: [String]
329−invalidOperators = [":", "=>", "->", "<-", "=", "?=", "|", "**", "==>", "\\"]
329+invalidOperators = [":", "=>", "->", "<-", "=", "?=", "|", "**", "==>", "\\", "%"]
330
330
331-- | Parses an operator
331-- | Parses an operator
332operator :: MonadicParsing m => m String
332operator :: MonadicParsing m => m String