Commit | Line | Data |
---|---|---|
38ffcb1f SK |
1 | /* error : definition of recursive functions is interrupted */ |
2 | let | |
3 | ||
4 | function do_nothing1(a: int, b: string):int= | |
5 | (do_nothing2(a+1);0) | |
6 | ||
7 | var d:=0 | |
8 | ||
9 | function do_nothing2(d: int):string = | |
10 | (do_nothing1(d, "str");" ") | |
11 | ||
12 | in | |
13 | do_nothing1(0, "str2") | |
14 | end | |
15 |