equal
  deleted
  inserted
  replaced
  
    
    
|     30 case class Right(v: Val) extends Val |     30 case class Right(v: Val) extends Val | 
|     31 case class Stars(vs: List[Val]) extends Val |     31 case class Stars(vs: List[Val]) extends Val | 
|     32 case class Rec(x: String, v: Val) extends Val |     32 case class Rec(x: String, v: Val) extends Val | 
|     33     |     33     | 
|     34 // some convenience for typing in regular expressions |     34 // some convenience for typing in regular expressions | 
|     35 import scala.language.implicitConversions     |         | 
|     36 import scala.language.reflectiveCalls |         | 
|     37  |     35  | 
|     38 def charlist2rexp(s : List[Char]): Rexp = s match { |     36 def charlist2rexp(s : List[Char]): Rexp = s match { | 
|     39   case Nil => ONE |     37   case Nil => ONE | 
|     40   case c::Nil => CHAR(c) |     38   case c::Nil => CHAR(c) | 
|     41   case c::s => SEQ(CHAR(c), charlist2rexp(s)) |     39   case c::s => SEQ(CHAR(c), charlist2rexp(s)) |