tiger-compiler/tests/good/mutually-recursive-procedures.tig


1
2
3
4
5
6
7
8
9
10
11
12

/* define valid mutually recursive procedures */
let

function do_nothing1(a : int, b : string)=
                do_nothing2(a+1)

function do_nothing2(d : int) =
                if d < 10 then do_nothing1(d, "str")

in
        do_nothing1(0, "str2")
end