No letters in operators
commit1807c650d86a56c4eaa62a6267d32774b58cd03f
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateFri 18 Nov 2011, 12:13 (15 years ago)
parentbbaa193
src/Core/CoreParser.hs+1−1
@@ -28,7 +28,7 @@ idrisDef = haskellDef {
2828
2929iOpStart = oneOf ":!#$%&*+./<=>?@\\^|-~"
3030iOpLetter = oneOf ":!#$%&*+./<=>?@\\^|-~"
31− <|> letter
31+-- <|> letter
3232
3333lexer :: TokenParser a
3434lexer = PTok.makeTokenParser idrisDef