test(tower): add remaining wheats and chaffs

Author: ironm00n

tests/examples/tower-grading/first-floor/chaff-1.arr

@@ -0,0 +1,3 @@
+fun first-floor(building :: Building) -> Option<Building%(is-story)>:
+  none
+end

tests/examples/tower-grading/first-floor/chaff-2.arr

@@ -0,0 +1,16 @@
+fun first-floor(building :: Building) -> Option<Building%(is-story)> block:
+  # return the second from the ground
+  cases(Building) building:
+    | ground => none
+    | story(_, _, _, below-1) =>
+      cases(Building) below-1:
+        | ground => none
+        | story(_, _, _, below-2) =>
+          cases(Building) below-2:
+            | ground => some(building)
+            | else => first-floor(below-1)
+          end
+      end
+  end
+end
+

tests/examples/tower-grading/first-floor/chaff-3.arr

@@ -0,0 +1,15 @@
+# this is somewhat pathological
+fun first-floor(building :: Building) -> Option<Building%(is-story)> block:
+  cases(Building) building:
+    | ground => none
+    | story(_, _, _, below-1) =>
+      cases(Building) below-1:
+        | ground => none
+        | story(_, _, _, below-2) =>
+          cases(Building) below-2:
+            | ground => some(below-1)
+            | else => first-floor(below-1)
+          end
+      end
+  end
+end

tests/examples/tower-grading/first-floor/chaff-4.arr

@@ -0,0 +1,15 @@
+# this is somewhat pathological
+fun first-floor(building :: Building) -> Option<Building%(is-story)> block:
+  cases(Building) building:
+    | ground => none
+    | story(_, _, _, below-1) =>
+      cases(Building) below-1:
+        | ground => none
+        | story(_, _, _, below-2) =>
+          cases(Building) below-2:
+            | ground => some(below-1)
+            | else => first-floor(below-2)
+          end
+      end
+  end
+end

tests/examples/tower-grading/first-floor/wheat-1.arr

@@ -0,0 +1,10 @@
+fun first-floor(building :: Building) -> Option<Building%(is-story)>:
+  cases(Building) building:
+    | ground => none
+    | story(_, _, _, below) =>
+      cases(Building) below:
+        | ground => some(building)
+        | else => first-floor(below)
+      end
+  end
+end

tests/examples/tower-grading/first-floor/wheat-2.arr

@@ -0,0 +1,11 @@
+fun first-floor(building :: Building) -> Option<Building%(is-story)>:
+  fun help(shadow building :: Building, acc :: Option<Building%(is-story)>):
+    cases(Building) building:
+      | ground => acc
+      | story(_, _, _, below) => help(below, some(building))
+    end
+  end
+
+  help(building, none)
+end
+

tests/examples/tower-grading/functionality.arr

@@ -1,5 +1,5 @@
 check "num-rooms: functionality":
-  1 is 1
+  num-rooms(ground) is 0
 end
 
 check "max-rooms: functionality":

tests/examples/tower-grading/is-unbalanced/chaff-1.arr

@@ -0,0 +1,12 @@
+fun is-unbalanced(building :: Building) -> Boolean:
+  cases(Building) building:
+    | ground => false
+    | story(_, rooms-above, _, below) =>
+      cases(Building) below:
+        | ground => false
+        | story(_, rooms-below, _, _) =>
+          (rooms-below <= rooms-above) or is-unbalanced(below)
+      end
+  end
+end
+

tests/examples/tower-grading/is-unbalanced/chaff-2.arr

@@ -0,0 +1,11 @@
+fun is-unbalanced(building :: Building) -> Boolean:
+  cases(Building) building:
+    | ground => false
+    | story(_, rooms-above, _, below) =>
+      cases(Building) below:
+        | ground => false
+        | story(_, rooms-below, _, _) =>
+          (rooms-below > rooms-above) or is-unbalanced(below)
+      end
+  end
+end

tests/examples/tower-grading/is-unbalanced/chaff-3.arr

@@ -0,0 +1,11 @@
+fun is-unbalanced(building :: Building) -> Boolean:
+  cases(Building) building:
+    | ground => true
+    | story(_, rooms-above, _, below) =>
+      cases(Building) below:
+        | ground => true
+        | story(_, rooms-below, _, _) =>
+          (rooms-below >= rooms-above) and is-unbalanced(below)
+      end
+  end
+end