From b08bdbc6f7d007e7a46a6cb39f2ff571c5806bca Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Thu, 10 Aug 2023 13:16:24 +0200
Subject: [PATCH] Add a test for a large mutual recursion

---
 test/checker/forward_recursion.bolt | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 test/checker/forward_recursion.bolt

diff --git a/test/checker/forward_recursion.bolt b/test/checker/forward_recursion.bolt
new file mode 100644
index 000000000..f1712d503
--- /dev/null
+++ b/test/checker/forward_recursion.bolt
@@ -0,0 +1,6 @@
+
+let foo n = @:Int foo_1 n
+let foo_1 n = @:Int foo_2 n
+let foo_2 n = foo n + foo_1 n
+
+@:Int foo 1