--- a/cw2_marking/c5.sc Fri Sep 18 10:57:24 2026 +0100
+++ b/cw2_marking/c5.sc Fri Sep 18 10:58:01 2026 +0100
@@ -5,7 +5,7 @@
def sz(r: Rexp): Int = r match {
case ZERO => 1
case ONE => 1
- case CHAR(_) => 1
+ //case CHAR(_) => 1
case ALT(r1, r2) => 1 + sz(r1) + sz (r2)
case SEQ(r1, r2) => 1 + sz(r1) + sz (r2)
case STAR(r1) => 1 + sz(r1)
@@ -13,10 +13,10 @@
case NTIMES(r1, n) => 1 + sz(r1)
case OPTIONAL(r1) => 1 + sz(r1)
case RECD(_, r1) => 1 + sz(r1)
- case RANGE(_) => 1
+ //case RANGE(_) => 1
}
-assert(sz(RANGE("abc")) != 1)
+//assert(sz(RANGE("abc")) != 1)