Test for annie

This commit is contained in:
Meyer Simon
2025-05-06 22:00:55 -04:00
parent e23e91477a
commit 0db52f8e8f

View File

@ -0,0 +1,36 @@
#include "std.alpha"
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) := {
[ Boolean:x ; Boolean:y ; Boolean:z ; Boolean:t; integer: c]
x := false;
y := true;
if ( x | y ) then {
(*
if ( x<y & !(x=y) ) then {
t := 8;
} else {
}
*)
z := 1 < 2;
c := printBoolean(true);
} else {
y := false; (* bar('c', 7); *)
c := printBoolean(false);
}
return 0;
}