diff --git a/tests/sprint2/test/sp2_carls_mistake.alpha b/tests/sprint2/test/sp2_carls_mistake.alpha index 45d53c3..26b8725 100644 --- a/tests/sprint2/test/sp2_carls_mistake.alpha +++ b/tests/sprint2/test/sp2_carls_mistake.alpha @@ -1,11 +1,11 @@ -type main: string -> integer -function entry: main - type rec: [integer: x; integer: y] + type T1: integer -> integer type T2: rec -> integer type arr: 1 -> integer -type w : rec + +type main: string -> integer +function entry: main function foo: T1 function bar1: T2 function bar2: T2