git.iko.soy/Idris-dev
on master help sign in
No letters in operators
1807c65Edwin Brady
src/Core/CoreParser.hs+1−1
compare with master
unifiedsplit
@@ -28,7 +28,7 @@ idrisDef = haskellDef {
28
28
29iOpStart = oneOf ":!#$%&*+./<=>?@\\^|-~"
29iOpStart = oneOf ":!#$%&*+./<=>?@\\^|-~"
30iOpLetter = oneOf ":!#$%&*+./<=>?@\\^|-~"
30iOpLetter = oneOf ":!#$%&*+./<=>?@\\^|-~"
31− <|> letter
31+-- <|> letter
32
32
33lexer :: TokenParser a
33lexer :: TokenParser a
34lexer = PTok.makeTokenParser idrisDef
34lexer = PTok.makeTokenParser idrisDef