samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Add a test for a large mutual recursion

Browse source
This commit is contained in:
Sam Vervaeck 2023-08-10 13:16:24 +02:00
parent 935420d418
commit b08bdbc6f7
Signed by: samvv
SSH key fingerprint: SHA256:dIg0ywU1OP+ZYifrYxy8c5esO72cIKB+4/9wkZj1VaY
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
test/checker/forward_recursion.bolt Normal file
View file

@ -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