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