diff --git a/tests/sprint3/test/sp3_and_or_type_check.alpha b/tests/sprint3/test/sp3_and_or_type_check.alpha index a6cf442..450aee0 100644 --- a/tests/sprint3/test/sp3_and_or_type_check.alpha +++ b/tests/sprint3/test/sp3_and_or_type_check.alpha @@ -2,7 +2,7 @@ type rec: [integer: x; integer: y] type main: rec -> integer function test: main -test (arg, arg2) := { +test (arg) := { [integer:x; Boolean: b] while (true) { x := 0; @@ -12,13 +12,13 @@ test (arg, arg2) := { x := 1; } - if (true) { + if (true) then { x := 1; } else { x := 0; } - if (x) { + if (x) then { x := 0; } else { x := 1; diff --git a/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha b/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha index d8670ff..8d8ad70 100644 --- a/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha +++ b/tests/sprint3/test/sp3_integer_binary_op_typecheck.alpha @@ -11,8 +11,8 @@ entry (arg) := { b2 := 3 * 2 % 8; x := 3 % 2 * 8; x := 3 + arr - 8; - r.x; - a.x; + x := r.x; + x := a.x; return 0; }