updated
authorChristian Urban <christian.urban@kcl.ac.uk>
Tue, 19 Oct 2021 22:51:51 +0100
changeset 846 3a535de22816
parent 845 ddd9659971ec
child 847 da2320360f12
updated
progs/lexer/lex.sc
progs/lexer/lexer.sc
--- a/progs/lexer/lex.sc	Tue Oct 19 22:49:14 2021 +0100
+++ b/progs/lexer/lex.sc	Tue Oct 19 22:51:51 2021 +0100
@@ -157,7 +157,7 @@
 val KEYWORD : Rexp = "skip" | "while" | "do" | "if" | "then" | "else" | "read" | "write" 
 val SEMI: Rexp = ";"
 val OP: Rexp = ":=" | "=" | "-" | "+" | "*" | "!=" | "<" | ">"
-val WHITESPACE = PLUS(" " | "\n" | "\t")
+val WHITESPACE = PLUS(" " | "\n" | "\t" | "\r")
 val RPAREN: Rexp = "}"
 val LPAREN: Rexp = "{"
 val STRING: Rexp = "\"" ~ SYM.% ~ "\""
--- a/progs/lexer/lexer.sc	Tue Oct 19 22:49:14 2021 +0100
+++ b/progs/lexer/lexer.sc	Tue Oct 19 22:51:51 2021 +0100
@@ -204,7 +204,7 @@
 val KEYWORD : Rexp = "skip" | "while" | "do" | "if" | "then" | "else" | "read" | "write" 
 val SEMI: Rexp = ";"
 val OP: Rexp = ":=" | "=" | "-" | "+" | "*" | "!=" | "<" | ">"
-val WHITESPACE = PLUS(" " | "\n" | "\t")
+val WHITESPACE = PLUS(" " | "\n" | "\t" | "\r")
 val RPAREN: Rexp = "{"
 val LPAREN: Rexp = "}"
 val STRING: Rexp = "\"" ~ SYM.% ~ "\""