Start implementing the typechecker

1 files changed, 67 insertions, 53 deletions

diff --git a/tests/semantics.bad b/tests/semantics.bad
index d050426..c331ebc 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -1,66 +1,80 @@
-fun nested(): u32 {
-    fun adder(a: u32, b: u32): u32 a + b
-    if (1 + 1) {
-        {
-            let b = 32
-        }
-    }
-    adder(1,2)
-}
+let a:u16 = (1 + 2 * 2) / 2
+; enum test {
+;     a = 1
+;     b
+; }
+; ; Resolve struct accessors.
+; struct my_struct {
+;     field_a: int
+;     field_b: int
+; }
 
-enum field {
-    a
-    b
-}
+; let a:my_struct
+; set a.field_a = 1
 
-struct vec {
-    a: int
-    b: int
-}
+; fun nested(): u32 {
+;     fun adder(a: u32, b: u32): u32 a + b
+;     if (1 + 1) {
+;         {
+;             let b = 32
+;         }
+;     }
+;     adder(1,2)
+; }
 
-fun foo(): nil {
-    bar()
-}
+; enum field {
+;     a
+;     b
+; }
 
-fun bar(): nil {
-    foo()
-}
+; struct vec {
+;     a: int
+;     b: int
+; }
 
-; There are some builtint functions.
-println("hello world")
+; fun foo(): nil {
+;     bar()
+; }
 
-; Let/set.
-let num = 1
-set num = 2
-set num = 0 + num
+; fun bar(): nil {
+;     foo()
+; }
+
+; ; There are some builtint functions.
+; println("hello world")
+
+; ; Let/set.
+; let num = 1
+; set num = 2
+; set num = 0 + 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
-}
+; ; 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
+; }
 
-fun testmatches(): nil {
-    match (num) {
-        case 1 = 23
-        case 2 = num
-        else = num
-    }
+; fun testmatches(): nil {
+;     match (num) {
+;         case 1 = 23
+;         case 2 = num
+;         else = num
+;     }
 
-    cond {
-        case 1 == 1 = 23
-        case 2 != 1 = num
-        else = num
-    }
-}
+;     cond {
+;         case 1 == 1 = 23
+;         case 2 != 1 = num
+;         else = num
+;     }
+; }
 
-while (num == 1) num
-while (true) {
-    let c = 1
-    1 + 1 + c
-}
+; while (num == 1) num
+; while (true) {
+;     let c = 1
+;     1 + 1 + c
+; }
 
 ; This should err.
 ; fun foo(): nil {