Add semantic checking for enum constructs

2 files changed, 58 insertions, 43 deletions

diff --git a/tests/conditionals.bad b/tests/conditionals.bad
index e1a456e..b5ef61f 100644
--- a/tests/conditionals.bad
+++ b/tests/conditionals.bad
@@ -34,12 +34,17 @@ enum flags {
     node_div = 1 << 2
     node_mul
 }
-let a:flags = flags.node_add
-
-; No need to qualify enum fields inside match-case.
+let f:flags = flags.node_add
+
+; TODO: No need to qualify enum fields inside match-case.
+; match (a) {
+;     case node_add = "adding something..."
+;     case node_add = "subbing something..."
+;     else          = "default case"
+; }
 match (a) {
-    case node_add = "adding something..."
-    case node_add = "subbing something..."
+    case flags.node_add = "adding something..."
+    case flags.node_add = "subbing something..."
     else          = "default case"
 }
 
@@ -47,6 +52,6 @@ match (a) {
 ; statements.
 let msg:str = cond {
     case a == b = "hello"
-    case a != c = "world"
+    case a != f = "world"
     else        = "what"
 }
diff --git a/tests/semantics.bad b/tests/semantics.bad
index 4ce40b9..29c91c4 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -1,49 +1,59 @@
-fun foo(): nil {
-    bar()
+enum field {
+    a
+    b
+    ; a
+    ; c = field.a
+    ; c = field.c
+    ; c = c
+    ; c = a
 }
 
-fun bar(): nil {
-    foo()
-}
+; fun foo(): nil {
+;     bar()
+; }
 
-; There are some builtint functions.
-println("hello world")
+; fun bar(): nil {
+;     foo()
+; }
 
-; Let/set.
-let num = 1
-set num = 2
-set num = 0 + num
+; ; There are some builtint functions.
+; println("hello world")
 
-; Loops and conditionals.
-if (num) 3 else 1
-let val = if (2 + num == 4) num else num
-if (true) {
-    let c = 1
-    1 + 1 + c
-}
+; ; Let/set.
+; let num = 1
+; set num = 2
+; set num = 0 + num
 
-match (num) {
-    case 1 = 23
-    case 2 = num
-    else = num
-}
+; ; Loops and conditionals.
+; if (num) 3 else 1
+; let val = if (2 + num == 4) num else num
+; if (true) {
+;     let c = 1
+;     1 + 1 + c
+; }
 
-cond {
-    case 1 == 1 = 23
-    case 2 != 1 = num
-    else = num
-}
+; match (num) {
+;     case 1 = 23
+;     case 2 = num
+;     else = num
+; }
 
-while (num == 1) num
-while (true) {
-    let c = 1
-    1 + 1 + c
-}
+; cond {
+;     case 1 == 1 = 23
+;     case 2 != 1 = num
+;     else = num
+; }
 
-fun nested(): u32 {
-    fun adder(a: u32, b: u32): u32 a + b
-    adder(1,2)
-}
+; while (num == 1) num
+; while (true) {
+;     let c = 1
+;     1 + 1 + c
+; }
+
+; fun nested(): u32 {
+;     fun adder(a: u32, b: u32): u32 a + b
+;     adder(1,2)
+; }
 
 ; This should err.
 ; fun foo(): nil {