changeset 800 | 9eea6a801e10 |
parent 787 | 4b2496bc79b2 |
child 827 | 67c8a6e6a305 |
--- a/progs/lexer/lex.sc Wed Nov 04 17:34:52 2020 +0000 +++ b/progs/lexer/lex.sc Sat Nov 07 00:07:28 2020 +0000 @@ -145,7 +145,7 @@ } def RANGE(s: String) = Range(s.toList) -val SYM = RANGE("ABCDEFGHIJKLMNOPQRSTUVXYZabcdefghijklmnopqrstuvwxyz_") +val SYM = RANGE("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_") val DIGIT = RANGE("0123456789") val ID = SYM ~ (SYM | DIGIT).% val NUM = PLUS(DIGIT)