convert tests to files

1 files changed, 9 insertions, 0 deletions

diff --git a/progs/tests/auto/passing_functions_mixed.sy b/progs/tests/auto/passing_functions_mixed.sy
new file mode 100644
index 0000000..292e7ce
--- /dev/null
+++ b/progs/tests/auto/passing_functions_mixed.sy
@@ -0,0 +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
+}