progs/lexer/lex.sc
changeset 844 bbbc2a7940cb
parent 827 67c8a6e6a305
child 846 3a535de22816
--- 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") }