Example of mutual recursion

noir-lang · Oct 16, 2024 · 6cd6c11 · 6cd6c11
1 parent 5e3e8d7
commit 6cd6c11
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/compiler/noirc_frontend/src/tests.rs b/compiler/noirc_frontend/src/tests.rs
@@ -3470,6 +3470,18 @@ fn unconditional_recursion_pass() {
             if i == 0 { 0 } else { i + main(i-1) }
         }
         "#,
+        // Only immediate self-recursion is detected.
+        r#"
+        fn main() {
+            foo();
+        }
+        fn foo() {
+            bar();
+        }
+        fn bar() {
+            foo();
+        }
+        "#,
     ];
 
     for src in srcs {