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