cw2_marking/c5.sc
changeset 1039 86d59b074abe
parent 977 7a02c5b9e0df
--- 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)