aboutsummaryrefslogtreecommitdiffstats
path: root/progs/tests/auto
diff options
context:
space:
mode:
authorGustav Sörnäs <gustav@sornas.net>2021-03-07 17:47:08 +0100
committerGustav Sörnäs <gustav@sornas.net>2021-03-07 23:17:37 +0100
commit3974ce7c4f0623cef3fcf0abf95d8be6a54d3b44 (patch)
tree2d0c3ff5b222f9508f12ee9d48cd584934dd1882 /progs/tests/auto
parent09c830296fdb55efbc7f590337ce72f5ec75c04b (diff)
downloadsylt-3974ce7c4f0623cef3fcf0abf95d8be6a54d3b44.tar.gz
auto indent the tests
Diffstat (limited to 'progs/tests/auto')
-rw-r--r--progs/tests/auto/add.sy2
-rw-r--r--progs/tests/auto/advanced_break.sy32
-rw-r--r--progs/tests/auto/advanced_continue.sy32
-rw-r--r--progs/tests/auto/assignment.sy10
-rw-r--r--progs/tests/auto/blob_complex.sy26
-rw-r--r--progs/tests/auto/blob_infer.sy6
-rw-r--r--progs/tests/auto/blob_simple.sy10
-rw-r--r--progs/tests/auto/calls_inside_calls.sy18
-rw-r--r--progs/tests/auto/cluster.sy22
-rw-r--r--progs/tests/auto/compare_constants_equality.sy6
-rw-r--r--progs/tests/auto/compare_constants_unequality.sy6
-rw-r--r--progs/tests/auto/compare_variable.sy14
-rw-r--r--progs/tests/auto/conflict_markers.sy4
-rw-r--r--progs/tests/auto/constant_function.sy2
-rw-r--r--progs/tests/auto/constants_in_inner_functions.sy26
-rw-r--r--progs/tests/auto/div.sy6
-rw-r--r--progs/tests/auto/else_.sy16
-rw-r--r--progs/tests/auto/else_if.sy20
-rw-r--r--progs/tests/auto/expressions.sy6
-rw-r--r--progs/tests/auto/field.sy2
-rw-r--r--progs/tests/auto/field_assign.sy6
-rw-r--r--progs/tests/auto/field_get.sy10
-rw-r--r--progs/tests/auto/in_rhs.sy2
-rw-r--r--progs/tests/auto/instantiate.sy6
-rw-r--r--progs/tests/auto/invalid_assign.sy6
-rw-r--r--progs/tests/auto/more_types.sy4
-rw-r--r--progs/tests/auto/mul.sy2
-rw-r--r--progs/tests/auto/multiple_fields.sy18
-rw-r--r--progs/tests/auto/multiple_returns.sy20
-rw-r--r--progs/tests/auto/negation.sy10
-rw-r--r--progs/tests/auto/not.sy4
-rw-r--r--progs/tests/auto/one_arg.sy4
-rw-r--r--progs/tests/auto/param_1.sy4
-rw-r--r--progs/tests/auto/param_2.sy10
-rw-r--r--progs/tests/auto/param_and_return.sy10
-rw-r--r--progs/tests/auto/parenthesis.sy2
-rw-r--r--progs/tests/auto/passing_functions.sy14
-rw-r--r--progs/tests/auto/passing_functions_mixed.sy14
-rw-r--r--progs/tests/auto/precedence.sy12
-rw-r--r--progs/tests/auto/return_1.sy8
-rw-r--r--progs/tests/auto/returning_closures.sy30
-rw-r--r--progs/tests/auto/simple.sy12
-rw-r--r--progs/tests/auto/simple_add.sy10
-rw-r--r--progs/tests/auto/simple_break.sy14
-rw-r--r--progs/tests/auto/simple_continue.sy14
-rw-r--r--progs/tests/auto/simple_sub.sy10
-rw-r--r--progs/tests/auto/simplest.sy4
-rw-r--r--progs/tests/auto/single_variable.sy4
-rw-r--r--progs/tests/auto/stack_ordering.sy8
-rw-r--r--progs/tests/auto/strange.sy18
-rw-r--r--progs/tests/auto/sub.sy2
-rw-r--r--progs/tests/auto/terms_and_factors.sy4
-rw-r--r--progs/tests/auto/three_arg.sy4
-rw-r--r--progs/tests/auto/two_arg.sy4
-rw-r--r--progs/tests/auto/two_variables.sy8
-rw-r--r--progs/tests/auto/types.sy4
-rw-r--r--progs/tests/auto/uncallable_type.sy9
-rw-r--r--progs/tests/auto/wrong_params.sy4
-rw-r--r--progs/tests/auto/wrong_ret.sy4
59 files changed, 299 insertions, 300 deletions
diff --git a/progs/tests/auto/add.sy b/progs/tests/auto/add.sy
index 4e8e643..3fadd86 100644
--- a/progs/tests/auto/add.sy
+++ b/progs/tests/auto/add.sy
@@ -1,3 +1,3 @@
start :: fn {
-(1, 2, 3, 4) + (4, 3, 2, 1) <=> (5, 5, 5, 5)
+ (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
index 1cfcece..591dffd 100644
--- a/progs/tests/auto/advanced_break.sy
+++ b/progs/tests/auto/advanced_break.sy
@@ -1,22 +1,22 @@
start :: fn {
-a := 0
-for i := 0, i < 10, i += 1 {
- q := 0
- qq := 0
- qqq := 0
- qqqq := 0
+ a := 0
+ for i := 0, i < 10, i += 1 {
+ q := 0
+ qq := 0
+ qqq := 0
+ qqqq := 0
- a = a + 1
- if i == 2 {
- break
- }
+ a = a + 1
+ if i == 2 {
+ break
+ }
- q
- qq
- qqq
- qqqq
-}
-a <=> 3
+ q
+ qq
+ qqq
+ qqqq
+ }
+ a <=> 3
}
diff --git a/progs/tests/auto/advanced_continue.sy b/progs/tests/auto/advanced_continue.sy
index 70a8671..1a3bb00 100644
--- a/progs/tests/auto/advanced_continue.sy
+++ b/progs/tests/auto/advanced_continue.sy
@@ -1,22 +1,22 @@
start :: fn {
-a := 0
-for i := 0, i < 4, i += 1 {
- q := 0
- qq := 0
- qqq := 0
- qqqq := 0
+ a := 0
+ for i := 0, i < 4, i += 1 {
+ q := 0
+ qq := 0
+ qqq := 0
+ qqqq := 0
- if i == 2 {
- continue
- }
- a = a + 1
+ if i == 2 {
+ continue
+ }
+ a = a + 1
- q
- qq
- qqq
- qqqq
-}
-a <=> 3
+ q
+ qq
+ qqq
+ qqqq
+ }
+ a <=> 3
}
diff --git a/progs/tests/auto/assignment.sy b/progs/tests/auto/assignment.sy
index 51cbecc..5ab9f6b 100644
--- a/progs/tests/auto/assignment.sy
+++ b/progs/tests/auto/assignment.sy
@@ -1,7 +1,7 @@
start :: fn {
-a := 1
- b := 2
- a = b
- a <=> 2
- b <=> 2
+ 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
index d40082f..b139a3a 100644
--- a/progs/tests/auto/blob_complex.sy
+++ b/progs/tests/auto/blob_complex.sy
@@ -1,19 +1,19 @@
start :: fn {
-a := A()
-b := B()
-c := C()
-b2 := B()
+ a := A()
+ b := B()
+ c := C()
+ b2 := B()
-a
-b
-c
-b2
+ a
+ b
+ c
+ b2
-blob A {
- c: C
-}
-blob C { }
-blob B { }
+ blob A {
+ c: C
+ }
+ blob C { }
+ blob B { }
}
diff --git a/progs/tests/auto/blob_infer.sy b/progs/tests/auto/blob_infer.sy
index cee18bf..0a1ce1b 100644
--- a/progs/tests/auto/blob_infer.sy
+++ b/progs/tests/auto/blob_infer.sy
@@ -1,8 +1,8 @@
start :: fn {
-blob A { }
+ blob A { }
-a : A = A()
-a
+ a : A = A()
+ a
}
diff --git a/progs/tests/auto/blob_simple.sy b/progs/tests/auto/blob_simple.sy
index f05ec07..ea832cd 100644
--- a/progs/tests/auto/blob_simple.sy
+++ b/progs/tests/auto/blob_simple.sy
@@ -1,10 +1,10 @@
start :: fn {
-a := A()
-a
+ a := A()
+ a
-blob A {
- a: int
-}
+ blob A {
+ a: int
+ }
}
diff --git a/progs/tests/auto/calls_inside_calls.sy b/progs/tests/auto/calls_inside_calls.sy
index 578f418..5f6716b 100644
--- a/progs/tests/auto/calls_inside_calls.sy
+++ b/progs/tests/auto/calls_inside_calls.sy
@@ -1,11 +1,11 @@
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
+ 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
index 8f279e7..dc8ec72 100644
--- a/progs/tests/auto/cluster.sy
+++ b/progs/tests/auto/cluster.sy
@@ -1,14 +1,14 @@
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
+ 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
index c8c399b..e8f64ed 100644
--- a/progs/tests/auto/compare_constants_equality.sy
+++ b/progs/tests/auto/compare_constants_equality.sy
@@ -1,5 +1,5 @@
start :: fn {
-if 1 == 2 {
- <!>
- }
+ if 1 == 2 {
+ <!>
+ }
}
diff --git a/progs/tests/auto/compare_constants_unequality.sy b/progs/tests/auto/compare_constants_unequality.sy
index 8c115b4..21094da 100644
--- a/progs/tests/auto/compare_constants_unequality.sy
+++ b/progs/tests/auto/compare_constants_unequality.sy
@@ -1,5 +1,5 @@
start :: fn {
-if 1 != 1 {
- <!>
- }
+ if 1 != 1 {
+ <!>
+ }
}
diff --git a/progs/tests/auto/compare_variable.sy b/progs/tests/auto/compare_variable.sy
index 25d21f4..80fb4a4 100644
--- a/progs/tests/auto/compare_variable.sy
+++ b/progs/tests/auto/compare_variable.sy
@@ -1,9 +1,9 @@
start :: fn {
-a := 1
- if a == 0 {
- <!>
- }
- if a != 1 {
- <!>
- }
+ a := 1
+ if a == 0 {
+ <!>
+ }
+ if a != 1 {
+ <!>
+ }
}
diff --git a/progs/tests/auto/conflict_markers.sy b/progs/tests/auto/conflict_markers.sy
index 167a751..0760582 100644
--- a/progs/tests/auto/conflict_markers.sy
+++ b/progs/tests/auto/conflict_markers.sy
@@ -1,9 +1,9 @@
start :: fn {
<<<<<<< HEAD
-print extern_test(4.0)
+ print extern_test(4.0)
=======
-print extern_test(5.0)
+ print extern_test(5.0)
>>>>>>> 2
}
diff --git a/progs/tests/auto/constant_function.sy b/progs/tests/auto/constant_function.sy
index 2ec4019..22ddfe2 100644
--- a/progs/tests/auto/constant_function.sy
+++ b/progs/tests/auto/constant_function.sy
@@ -1,4 +1,4 @@
a :: fn {}
start :: fn {
- a()
+ a()
}
diff --git a/progs/tests/auto/constants_in_inner_functions.sy b/progs/tests/auto/constants_in_inner_functions.sy
index 3371393..99704e7 100644
--- a/progs/tests/auto/constants_in_inner_functions.sy
+++ b/progs/tests/auto/constants_in_inner_functions.sy
@@ -1,20 +1,20 @@
start :: fn {
-q : int = 0
+ q : int = 0
-f :: fn -> fn -> {
- g :: fn {
- q += 1
+ f :: fn -> fn -> {
+ g :: fn {
+ q += 1
+ }
+ ret g
}
- ret g
-}
-g := f()
-g()
-q <=> 1
-g()
-q <=> 2
-g()
-q <=> 3
+ 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
index 3073270..df3e7bb 100644
--- a/progs/tests/auto/div.sy
+++ b/progs/tests/auto/div.sy
@@ -1,5 +1,5 @@
start :: fn {
-a := 2
-a /= 2
-a <=> 1
+ a := 2
+ a /= 2
+ a <=> 1
}
diff --git a/progs/tests/auto/else_.sy b/progs/tests/auto/else_.sy
index 896aeb4..0f1d624 100644
--- a/progs/tests/auto/else_.sy
+++ b/progs/tests/auto/else_.sy
@@ -1,10 +1,10 @@
start :: fn {
-a := 1
- res := 0
- if a == 0 {
- <!>
- } else {
- res = 1
- }
- res <=> 1
+ 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
index 18b64f6..f31453e 100644
--- a/progs/tests/auto/else_if.sy
+++ b/progs/tests/auto/else_if.sy
@@ -1,12 +1,12 @@
start :: fn {
-a := 1
- res := 0
- if a == 0 {
- <!>
- } else if a == 1 {
- res = 1
- } else {
- <!>
- }
- res <=> 1
+ 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
index 0f6d6fc..99569e4 100644
--- a/progs/tests/auto/expressions.sy
+++ b/progs/tests/auto/expressions.sy
@@ -1,6 +1,6 @@
start :: fn {
-1 + 1 // blargh
- 2 // blargh
- // HARGH
+ 1 + 1 // blargh
+ 2 // blargh
+ // HARGH
}
diff --git a/progs/tests/auto/field.sy b/progs/tests/auto/field.sy
index c985297..b11e51e 100644
--- a/progs/tests/auto/field.sy
+++ b/progs/tests/auto/field.sy
@@ -1,3 +1,3 @@
start :: fn {
-blob A { a: int }
+ blob A { a: int }
}
diff --git a/progs/tests/auto/field_assign.sy b/progs/tests/auto/field_assign.sy
index 93837ea..4fb6dd4 100644
--- a/progs/tests/auto/field_assign.sy
+++ b/progs/tests/auto/field_assign.sy
@@ -1,5 +1,5 @@
start :: fn {
-blob A { a: int }
- a := A()
- a.a = 2
+ 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
index 0905f6f..49bb0f2 100644
--- a/progs/tests/auto/field_get.sy
+++ b/progs/tests/auto/field_get.sy
@@ -1,7 +1,7 @@
start :: fn {
-blob A { a: int }
- a := A()
- a.a = 2
- a.a <=> 2
- 2 <=> a.a
+ 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
index 60e4873..28ed276 100644
--- a/progs/tests/auto/in_rhs.sy
+++ b/progs/tests/auto/in_rhs.sy
@@ -1,3 +1,3 @@
start :: fn {
-5 <=> 1 * 2 + 3
+ 5 <=> 1 * 2 + 3
}
diff --git a/progs/tests/auto/instantiate.sy b/progs/tests/auto/instantiate.sy
index 7d32bf9..bb2f09c 100644
--- a/progs/tests/auto/instantiate.sy
+++ b/progs/tests/auto/instantiate.sy
@@ -1,5 +1,5 @@
start :: fn {
-blob A {}
- a := A()
- a
+ blob A {}
+ a := A()
+ a
}
diff --git a/progs/tests/auto/invalid_assign.sy b/progs/tests/auto/invalid_assign.sy
index a8b18f0..8ee47ab 100644
--- a/progs/tests/auto/invalid_assign.sy
+++ b/progs/tests/auto/invalid_assign.sy
@@ -1,7 +1,7 @@
start :: fn {
-a := 1
-a = 0.1
-a
+ 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
index 18d825e..c85403a 100644
--- a/progs/tests/auto/more_types.sy
+++ b/progs/tests/auto/more_types.sy
@@ -1,4 +1,4 @@
start :: fn {
-a: (str, bool, int) = ("abc", true, 1)
-a
+ a: (str, bool, int) = ("abc", true, 1)
+ a
}
diff --git a/progs/tests/auto/mul.sy b/progs/tests/auto/mul.sy
index 78cc14e..4b33314 100644
--- a/progs/tests/auto/mul.sy
+++ b/progs/tests/auto/mul.sy
@@ -1,3 +1,3 @@
start :: fn {
-(0, 1, 2) * (2, 3, 4) <=> (0, 3, 8)
+ (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
index 2a4b3c0..ce4c61f 100644
--- a/progs/tests/auto/multiple_fields.sy
+++ b/progs/tests/auto/multiple_fields.sy
@@ -1,11 +1,11 @@
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
+ 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
index 8abc000..6cb5e1a 100644
--- a/progs/tests/auto/multiple_returns.sy
+++ b/progs/tests/auto/multiple_returns.sy
@@ -1,12 +1,12 @@
start :: fn {
-f := fn a: int -> int {
- if a == 1 {
- ret 2
- } else {
- ret 3
- }
- }
- f(0) <=> 3
- f(1) <=> 2
- f(2) <=> 3
+ 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
index 41388d8..0c702aa 100644
--- a/progs/tests/auto/negation.sy
+++ b/progs/tests/auto/negation.sy
@@ -1,7 +1,7 @@
start :: fn {
--1 <=> 0 - 1
- -1 + 2 <=> 1
- -(1 + 2) <=> -3
- 1 + -1 <=> 0
- 2 * -1 <=> -2
+ -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
index 712690a..02dd81d 100644
--- a/progs/tests/auto/not.sy
+++ b/progs/tests/auto/not.sy
@@ -1,5 +1,5 @@
start :: fn {
-f := fn {}
- f!
+ f := fn {}
+ f!
}
diff --git a/progs/tests/auto/one_arg.sy b/progs/tests/auto/one_arg.sy
index 9523a67..e7dee83 100644
--- a/progs/tests/auto/one_arg.sy
+++ b/progs/tests/auto/one_arg.sy
@@ -1,5 +1,5 @@
start :: fn {
-f := fn a:int { a <=> 1 }
- f! 1
+ f := fn a:int { a <=> 1 }
+ f! 1
}
diff --git a/progs/tests/auto/param_1.sy b/progs/tests/auto/param_1.sy
index 1781eaf..c96089e 100644
--- a/progs/tests/auto/param_1.sy
+++ b/progs/tests/auto/param_1.sy
@@ -1,4 +1,4 @@
start :: fn {
-f := fn a: int {}
- f(1)
+ f := fn a: int {}
+ f(1)
}
diff --git a/progs/tests/auto/param_2.sy b/progs/tests/auto/param_2.sy
index ac5fdfd..1915c42 100644
--- a/progs/tests/auto/param_2.sy
+++ b/progs/tests/auto/param_2.sy
@@ -1,7 +1,7 @@
start :: fn {
-add := fn a: int, b: int -> int {
- ret a + b
- }
- add(1, 1) <=> 2
- add(10, 20) <=> 30
+ 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
index 7e39775..2752fcc 100644
--- a/progs/tests/auto/param_and_return.sy
+++ b/progs/tests/auto/param_and_return.sy
@@ -1,7 +1,7 @@
start :: fn {
-f := fn a: int -> int {
- ret a * 2
- }
- f(1) <=> 2
- f(5) <=> 10
+ 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
index b456769..dd6fe8a 100644
--- a/progs/tests/auto/parenthesis.sy
+++ b/progs/tests/auto/parenthesis.sy
@@ -1,3 +1,3 @@
start :: fn {
-(1 + 2) * 3 <=> 9
+ (1 + 2) * 3 <=> 9
}
diff --git a/progs/tests/auto/passing_functions.sy b/progs/tests/auto/passing_functions.sy
index d1ff70e..e09a125 100644
--- a/progs/tests/auto/passing_functions.sy
+++ b/progs/tests/auto/passing_functions.sy
@@ -1,9 +1,9 @@
start :: fn {
-g := fn -> int {
- ret 1
- }
- f := fn inner: fn -> int -> int {
- ret inner()
- }
- f(g) <=> 1
+ 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
index 292e7ce..b08128e 100644
--- a/progs/tests/auto/passing_functions_mixed.sy
+++ b/progs/tests/auto/passing_functions_mixed.sy
@@ -1,9 +1,9 @@
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
+ 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
index 0aee658..ae08e05 100644
--- a/progs/tests/auto/precedence.sy
+++ b/progs/tests/auto/precedence.sy
@@ -1,8 +1,8 @@
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
+ 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
index 993f9fd..533208f 100644
--- a/progs/tests/auto/return_1.sy
+++ b/progs/tests/auto/return_1.sy
@@ -1,6 +1,6 @@
start :: fn {
-f := fn -> int {
- ret 1
- }
- f() <=> 1
+ f := fn -> int {
+ ret 1
+ }
+ f() <=> 1
}
diff --git a/progs/tests/auto/returning_closures.sy b/progs/tests/auto/returning_closures.sy
index 1c4c091..4d69d5a 100644
--- a/progs/tests/auto/returning_closures.sy
+++ b/progs/tests/auto/returning_closures.sy
@@ -1,24 +1,24 @@
start :: fn {
-f : fn -> fn -> int = fn -> fn -> int {
- x : int = 0
- f := fn -> int {
- x = x + 1
- ret x
+ f : fn -> fn -> int = fn -> fn -> int {
+ x : int = 0
+ f := fn -> int {
+ x = x + 1
+ ret x
+ }
+ f() <=> 1
+ ret f
}
- f() <=> 1
- ret f
-}
-a := f()
-b := f()
+ a := f()
+ b := f()
-a() <=> 2
-a() <=> 3
+ a() <=> 2
+ a() <=> 3
-b() <=> 2
-b() <=> 3
+ b() <=> 2
+ b() <=> 3
-a() <=> 4
+ a() <=> 4
}
diff --git a/progs/tests/auto/simple.sy b/progs/tests/auto/simple.sy
index 436dcae..99bf586 100644
--- a/progs/tests/auto/simple.sy
+++ b/progs/tests/auto/simple.sy
@@ -1,10 +1,10 @@
start :: fn {
-a :: 1
-a <=> 1
-b := 2
-{
+ a :: 1
a <=> 1
- b <=> 2
-}
+ b := 2
+ {
+ a <=> 1
+ b <=> 2
+ }
}
diff --git a/progs/tests/auto/simple_add.sy b/progs/tests/auto/simple_add.sy
index f1952d3..7be4012 100644
--- a/progs/tests/auto/simple_add.sy
+++ b/progs/tests/auto/simple_add.sy
@@ -1,9 +1,9 @@
start :: fn {
-a := 0
-b := 99999
-a += 1
-a <=> 1
-b <=> 99999
+ 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
index 11c06ad..6f2e5b6 100644
--- a/progs/tests/auto/simple_break.sy
+++ b/progs/tests/auto/simple_break.sy
@@ -1,12 +1,12 @@
start :: fn {
-a := 0
-for i := 0, i < 10, i += 1 {
- a = a + 1
- if i == 2 {
- break
+ a := 0
+ for i := 0, i < 10, i += 1 {
+ a = a + 1
+ if i == 2 {
+ break
+ }
}
-}
-a <=> 3
+ a <=> 3
}
diff --git a/progs/tests/auto/simple_continue.sy b/progs/tests/auto/simple_continue.sy
index ac2bf81..3e26e6c 100644
--- a/progs/tests/auto/simple_continue.sy
+++ b/progs/tests/auto/simple_continue.sy
@@ -1,12 +1,12 @@
start :: fn {
-a := 0
-for i := 0, i < 4, i += 1 {
- if i == 2 {
- continue
+ a := 0
+ for i := 0, i < 4, i += 1 {
+ if i == 2 {
+ continue
+ }
+ a = a + 1
}
- a = a + 1
-}
-a <=> 3
+ a <=> 3
}
diff --git a/progs/tests/auto/simple_sub.sy b/progs/tests/auto/simple_sub.sy
index 5dad340..c220b8f 100644
--- a/progs/tests/auto/simple_sub.sy
+++ b/progs/tests/auto/simple_sub.sy
@@ -1,9 +1,9 @@
start :: fn {
-a := 0
-b := 99999
-a -= 1
-a <=> -1
-b <=> 99999
+ a := 0
+ b := 99999
+ a -= 1
+ a <=> -1
+ b <=> 99999
}
diff --git a/progs/tests/auto/simplest.sy b/progs/tests/auto/simplest.sy
index 5669dc0..14a6534 100644
--- a/progs/tests/auto/simplest.sy
+++ b/progs/tests/auto/simplest.sy
@@ -1,4 +1,4 @@
start :: fn {
-f := fn {}
- f()
+ f := fn {}
+ f()
}
diff --git a/progs/tests/auto/single_variable.sy b/progs/tests/auto/single_variable.sy
index 00217d2..ce4c2ad 100644
--- a/progs/tests/auto/single_variable.sy
+++ b/progs/tests/auto/single_variable.sy
@@ -1,4 +1,4 @@
start :: fn {
-a := 1
- a <=> 1
+ a := 1
+ a <=> 1
}
diff --git a/progs/tests/auto/stack_ordering.sy b/progs/tests/auto/stack_ordering.sy
index 85a36bd..f13e5cf 100644
--- a/progs/tests/auto/stack_ordering.sy
+++ b/progs/tests/auto/stack_ordering.sy
@@ -1,6 +1,6 @@
start :: fn {
-a := 1
- b := 2
- b <=> 2
- a <=> 1
+ a := 1
+ b := 2
+ b <=> 2
+ a <=> 1
}
diff --git a/progs/tests/auto/strange.sy b/progs/tests/auto/strange.sy
index c495041..b6aad0f 100644
--- a/progs/tests/auto/strange.sy
+++ b/progs/tests/auto/strange.sy
@@ -1,15 +1,15 @@
start :: fn {
-a := 0
-{
- b := 99999
+ a := 0
{
- a := 99999
- a
+ b := 99999
+ {
+ a := 99999
+ a
+ }
+ b
+ a -= 1
}
- b
- a -= 1
-}
-a <=> -1
+ a <=> -1
}
diff --git a/progs/tests/auto/sub.sy b/progs/tests/auto/sub.sy
index 755ae67..e5d60f2 100644
--- a/progs/tests/auto/sub.sy
+++ b/progs/tests/auto/sub.sy
@@ -1,3 +1,3 @@
start :: fn {
-(1, -2, 3, -4) - (4, 3, -2, -1) <=> (-3, 1, 1, -5)
+ (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
index 1fef724..42a48e2 100644
--- a/progs/tests/auto/terms_and_factors.sy
+++ b/progs/tests/auto/terms_and_factors.sy
@@ -1,4 +1,4 @@
start :: fn {
-1 + 1 * 2 <=> 3
- 1 * 2 + 3 <=> 5
+ 1 + 1 * 2 <=> 3
+ 1 * 2 + 3 <=> 5
}
diff --git a/progs/tests/auto/three_arg.sy b/progs/tests/auto/three_arg.sy
index d948fa0..56eb634 100644
--- a/progs/tests/auto/three_arg.sy
+++ b/progs/tests/auto/three_arg.sy
@@ -1,5 +1,5 @@
start :: fn {
-f := fn a:int, b:int, c:int { c <=> 13 }
- f! 1, 1 + 2, 1 + 4 * 3
+ 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
index 60645b5..09ea1f7 100644
--- a/progs/tests/auto/two_arg.sy
+++ b/progs/tests/auto/two_arg.sy
@@ -1,5 +1,5 @@
start :: fn {
-f := fn a:int, b:int { b <=> 3 }
- f! 1, 1 + 2
+ 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
index 9ae183f..93329e3 100644
--- a/progs/tests/auto/two_variables.sy
+++ b/progs/tests/auto/two_variables.sy
@@ -1,6 +1,6 @@
start :: fn {
-a := 1
- b := 2
- a <=> 1
- b <=> 2
+ a := 1
+ b := 2
+ a <=> 1
+ b <=> 2
}
diff --git a/progs/tests/auto/types.sy b/progs/tests/auto/types.sy
index c045b34..bdcdfa4 100644
--- a/progs/tests/auto/types.sy
+++ b/progs/tests/auto/types.sy
@@ -1,4 +1,4 @@
start :: fn {
-a: (int, float, int) = (1, 1., 1)
-a
+ a: (int, float, int) = (1, 1., 1)
+ a
}
diff --git a/progs/tests/auto/uncallable_type.sy b/progs/tests/auto/uncallable_type.sy
index 06ff71a..dbe6e81 100644
--- a/progs/tests/auto/uncallable_type.sy
+++ b/progs/tests/auto/uncallable_type.sy
@@ -1,9 +1,8 @@
start :: fn {
-
- f := fn i: int {
- i()
- }
- f
+ 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
index 6b56e90..e49e89b 100644
--- a/progs/tests/auto/wrong_params.sy
+++ b/progs/tests/auto/wrong_params.sy
@@ -1,7 +1,7 @@
start :: fn {
- f : fn -> int = fn a: int -> int {}
-f
+ 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
index 81f2517..6c4a9a5 100644
--- a/progs/tests/auto/wrong_ret.sy
+++ b/progs/tests/auto/wrong_ret.sy
@@ -1,7 +1,7 @@
start :: fn {
- f : fn -> int = fn {}
-f
+ f : fn -> int = fn {}
+ f
}
// errors: [ErrorKind::TypeMismatch(_, _)]