Add struct literals typechecking

2 files changed, 56 insertions, 49 deletions

diff --git a/tests/semantics.bad b/tests/semantics.bad
index 95e827b..60e47d1 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -1,27 +1,33 @@
-enum weekdays {
-    mon = 1
-    tue
-    wed
-    thu
-    fri
-    sat
-    sun
+struct vec {
+    x: f64
+    y: f64
+    z: f64
 }
-let a = weekdays.tue
-; let b = a
-
-struct item {
-    id: int
-    name: str
-}
-
-; let a: item = item {
-;     id = 1
-; }
-; let a: item = item ; this shouldn't work, or should it return the default val?
-let c: item
-set c.id = 1
-let d = c.id
+let v = vec : { x = 1.0 }
+; enum weekdays {
+;     mon = 1
+;     tue
+;     wed
+;     thu
+;     fri
+;     sat
+;     sun
+; }
+; let a = weekdays.tue
+; ; let b = a
+
+; struct item {
+;     id: int
+;     name: str
+; }
+
+; ; let a: item = item {
+; ;     id = 1
+; ; }
+; ; let a: item = item ; this shouldn't work, or should it return the default val?
+; let c: item
+; set c.id = 1
+; let d = c.id
 ; set a.name = "hello"
 ; let b = a.id
 ; let c = a.name
diff --git a/tests/variables.bad b/tests/variables.bad
index 88e04d1..34293dc 100644
--- a/tests/variables.bad
+++ b/tests/variables.bad
@@ -11,10 +11,11 @@ set c = (1 + 2 - 3)
 
 ; Struct definitions.
 struct vec {
-    x: f32
-    y: f32
-    z: f32
+    x: f64
+    y: f64
+    z: f64
 }
+let v = vec : { x = 2.0 y = 3.0 }
 
 ; Default values are allowed, including const expressions.
 struct person {
@@ -28,41 +29,41 @@ set player_a.name = "alex"
 set player_a.age = 32
 let player_b = player_a
 
-; Anonymous structs can also be declared inline.
-let user: { id: u64 name: str }
-set user.id = 10
-set user.name = "haxor"
-
 ; We can have anonymous struct fields.
 struct entity {
     pos: vec
     vel: vec
-    attr: {
-        id: u64
-        name: str
-    }
+    ; TODO: ...
+    ; attr: {
+    ;     id: u64
+    ;     name: str
+    ; }
 }
 
 ; Symbols followed by curly braces output struct literals.
 let particle = entity : {
     ; Two ways of initializing inner fields.
-    pos = vec : { x = 1 y = 2 }
-    attr.id = 1
-    attr.name = "particle"
+    pos = vec : { x = 1.0 y = 2.0 }
+    ; TODO: Get rid of this, unnecessary complexity on the implementation, let's
+    ; just do the top option.
+    ; attr.id = 1
+    ; attr.name = "particle"
 
     ; Missing initialization fields default to zero.
-    vel = vec : { y = -3 }
+    vel = vec : { y = -3.0 }
 }
+; let particle = entity : {}
+; TODO: Now we can get rid of parenthesis on if/while statements
 
-; We can have static arrays and have indexed access.
-let numbers: u32[0xff]
-set numbers[0] = 32
-set numbers[1] = 42
+; ; We can have static arrays and have indexed access.
+; let numbers: u32[0xff]
+; set numbers[0] = 32
+; set numbers[1] = 42
 
-; Arrays are syntactic sugar for pointers (@).
-let ptr:@u32 = numbers
-set ptr[10] = 33
+; ; Arrays are syntactic sugar for pointers (@).
+; let ptr:@u32 = numbers
+; set ptr[10] = 33
 
-; Strings hold a .mem and .size fields with the number of bytes it holds.
-let hello: str = "hello world"
-set c[1] = 'a' ; "hallo world"
+; ; Strings hold a .mem and .size fields with the number of bytes it holds.
+; let hello: str = "hello world"
+; set c[1] = 'a' ; "hallo world"