test recursion

+ Not executable, but parsing and type checking seems to work

1 files changed, 20 insertions, 0 deletions

diff --git a/tests/fib.ek b/tests/fib.ek
new file mode 100644
index 0000000..a9cc5fb
--- /dev/null
+++ b/tests/fib.ek
@@ -0,0 +1,20 @@
+typedef bool {}
+typedef i27 {}
+typedef i9 {}
+
+extern _putchar(i9 c);
+
+fib(i27 n => i27)
+{
+	if n < 2 {
+		return 1;
+	}
+
+	return fib(n - 1) + fib(n - 2);
+}
+
+main()
+{
+	_putchar('0' + fib(35) as i9);
+	_putchar('\n');
+}