Add non-exhaustive typechecking for cond/match expr

1 files changed, 9 insertions, 4 deletions

diff --git a/tests/semantics.bad b/tests/semantics.bad
index a938979..5b5c971 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -18,15 +18,20 @@
 ;     44
 ; }
 
-let single = if (true) {
-    123
-}
+; let single = if (true) {
+;     123
+; }
 
 ; while (!true) {
 ;     "asjdflasdjf"
 ; }
 
-set single = 32
+; set single = 32
+
+cond {
+    1 == 2 = "hello"
+    else = "dong"
+}
 
 ; enum test {
 ;     a = 1