changeset 312 | 8b0b414e71b0 |
parent 211 | 0fa636821349 |
--- a/progs/scala/re.scala Sun Feb 17 22:15:06 2019 +0000 +++ b/progs/scala/re.scala Wed Feb 20 00:00:30 2019 +0000 @@ -19,6 +19,7 @@ case class Right(v: Val) extends Val case class Stars(vs: List[Val]) extends Val case class Rec(x: String, v: Val) extends Val + // some convenience for typing in regular expressions def charlist2rexp(s : List[Char]): Rexp = s match {