diff -r ddd9659971ec -r 3a535de22816 progs/lexer/lexer.sc --- 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.% ~ "\""