| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Tue, 19 Oct 2021 12:13:13 +0100 | |
| changeset 844 | f14b50759000 |
| parent 843 | f3204dd2b6dc |
| child 845 | 6af90edc5086 |
--- a/progs/lexer/lex.sc Sat Oct 09 12:29:15 2021 +0100 +++ b/progs/lexer/lex.sc Tue Oct 19 12:13:13 2021 +0100 @@ -128,7 +128,7 @@ case (RECD(x, r1), _) => Rec(x, inj(r1, c, v)) } -// lexing functions including simplification +// lexing functions without simplification def lex(r: Rexp, s: List[Char]) : Val = s match { case Nil => if (nullable(r)) mkeps(r) else { throw new Exception("lexing error") }