Add typechecking for enum fields

3 files changed, 30 insertions, 25 deletions

diff --git a/tests/comparisons.bad b/tests/comparisons.bad
index 7bc5d33..512feac 100644
--- a/tests/comparisons.bad
+++ b/tests/comparisons.bad
@@ -7,7 +7,3 @@ true != false
 2 >= 1 && 2 > 1
 3 >= 3 || 4 <= 5
 4 < (5 + 6) == true
-
-nil != false
-nil != true
-nil != 1
diff --git a/tests/conditionals.bad b/tests/conditionals.bad
index b5ef61f..50d0cfc 100644
--- a/tests/conditionals.bad
+++ b/tests/conditionals.bad
@@ -5,7 +5,7 @@ if (true) "hello"
 let a = if (2 + 2 >= 4) 42
 
 ; We support a single if expression.
-let b = if (0xff == 255) "hello" else "world"
+let b = if (0xff == 0x32) "hello" else "world"
 
 ; ... but these can compound on each other
 if (1 < 2)      6
@@ -51,7 +51,7 @@ match (a) {
 ; Conditional `cond` statements are syntactic sugar for a chain of if-else
 ; statements.
 let msg:str = cond {
-    case a == b = "hello"
-    case a != f = "world"
-    else        = "what"
+    a == 1 = "hello"
+    a != 2 = "world"
+    else   = "what"
 }
diff --git a/tests/semantics.bad b/tests/semantics.bad
index 3479915..ee56c14 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -1,10 +1,19 @@
-fun add10(a: int, b: str): int {
-    a + 10
+enum weekdays {
+    mon = 1
+    tue
+    wed
+    thu
+    fri
+    sat
+    sun
 }
+; fun add10(a: int, b: str): int {
+;     a + 10
+; }
 
-fun foo(): int {
-    add10(1, "hello")
-}
+; fun foo(): int {
+;     add10(1, "hello")
+; }
 
 ; let a:f32 = (1.0 + 2.0 * 2.0) / 2.0
 
@@ -54,18 +63,18 @@ fun foo(): int {
 ; let a:my_struct
 ; set a.field_a = 1
 
-fun nested(): int {
-    fun adder(a: u32, b: u32): u32 {
-        a + b
-    }
-    if (1 + 1 == 2) {
-        let b = 15
-        5 + b
-    ;     {
-    ;         let b = 32
-    ;     }
-    }
-}
+; fun nested(): int {
+;     fun adder(a: u32, b: u32): u32 {
+;         a + b
+;     }
+;     if (1 + 1 == 2) {
+;         let b = 15
+;         {
+;             let c = 32
+;             5 + c
+;         }
+;     }
+; }
 
 ; enum field {
 ;     a