--- a/lex_blex_Frankensteined.scala Wed Mar 13 15:27:09 2019 +0000
+++ b/lex_blex_Frankensteined.scala Fri Mar 15 10:46:46 2019 +0000
@@ -88,7 +88,7 @@
}
internalise(("a" | "ab") ~ ("b" | ""))
-
+/*
def decode_aux(r: Rexp, bs: Bits) : (Val, Bits) = (r, bs) match {
case (ONE, bs) => (Empty, bs)
case (PRED(f), C(c)::bs) => (Chr(c), bs)
@@ -125,7 +125,7 @@
case (v, Nil) => v
case _ => throw new Exception("Not decodable")
}
-
+*/
//erase function: extracts the regx from Aregex
def erase(r:ARexp): Rexp = r match{