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