move the tests

62 files changed, 0 insertions, 531 deletions

diff --git a/progs/tests/auto/add.sy b/progs/tests/auto/add.sy
deleted file mode 100644
index 3fadd86..0000000
--- a/progs/tests/auto/add.sy
+++ /dev/null
@@ -1,3 +0,0 @@
-start :: fn {
-    (1, 2, 3, 4) + (4, 3, 2, 1) <=> (5, 5, 5, 5)
-}
diff --git a/progs/tests/auto/advanced_break.sy b/progs/tests/auto/advanced_break.sy
deleted file mode 100644
index 591dffd..0000000
--- a/progs/tests/auto/advanced_break.sy
+++ /dev/null
@@ -1,22 +0,0 @@
-start :: fn {
-
-    a := 0
-    for i := 0, i < 10, i += 1 {
-        q := 0
-        qq := 0
-        qqq := 0
-        qqqq := 0
-
-        a = a + 1
-        if i == 2 {
-            break
-        }
-
-        q
-        qq
-        qqq
-        qqqq
-    }
-    a <=> 3
-
-}
diff --git a/progs/tests/auto/advanced_continue.sy b/progs/tests/auto/advanced_continue.sy
deleted file mode 100644
index 1a3bb00..0000000
--- a/progs/tests/auto/advanced_continue.sy
+++ /dev/null
@@ -1,22 +0,0 @@
-start :: fn {
-
-    a := 0
-    for i := 0, i < 4, i += 1 {
-        q := 0
-        qq := 0
-        qqq := 0
-        qqqq := 0
-
-        if i == 2 {
-            continue
-        }
-        a = a + 1
-
-        q
-        qq
-        qqq
-        qqqq
-    }
-    a <=> 3
-
-}
diff --git a/progs/tests/auto/assignment.sy b/progs/tests/auto/assignment.sy
deleted file mode 100644
index 5ab9f6b..0000000
--- a/progs/tests/auto/assignment.sy
+++ /dev/null
@@ -1,7 +0,0 @@
-start :: fn {
-    a := 1
-    b := 2
-    a = b
-    a <=> 2
-    b <=> 2
-}
diff --git a/progs/tests/auto/blob_complex.sy b/progs/tests/auto/blob_complex.sy
deleted file mode 100644
index b139a3a..0000000
--- a/progs/tests/auto/blob_complex.sy
+++ /dev/null
@@ -1,19 +0,0 @@
-start :: fn {
-
-    a := A()
-    b := B()
-    c := C()
-    b2 := B()
-
-    a
-    b
-    c
-    b2
-
-    blob A {
-        c: C
-    }
-    blob C { }
-    blob B { }
-
-}
diff --git a/progs/tests/auto/blob_infer.sy b/progs/tests/auto/blob_infer.sy
deleted file mode 100644
index 0a1ce1b..0000000
--- a/progs/tests/auto/blob_infer.sy
+++ /dev/null
@@ -1,8 +0,0 @@
-start :: fn {
-
-    blob A { }
-
-    a : A = A()
-    a
-
-}
diff --git a/progs/tests/auto/blob_simple.sy b/progs/tests/auto/blob_simple.sy
deleted file mode 100644
index ea832cd..0000000
--- a/progs/tests/auto/blob_simple.sy
+++ /dev/null
@@ -1,10 +0,0 @@
-start :: fn {
-
-    a := A()
-    a
-
-    blob A {
-        a: int
-    }
-
-}
diff --git a/progs/tests/auto/calls_inside_calls.sy b/progs/tests/auto/calls_inside_calls.sy
deleted file mode 100644
index 5f6716b..0000000
--- a/progs/tests/auto/calls_inside_calls.sy
+++ /dev/null
@@ -1,11 +0,0 @@
-start :: fn {
-    one := fn -> int {
-        ret 1
-    }
-    add := fn a: int, b: int -> int {
-        ret a + b
-    }
-    add(one(), one()) <=> 2
-    add(add(one(), one()), one()) <=> 3
-    add(one(), add(one(), one())) <=> 3
-}
diff --git a/progs/tests/auto/cluster.sy b/progs/tests/auto/cluster.sy
deleted file mode 100644
index dc8ec72..0000000
--- a/progs/tests/auto/cluster.sy
+++ /dev/null
@@ -1,14 +0,0 @@
-start :: fn {
-
-    blob A { a: int }
-    a := A()
-    a.a = 0
-    a.a += 1
-    a.a <=> 1
-    a.a *= 2
-    a.a <=> 2
-    a.a /= 2
-    a.a <=> 1
-    a.a -= 1
-    a.a <=> 0
-}
diff --git a/progs/tests/auto/compare_constants_equality.sy b/progs/tests/auto/compare_constants_equality.sy
deleted file mode 100644
index e8f64ed..0000000
--- a/progs/tests/auto/compare_constants_equality.sy
+++ /dev/null
@@ -1,5 +0,0 @@
-start :: fn {
-    if 1 == 2 {
-        <!>
-    }
-}
diff --git a/progs/tests/auto/compare_constants_unequality.sy b/progs/tests/auto/compare_constants_unequality.sy
deleted file mode 100644
index 21094da..0000000
--- a/progs/tests/auto/compare_constants_unequality.sy
+++ /dev/null
@@ -1,5 +0,0 @@
-start :: fn {
-    if 1 != 1 {
-        <!>
-    }
-}
diff --git a/progs/tests/auto/compare_variable.sy b/progs/tests/auto/compare_variable.sy
deleted file mode 100644
index 80fb4a4..0000000
--- a/progs/tests/auto/compare_variable.sy
+++ /dev/null
@@ -1,9 +0,0 @@
-start :: fn {
-    a := 1
-    if a == 0 {
-        <!>
-    }
-    if a != 1 {
-        <!>
-    }
-}
diff --git a/progs/tests/auto/conflict_markers.sy b/progs/tests/auto/conflict_markers.sy
deleted file mode 100644
index 0760582..0000000
--- a/progs/tests/auto/conflict_markers.sy
+++ /dev/null
@@ -1,11 +0,0 @@
-start :: fn {
-
-<<<<<<< HEAD
-    print extern_test(4.0)
-=======
-    print extern_test(5.0)
->>>>>>> 2
-
-}
-
-// errors: [ErrorKind::SyntaxError(_, _), ErrorKind::GitConflictError(3, 7)]
diff --git a/progs/tests/auto/constant_function.sy b/progs/tests/auto/constant_function.sy
deleted file mode 100644
index 22ddfe2..0000000
--- a/progs/tests/auto/constant_function.sy
+++ /dev/null
@@ -1,4 +0,0 @@
-a :: fn {}
-start :: fn {
-    a()
-}
diff --git a/progs/tests/auto/constant_function_closure.sy b/progs/tests/auto/constant_function_closure.sy
deleted file mode 100644
index 6c7f0d7..0000000
--- a/progs/tests/auto/constant_function_closure.sy
+++ /dev/null
@@ -1,13 +0,0 @@
-q : int = 1
-
-f :: fn -> int {
-    q += 1
-    ret q
-}
-
-start :: fn {
-    f() <=> 2
-    f() <=> 3
-    f() <=> 4
-    f() <=> 5
-}
diff --git a/progs/tests/auto/constant_function_complex.sy b/progs/tests/auto/constant_function_complex.sy
deleted file mode 100644
index 6a60ebe..0000000
--- a/progs/tests/auto/constant_function_complex.sy
+++ /dev/null
@@ -1,19 +0,0 @@
-h :: fn -> int {
-    ret 3
-}
-
-k :: fn -> int {
-    ret h()
-}
-
-a :: fn -> int {
-    ret q()
-}
-
-q :: fn -> int {
-    ret k()
-}
-
-start :: fn {
-    a() <=> 3
-}
diff --git a/progs/tests/auto/constants_in_inner_functions.sy b/progs/tests/auto/constants_in_inner_functions.sy
deleted file mode 100644
index 99704e7..0000000
--- a/progs/tests/auto/constants_in_inner_functions.sy
+++ /dev/null
@@ -1,20 +0,0 @@
-start :: fn {
-
-    q : int = 0
-
-    f :: fn -> fn -> {
-        g :: fn {
-            q += 1
-        }
-        ret g
-    }
-
-    g := f()
-    g()
-    q <=> 1
-    g()
-    q <=> 2
-    g()
-    q <=> 3
-
-}
diff --git a/progs/tests/auto/div.sy b/progs/tests/auto/div.sy
deleted file mode 100644
index df3e7bb..0000000
--- a/progs/tests/auto/div.sy
+++ /dev/null
@@ -1,5 +0,0 @@
-start :: fn {
-    a := 2
-    a /= 2
-    a <=> 1
-}
diff --git a/progs/tests/auto/else_.sy b/progs/tests/auto/else_.sy
deleted file mode 100644
index 0f1d624..0000000
--- a/progs/tests/auto/else_.sy
+++ /dev/null
@@ -1,10 +0,0 @@
-start :: fn {
-    a := 1
-    res := 0
-    if a == 0 {
-        <!>
-    } else {
-        res = 1
-    }
-    res <=> 1
-}
diff --git a/progs/tests/auto/else_if.sy b/progs/tests/auto/else_if.sy
deleted file mode 100644
index f31453e..0000000
--- a/progs/tests/auto/else_if.sy
+++ /dev/null
@@ -1,12 +0,0 @@
-start :: fn {
-    a := 1
-    res := 0
-    if a == 0 {
-        <!>
-    } else if a == 1 {
-        res = 1
-    } else {
-        <!>
-    }
-    res <=> 1
-}
diff --git a/progs/tests/auto/expressions.sy b/progs/tests/auto/expressions.sy
deleted file mode 100644
index 99569e4..0000000
--- a/progs/tests/auto/expressions.sy
+++ /dev/null
@@ -1,6 +0,0 @@
-start :: fn {
-    1 + 1 // blargh 
-    2 // blargh 
-    // HARGH 
-
-}
diff --git a/progs/tests/auto/factorial.sy b/progs/tests/auto/factorial.sy
deleted file mode 100644
index 770bc33..0000000
--- a/progs/tests/auto/factorial.sy
+++ /dev/null
@@ -1,12 +0,0 @@
-factorial :: fn n: int -> int {
-    if n <= 1 {
-        ret 1
-    }
-    ret n * factorial(n - 1)
-}
-
-start :: fn {
-    factorial(5) <=> 120
-    factorial(6) <=> 720
-    factorial(12) <=> 479001600
-}
diff --git a/progs/tests/auto/field.sy b/progs/tests/auto/field.sy
deleted file mode 100644
index b11e51e..0000000
--- a/progs/tests/auto/field.sy
+++ /dev/null
@@ -1,3 +0,0 @@
-start :: fn {
-    blob A { a: int }
-}
diff --git a/progs/tests/auto/field_assign.sy b/progs/tests/auto/field_assign.sy
deleted file mode 100644
index 4fb6dd4..0000000
--- a/progs/tests/auto/field_assign.sy
+++ /dev/null
@@ -1,5 +0,0 @@
-start :: fn {
-    blob A { a: int }
-    a := A()
-    a.a = 2
-}
diff --git a/progs/tests/auto/field_get.sy b/progs/tests/auto/field_get.sy
deleted file mode 100644
index 49bb0f2..0000000
--- a/progs/tests/auto/field_get.sy
+++ /dev/null
@@ -1,7 +0,0 @@
-start :: fn {
-    blob A { a: int }
-    a := A()
-    a.a = 2
-    a.a <=> 2
-    2 <=> a.a
-}
diff --git a/progs/tests/auto/in_rhs.sy b/progs/tests/auto/in_rhs.sy
deleted file mode 100644
index 28ed276..0000000
--- a/progs/tests/auto/in_rhs.sy
+++ /dev/null
@@ -1,3 +0,0 @@
-start :: fn {
-    5 <=> 1 * 2 + 3
-}
diff --git a/progs/tests/auto/instantiate.sy b/progs/tests/auto/instantiate.sy
deleted file mode 100644
index bb2f09c..0000000
--- a/progs/tests/auto/instantiate.sy
+++ /dev/null
@@ -1,5 +0,0 @@
-start :: fn {
-    blob A {}
-    a := A()
-    a
-}
diff --git a/progs/tests/auto/invalid_assign.sy b/progs/tests/auto/invalid_assign.sy
deleted file mode 100644
index 8ee47ab..0000000
--- a/progs/tests/auto/invalid_assign.sy
+++ /dev/null
@@ -1,7 +0,0 @@
-start :: fn {
-    a := 1
-    a = 0.1
-    a
-}
-
-// errors: [ErrorKind::TypeMismatch(Type::Int, Type::Float)]
diff --git a/progs/tests/auto/more_types.sy b/progs/tests/auto/more_types.sy
deleted file mode 100644
index c85403a..0000000
--- a/progs/tests/auto/more_types.sy
+++ /dev/null
@@ -1,4 +0,0 @@
-start :: fn {
-    a: (str, bool, int) = ("abc", true, 1)
-    a
-}
diff --git a/progs/tests/auto/mul.sy b/progs/tests/auto/mul.sy
deleted file mode 100644
index 4b33314..0000000
--- a/progs/tests/auto/mul.sy
+++ /dev/null
@@ -1,3 +0,0 @@
-start :: fn {
-    (0, 1, 2) * (2, 3, 4) <=> (0, 3, 8)
-}
diff --git a/progs/tests/auto/multiple_fields.sy b/progs/tests/auto/multiple_fields.sy
deleted file mode 100644
index ce4c61f..0000000
--- a/progs/tests/auto/multiple_fields.sy
+++ /dev/null
@@ -1,11 +0,0 @@
-start :: fn {
-    blob A {
-        a: int
-        b: int
-    }
-    a := A()
-    a.a = 2
-    a.b = 3
-    a.a + a.b <=> 5
-    5 <=> a.a + a.b
-}
diff --git a/progs/tests/auto/multiple_returns.sy b/progs/tests/auto/multiple_returns.sy
deleted file mode 100644
index 6cb5e1a..0000000
--- a/progs/tests/auto/multiple_returns.sy
+++ /dev/null
@@ -1,12 +0,0 @@
-start :: fn {
-    f := fn a: int -> int {
-        if a == 1 {
-            ret 2
-        } else {
-            ret 3
-        }
-    }
-    f(0) <=> 3
-    f(1) <=> 2
-    f(2) <=> 3
-}
diff --git a/progs/tests/auto/negation.sy b/progs/tests/auto/negation.sy
deleted file mode 100644
index 0c702aa..0000000
--- a/progs/tests/auto/negation.sy
+++ /dev/null
@@ -1,7 +0,0 @@
-start :: fn {
-    -1 <=> 0 - 1
-    -1 + 2 <=> 1
-    -(1 + 2) <=> -3
-    1 + -1 <=> 0
-    2 * -1 <=> -2
-}
diff --git a/progs/tests/auto/not.sy b/progs/tests/auto/not.sy
deleted file mode 100644
index 02dd81d..0000000
--- a/progs/tests/auto/not.sy
+++ /dev/null
@@ -1,5 +0,0 @@
-start :: fn {
-    f := fn {}
-    f!
-
-}
diff --git a/progs/tests/auto/one_arg.sy b/progs/tests/auto/one_arg.sy
deleted file mode 100644
index e7dee83..0000000
--- a/progs/tests/auto/one_arg.sy
+++ /dev/null
@@ -1,5 +0,0 @@
-start :: fn {
-    f := fn a:int { a <=> 1 }
-    f! 1
-
-}
diff --git a/progs/tests/auto/param_1.sy b/progs/tests/auto/param_1.sy
deleted file mode 100644
index c96089e..0000000
--- a/progs/tests/auto/param_1.sy
+++ /dev/null
@@ -1,4 +0,0 @@
-start :: fn {
-    f := fn a: int {}
-    f(1)
-}
diff --git a/progs/tests/auto/param_2.sy b/progs/tests/auto/param_2.sy
deleted file mode 100644
index 1915c42..0000000
--- a/progs/tests/auto/param_2.sy
+++ /dev/null
@@ -1,7 +0,0 @@
-start :: fn {
-    add := fn a: int, b: int -> int {
-        ret a + b
-    }
-    add(1, 1) <=> 2
-    add(10, 20) <=> 30
-}
diff --git a/progs/tests/auto/param_and_return.sy b/progs/tests/auto/param_and_return.sy
deleted file mode 100644
index 2752fcc..0000000
--- a/progs/tests/auto/param_and_return.sy
+++ /dev/null
@@ -1,7 +0,0 @@
-start :: fn {
-    f := fn a: int -> int {
-        ret a * 2
-    }
-    f(1) <=> 2
-    f(5) <=> 10
-}
diff --git a/progs/tests/auto/parenthesis.sy b/progs/tests/auto/parenthesis.sy
deleted file mode 100644
index dd6fe8a..0000000
--- a/progs/tests/auto/parenthesis.sy
+++ /dev/null
@@ -1,3 +0,0 @@
-start :: fn {
-    (1 + 2) * 3 <=> 9
-}
diff --git a/progs/tests/auto/passing_functions.sy b/progs/tests/auto/passing_functions.sy
deleted file mode 100644
index e09a125..0000000
--- a/progs/tests/auto/passing_functions.sy
+++ /dev/null
@@ -1,9 +0,0 @@
-start :: fn {
-    g := fn -> int {
-        ret 1
-    }
-    f := fn inner: fn -> int -> int {
-        ret inner()
-    }
-    f(g) <=> 1
-}
diff --git a/progs/tests/auto/passing_functions_mixed.sy b/progs/tests/auto/passing_functions_mixed.sy
deleted file mode 100644
index b08128e..0000000
--- a/progs/tests/auto/passing_functions_mixed.sy
+++ /dev/null
@@ -1,9 +0,0 @@
-start :: fn {
-    g := fn a: int -> int {
-        ret a * 2
-    }
-    f := fn inner: fn int -> int, a: int -> int {
-        ret inner(a)
-    }
-    f(g, 2) <=> 4
-}
diff --git a/progs/tests/auto/precedence.sy b/progs/tests/auto/precedence.sy
deleted file mode 100644
index ae08e05..0000000
--- a/progs/tests/auto/precedence.sy
+++ /dev/null
@@ -1,8 +0,0 @@
-start :: fn {
-    f := fn a: int, b: int -> int {
-        ret a + b
-    }
-    1 + f(2, 3) <=> 6
-    2 * f(2, 3) <=> 10
-    f(2, 3) - (2 + 3) <=> 0
-}
diff --git a/progs/tests/auto/return_1.sy b/progs/tests/auto/return_1.sy
deleted file mode 100644
index 533208f..0000000
--- a/progs/tests/auto/return_1.sy
+++ /dev/null
@@ -1,6 +0,0 @@
-start :: fn {
-    f := fn -> int {
-        ret 1
-    }
-    f() <=> 1
-}
diff --git a/progs/tests/auto/returning_closures.sy b/progs/tests/auto/returning_closures.sy
deleted file mode 100644
index 4d69d5a..0000000
--- a/progs/tests/auto/returning_closures.sy
+++ /dev/null
@@ -1,24 +0,0 @@
-start :: fn {
-
-    f : fn -> fn -> int = fn -> fn -> int {
-        x : int = 0
-        f := fn -> int {
-            x = x + 1
-            ret x
-        }
-        f() <=> 1
-        ret f
-    }
-
-    a := f()
-    b := f()
-
-    a() <=> 2
-    a() <=> 3
-
-    b() <=> 2
-    b() <=> 3
-
-    a() <=> 4
-
-}
diff --git a/progs/tests/auto/simple.sy b/progs/tests/auto/simple.sy
deleted file mode 100644
index 99bf586..0000000
--- a/progs/tests/auto/simple.sy
+++ /dev/null
@@ -1,10 +0,0 @@
-start :: fn {
-
-    a :: 1
-    a <=> 1
-    b := 2
-    {
-        a <=> 1
-        b <=> 2
-    }
-}
diff --git a/progs/tests/auto/simple_add.sy b/progs/tests/auto/simple_add.sy
deleted file mode 100644
index 7be4012..0000000
--- a/progs/tests/auto/simple_add.sy
+++ /dev/null
@@ -1,9 +0,0 @@
-start :: fn {
-
-    a := 0
-    b := 99999
-    a += 1
-    a <=> 1
-    b <=> 99999
-
-}
diff --git a/progs/tests/auto/simple_break.sy b/progs/tests/auto/simple_break.sy
deleted file mode 100644
index 6f2e5b6..0000000
--- a/progs/tests/auto/simple_break.sy
+++ /dev/null
@@ -1,12 +0,0 @@
-start :: fn {
-
-    a := 0
-    for i := 0, i < 10, i += 1 {
-        a = a + 1
-        if i == 2 {
-            break
-        }
-    }
-    a <=> 3
-
-}
diff --git a/progs/tests/auto/simple_continue.sy b/progs/tests/auto/simple_continue.sy
deleted file mode 100644
index 3e26e6c..0000000
--- a/progs/tests/auto/simple_continue.sy
+++ /dev/null
@@ -1,12 +0,0 @@
-start :: fn {
-
-    a := 0
-    for i := 0, i < 4, i += 1 {
-        if i == 2 {
-            continue
-        }
-        a = a + 1
-    }
-    a <=> 3
-
-}
diff --git a/progs/tests/auto/simple_sub.sy b/progs/tests/auto/simple_sub.sy
deleted file mode 100644
index c220b8f..0000000
--- a/progs/tests/auto/simple_sub.sy
+++ /dev/null
@@ -1,9 +0,0 @@
-start :: fn {
-
-    a := 0
-    b := 99999
-    a -= 1
-    a <=> -1
-    b <=> 99999
-
-}
diff --git a/progs/tests/auto/simplest.sy b/progs/tests/auto/simplest.sy
deleted file mode 100644
index 14a6534..0000000
--- a/progs/tests/auto/simplest.sy
+++ /dev/null
@@ -1,4 +0,0 @@
-start :: fn {
-    f := fn {}
-    f()
-}
diff --git a/progs/tests/auto/single_variable.sy b/progs/tests/auto/single_variable.sy
deleted file mode 100644
index ce4c2ad..0000000
--- a/progs/tests/auto/single_variable.sy
+++ /dev/null
@@ -1,4 +0,0 @@
-start :: fn {
-    a := 1
-    a <=> 1
-}
diff --git a/progs/tests/auto/stack_ordering.sy b/progs/tests/auto/stack_ordering.sy
deleted file mode 100644
index f13e5cf..0000000
--- a/progs/tests/auto/stack_ordering.sy
+++ /dev/null
@@ -1,6 +0,0 @@
-start :: fn {
-    a := 1
-    b := 2
-    b <=> 2
-    a <=> 1
-}
diff --git a/progs/tests/auto/strange.sy b/progs/tests/auto/strange.sy
deleted file mode 100644
index b6aad0f..0000000
--- a/progs/tests/auto/strange.sy
+++ /dev/null
@@ -1,15 +0,0 @@
-start :: fn {
-
-    a := 0
-    {
-        b := 99999
-        {
-            a := 99999
-            a
-        }
-        b
-        a -= 1
-    }
-    a <=> -1
-
-}
diff --git a/progs/tests/auto/sub.sy b/progs/tests/auto/sub.sy
deleted file mode 100644
index e5d60f2..0000000
--- a/progs/tests/auto/sub.sy
+++ /dev/null
@@ -1,3 +0,0 @@
-start :: fn {
-    (1, -2, 3, -4) - (4, 3, -2, -1) <=> (-3, 1, 1, -5)
-}
diff --git a/progs/tests/auto/terms_and_factors.sy b/progs/tests/auto/terms_and_factors.sy
deleted file mode 100644
index 42a48e2..0000000
--- a/progs/tests/auto/terms_and_factors.sy
+++ /dev/null
@@ -1,4 +0,0 @@
-start :: fn {
-    1 + 1 * 2 <=> 3
-    1 * 2 + 3 <=> 5
-}
diff --git a/progs/tests/auto/three_arg.sy b/progs/tests/auto/three_arg.sy
deleted file mode 100644
index 56eb634..0000000
--- a/progs/tests/auto/three_arg.sy
+++ /dev/null
@@ -1,5 +0,0 @@
-start :: fn {
-    f := fn a:int, b:int, c:int { c <=> 13 }
-    f! 1, 1 + 2, 1 + 4 * 3
-
-}
diff --git a/progs/tests/auto/two_arg.sy b/progs/tests/auto/two_arg.sy
deleted file mode 100644
index 09ea1f7..0000000
--- a/progs/tests/auto/two_arg.sy
+++ /dev/null
@@ -1,5 +0,0 @@
-start :: fn {
-    f := fn a:int, b:int { b <=> 3 }
-    f! 1, 1 + 2
-
-}
diff --git a/progs/tests/auto/two_variables.sy b/progs/tests/auto/two_variables.sy
deleted file mode 100644
index 93329e3..0000000
--- a/progs/tests/auto/two_variables.sy
+++ /dev/null
@@ -1,6 +0,0 @@
-start :: fn {
-    a := 1
-    b := 2
-    a <=> 1
-    b <=> 2
-}
diff --git a/progs/tests/auto/types.sy b/progs/tests/auto/types.sy
deleted file mode 100644
index bdcdfa4..0000000
--- a/progs/tests/auto/types.sy
+++ /dev/null
@@ -1,4 +0,0 @@
-start :: fn {
-    a: (int, float, int) = (1, 1., 1)
-    a
-}
diff --git a/progs/tests/auto/uncallable_type.sy b/progs/tests/auto/uncallable_type.sy
deleted file mode 100644
index dbe6e81..0000000
--- a/progs/tests/auto/uncallable_type.sy
+++ /dev/null
@@ -1,8 +0,0 @@
-start :: fn {
-    f := fn i: int {
-        i()
-    }
-    f
-}
-
-// errors: [ErrorKind::InvalidProgram]
diff --git a/progs/tests/auto/wrong_params.sy b/progs/tests/auto/wrong_params.sy
deleted file mode 100644
index e49e89b..0000000
--- a/progs/tests/auto/wrong_params.sy
+++ /dev/null
@@ -1,7 +0,0 @@
-start :: fn {
-
-    f : fn -> int = fn a: int -> int {}
-    f
-}
-
-// errors: [ErrorKind::TypeMismatch(_, _), ErrorKind::TypeMismatch(Type::Void, Type::Int)]
diff --git a/progs/tests/auto/wrong_ret.sy b/progs/tests/auto/wrong_ret.sy
deleted file mode 100644
index 6c4a9a5..0000000
--- a/progs/tests/auto/wrong_ret.sy
+++ /dev/null
@@ -1,7 +0,0 @@
-start :: fn {
-
-    f : fn -> int = fn {}
-    f
-}
-
-// errors: [ErrorKind::TypeMismatch(_, _)]