bolt/test/checker/forward_recursion.bolt

6 lines
98 B
Text

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