lex_blex_Frankensteined.scala
changeset 109 79f347cb8b4d
parent 107 b1e365afa29c
child 148 c8ef391dd6f7
--- a/lex_blex_Frankensteined.scala	Fri Jan 17 23:53:08 2020 +0000
+++ b/lex_blex_Frankensteined.scala	Mon Jan 20 15:51:06 2020 +0000
@@ -119,6 +119,7 @@
       val (v, bs1) = decode_aux(r1, bs)
       (Rec(x, v), bs1)
     }
+    case (r, Nil) => (Stars(Nil), Nil)
   }
 
   def decode(r: Rexp, bs: Bits) = decode_aux(r, bs) match {