From a53a22530dc5e346afdc020ad9e7dbd95d085a3b Mon Sep 17 00:00:00 2001
From: Annie <annaslenker@gmail.com>
Date: Fri, 4 Apr 2025 20:29:41 -0400
Subject: [PATCH] added tests for sprint 2 and 3

---
 .../sp2_invalid_multiple_params_no_as.alpha   |  7 ++++
 .../sprint3/test/sp3_and_or_type_check.alpha  | 37 +++++++++++++++++++
 .../sp3_integer_binary_op_typecheck.alpha     | 25 +++++++++----
 3 files changed, 61 insertions(+), 8 deletions(-)
 create mode 100644 tests/sprint2/test/sp2_invalid_multiple_params_no_as.alpha
 create mode 100644 tests/sprint3/test/sp3_and_or_type_check.alpha

diff --git a/tests/sprint2/test/sp2_invalid_multiple_params_no_as.alpha b/tests/sprint2/test/sp2_invalid_multiple_params_no_as.alpha
new file mode 100644
index 0000000..805fb6e
--- /dev/null
+++ b/tests/sprint2/test/sp2_invalid_multiple_params_no_as.alpha
@@ -0,0 +1,7 @@
+type rec: [integer: x; integer: y]
+type main: rec -> integer
+function test: main
+	
+test (arg, arg2) := {
+  	return 0;
+}
\ No newline at end of file
diff --git a/tests/sprint3/test/sp3_and_or_type_check.alpha b/tests/sprint3/test/sp3_and_or_type_check.alpha
new file mode 100644
index 0000000..a6cf442
--- /dev/null
+++ b/tests/sprint3/test/sp3_and_or_type_check.alpha
@@ -0,0 +1,37 @@
+type rec: [integer: x; integer: y]
+type main: rec -> integer
+function test: main
+	
+test (arg, arg2) := {
+	[integer:x; Boolean: b]
+	while (true) {
+		x := 0;
+	}
+		
+	while (7) {
+		x := 1;
+	}
+
+	if (true) {
+		x := 1;
+	} else {
+		x := 0;
+	}
+	
+	if (x) {
+		x := 0;
+	} else {
+		x := 1;
+	}
+
+	b := b | b;
+	b := b & b;
+	b := 1 | b;
+	b := b | 1;
+	b := b & 1;
+	b := 1 & b;
+	b := 1 = 1;
+	b := 1 = b; 
+		
+   	return 0;
+}
diff --git a/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha b/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha
index 5b13147..d8670ff 100644
--- a/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha
+++ b/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha
@@ -1,9 +1,18 @@
-entry(arg) := {
-        [integer:x; address: arr; address: arr2; Boolean : b2; Boolean : b1; character : a]
-        x := 3 + 2 * 8;
-        x := 3 - 2 / 8;
-        x := a * 2 % 8;
-        b2 := 3 * 2 % 8;
-        x := 3 % 2 * 8;
-        x := 3 + arr - 8;
+type main: string -> integer
+type rec: [integer: x; integer: y]
+function entry: main
+
+entry (arg) := {
+      [integer:x; address: arr; address: arr2; Boolean : b2; Boolean : b1; character : a; rec : r]
+
+    	x := 3 + 2 * 8;
+   	x := 3 - 2 / 8;
+    	x := a * 2 % 8;
+    	b2 := 3 * 2 % 8;
+    	x := 3 % 2 * 8;
+    	x := 3 + arr - 8;
+	r.x;
+	a.x;
+	
+    	return 0;
 }