update

tests/sprint2/test/sp2_presidence.alpha

@@ -1,8 +1,10 @@
 type main: string -> integer
+type rec: [integer: rec_x; integer: rec_y]
+
 function entry: main
 
 entry (arg) := {
-    [integer:x]
-    x := 3 + 2 * 8;
+    [integer: arg_x; integer: arg_y; rec: arg_record; Boolean: arg_bool]
+    arg_x := 3 + 2 * 8;
     return 0;
 }

tests/sprint3/test/sp3_and_or_type_check.alpha

@@ -31,6 +31,9 @@ test (arg) := {
 	b := b & 1;
 	b := 1 & b;
 	b := 1 = 1;
+
+
+    
 	b := 1 = b; 
 		
    	return 0;

tests/sprint3/test/sp3_primitive_type_check.alpha

@@ -0,0 +1,23 @@
+(*
+    Testing the following type checks:
+    - integer   :  primitive
+    - character :  primitive
+    - boolean   :  primitive
+
+    - address (not included, special case)
+*)
+
+
+
+type main: string -> integer
+function entry: main
+
+entry (arg) := {
+    [integer: i; address: add; character: char; Boolean: bool]
+    
+    i := 3 + 2 * 8;
+    char := 'a';
+    bool := true;
+
+    return 0;
+}