New ones

tests/good/arr.tig

@@ -0,0 +1,11 @@
+let
+    type arr = array of string
+    type arrarr = array of arr
+    var a := arrarr [10] of arr [10] of "buuu"
+in
+    a[0][0] := "Hola ";
+    a[5][5] := "mundo";
+    print(a[3][0]);
+    print(a[8][5]);
+    0
+end

tests/good/list.tig

@@ -0,0 +1,8 @@
+let
+    type R = {s: string, n: R}
+    var r:= R {s="Hola mundo", n=nil}
+in
+    r.n := r;
+    print(r.n.n.n.n.n.n.n.n.n.n.n.n.n.n.s);
+    0
+end

tests/good/nested.tig

@@ -0,0 +1,22 @@
+let
+    function f1(a: int) : int =
+    let
+        var inc := 1
+        function f2(a: int) : int =
+        let
+            function f3(a: int) : int =
+            let
+                function f4(a: int) : int = f1(a-1) + inc
+                function f5(a: int) : int = f4(a) + inc
+            in
+                f5(a) + inc
+            end
+        in
+            f3(a) + inc
+        end
+    in
+        if a=0 then 1 else f2(a)
+    end
+in
+    print_int(f1(10)); 0
+end

tests/good/spill.tig

@@ -0,0 +1,106 @@
+/* this takes a long time... apparently. */
+let
+    function f() : int = 1
+    var a0 := f()
+    var a1 := f()
+    var a2 := f()
+    var a3 := f()
+    var a4 := f()
+    var a5 := f()
+    var a6 := f()
+    var a7 := f()
+    var a8 := f()
+    var a9 := f()
+    var a10 := f()
+    var a11 := f()
+    var a12 := f()
+    var a13 := f()
+    var a14 := f()
+    var a15 := f()
+    var a16 := f()
+    var a17 := f()
+    var a18 := f()
+    var a19 := f()
+    var a20 := f()
+    var a21 := f()
+    var a22 := f()
+    var a23 := f()
+    var a24 := f()
+    var a25 := f()
+    var a26 := f()
+    var a27 := f()
+    var a28 := f()
+    var a29 := f()
+    var a30 := f()
+    var a31 := f()
+    var a32 := f()
+    var a33 := f()
+    var a34 := f()
+    var a35 := f()
+    var a36 := f()
+    var a37 := f()
+    var a38 := f()
+    var a39 := f()
+    var a40 := f()
+    var a41 := f()
+    var a42 := f()
+    var a43 := f()
+    var a44 := f()
+    var a45 := f()
+    var a46 := f()
+    var a47 := f()
+    var a48 := f()
+    var a49 := f()
+    var a50 := f()
+    var a51 := f()
+    var a52 := f()
+    var a53 := f()
+    var a54 := f()
+    var a55 := f()
+    var a56 := f()
+    var a57 := f()
+    var a58 := f()
+    var a59 := f()
+    var a60 := f()
+    var a61 := f()
+    var a62 := f()
+    var a63 := f()
+    var a64 := f()
+    var a65 := f()
+    var a66 := f()
+    var a67 := f()
+    var a68 := f()
+    var a69 := f()
+    var a70 := f()
+    var a71 := f()
+    var a72 := f()
+    var a73 := f()
+    var a74 := f()
+    var a75 := f()
+    var a76 := f()
+    var a77 := f()
+    var a78 := f()
+    var a79 := f()
+    var a80 := f()
+    var a81 := f()
+    var a82 := f()
+    var a83 := f()
+    var a84 := f()
+    var a85 := f()
+    var a86 := f()
+    var a87 := f()
+    var a88 := f()
+    var a89 := f()
+    var a90 := f()
+    var a91 := f()
+    var a92 := f()
+    var a93 := f()
+    var a94 := f()
+    var a95 := f()
+    var a96 := f()
+    var a97 := f()
+    var a98 := f()
+    var a99 := f()
+in
+    a0 + a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8 + a9 + a10 + a11 + a12 + a13 + a14 + a15 + a16 + a17 + a18 + a19 + a20 + a21 + a22 + a23 + a24 + a25 + a26 + a27 + a28 + a29 + a30 + a31 + a32 + a33 + a34 + a35 + a36 + a37 + a38 + a39 + a40 + a41 + a42 + a43 + a44 + a45 + a46 + a47 + a48 + a49 + a50 + a51 + a52 + a53 + a54 + a55 + a56 + a57 + a58 + a59 + a60 + a61 + a62 + a63 + a64 + a65 + a66 + a67 + a68 + a69 + a70 + a71 + a72 + a73 + a74 + a75 + a76 + a77 + a78 + a79 + a80 + a81 + a82 + a83 + a84 + a85 + a86 + a87 + a88 + a89 + a90 + a91 + a92 + a93 + a94 + a95 + a96 + a97 + a98 + a99
+end