diff options
Diffstat (limited to 'tiger-compiler/tests/type/types-endless-recursion.tig')
| -rw-r--r-- | tiger-compiler/tests/type/types-endless-recursion.tig | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tiger-compiler/tests/type/types-endless-recursion.tig b/tiger-compiler/tests/type/types-endless-recursion.tig new file mode 100644 index 0000000..ab51a94 --- /dev/null +++ b/tiger-compiler/tests/type/types-endless-recursion.tig @@ -0,0 +1,11 @@ +/* error : mutually recursive types that do not pass through record or array */ +let + +type a=c +type b=a +type c=d +type d=a + +in + "" +end |