tiger-compiler/tests/bind/test18.tig


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

/* error : definition of recursive functions is interrupted */
let

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

var d :=0

function do_nothing2(d : int) : string =
                 (do_nothing1 (d, "str");" ")

in
        do_nothing1(0, "str2")
end