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