diff options
Diffstat (limited to 'tiger-compiler/tests/bind/test18.tig')
| -rw-r--r-- | tiger-compiler/tests/bind/test18.tig | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tiger-compiler/tests/bind/test18.tig b/tiger-compiler/tests/bind/test18.tig new file mode 100644 index 0000000..7592df5 --- /dev/null +++ b/tiger-compiler/tests/bind/test18.tig @@ -0,0 +1,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 + |