fixed precedence testing

2025-03-07 13:40:29 -05:00
parent 6dcad07520 06764ad9b3
commit f33b4566ea
8 changed files with 16 additions and 440 deletions
--- a/tests/sprint2/test/sp2_llnode.alpha
+++ b/tests/sprint2/test/sp2_llnode.alpha
@ -2,7 +2,7 @@ type rec: [integer: x; integer: y]
 type T1: integer -> integer
 type T2: rec -> integer

-type llnode: [address: prev; integer: val; address: next]
+type llnode: [llnode: prev; integer: val; llnode: next]
 type list: integer -> llnode

 function foo : T1
--- a/tests/sprint2/test/sp2_presidence.alpha
+++ b/tests/sprint2/test/sp2_presidence.alpha
@ -0,0 +1,4 @@
+entry(arg) := {
+        [integer:x]
+        x := 3 + 2 * 8;
+}