diff options
Diffstat (limited to 'progs/tests/auto')
62 files changed, 0 insertions, 532 deletions
diff --git a/progs/tests/auto/add.sy b/progs/tests/auto/add.sy deleted file mode 100644 index 4e8e643..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 1cfcece..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 70a8671..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 51cbecc..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 d40082f..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 cee18bf..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 f05ec07..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 578f418..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 8f279e7..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 c8c399b..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 8c115b4..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 25d21f4..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 167a751..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 2ec4019..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 3371393..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 3073270..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 896aeb4..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 18b64f6..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 0f6d6fc..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 c985297..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 93837ea..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 0905f6f..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 60e4873..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 7d32bf9..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 a8b18f0..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 18d825e..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 78cc14e..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 2a4b3c0..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 8abc000..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 41388d8..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 712690a..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 9523a67..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 1781eaf..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 ac5fdfd..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 7e39775..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 b456769..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 d1ff70e..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 292e7ce..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 0aee658..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 993f9fd..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 1c4c091..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 436dcae..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 f1952d3..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 11c06ad..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 ac2bf81..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 5dad340..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 5669dc0..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 00217d2..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 85a36bd..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 c495041..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 755ae67..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 1fef724..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 d948fa0..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 60645b5..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 9ae183f..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 c045b34..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 06ff71a..0000000 --- a/progs/tests/auto/uncallable_type.sy +++ /dev/null @@ -1,9 +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 6b56e90..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 81f2517..0000000 --- a/progs/tests/auto/wrong_ret.sy +++ /dev/null @@ -1,7 +0,0 @@ -start :: fn { - - f : fn -> int = fn {} -f -} - -// errors: [ErrorKind::TypeMismatch(_, _)] |