diff -r 8b8db9558ecf -r 8b0b414e71b0 progs/scala/re.scala --- 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 {