author | Christian Urban <christian.urban@kcl.ac.uk> |
Tue, 19 Oct 2021 12:13:13 +0100 | |
changeset 844 | bbbc2a7940cb |
parent 843 | 97b622202547 |
child 845 | ddd9659971ec |
--- 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") }