From 468e3f67f7c6c593a7a18a5de278648ab24163c7 Mon Sep 17 00:00:00 2001 From: Meyer Simon Date: Sat, 3 May 2025 12:53:13 -0400 Subject: [PATCH] I added some test files Looks good so far Need someone to spot check --- .../sprint3/test/sp3_if_else_nested_exp.alpha | 25 ++++++++++++++++ .../sprint3/test/sp3_while_nested_bools.alpha | 29 +++++++++++++++++++ 2 files changed, 54 insertions(+) create mode 100644 tests/sprint3/test/sp3_if_else_nested_exp.alpha create mode 100644 tests/sprint3/test/sp3_while_nested_bools.alpha diff --git a/tests/sprint3/test/sp3_if_else_nested_exp.alpha b/tests/sprint3/test/sp3_if_else_nested_exp.alpha new file mode 100644 index 0000000..08161f2 --- /dev/null +++ b/tests/sprint3/test/sp3_if_else_nested_exp.alpha @@ -0,0 +1,25 @@ +type rec: [character: x; integer: y] + +type T2: rec -> integer + +type main: string -> integer +function entry: main +function bar: T2 + +bar (r,s) := { + return 0; +} + +entry (arg) := { + [ integer: x ; integer: y; integer: z;integer: t] + + if ( (x = y) < ( z = t ) ) then { + if ( (x < y) = ( z < t ) ) then { + x := x; + } else { + x := 1; (* bar('c', 7); *) + } + } else { + return 0; + } +} diff --git a/tests/sprint3/test/sp3_while_nested_bools.alpha b/tests/sprint3/test/sp3_while_nested_bools.alpha new file mode 100644 index 0000000..5a6920e --- /dev/null +++ b/tests/sprint3/test/sp3_while_nested_bools.alpha @@ -0,0 +1,29 @@ +type rec: [character: x; integer: y] + +type T2: rec -> integer + +type main: string -> integer +function entry: main +function bar: T2 + +bar (r,s) := { + return 0; +} + +entry (arg) := { + [ integer: x ; integer: y; integer: z;integer: t] + while ( (!(x = y)) < ( z = t ) ) { + x := x; + while ( (x < y) = ( z < t ) ) { + y := y; + } + (* + if ( (x = y) = ( z < t ) ) then { + x := 1; + } else { + x := 1; + } + *) + } + return 0; +}