Test every book test case

[tiger.ml.git] / compiler / testcases / test38.tig

diff --git a/compiler/testcases/test38.tig b/compiler/testcases/test38.tig
new file mode 100644 (file)
index 0000000..66843c9
--- /dev/null
+++ b/compiler/testcases/test38.tig
@@ -0,0 +1,9 @@
+/* This is illegal, since there are two types with the same name
+    in the same (consecutive) batch of mutually recursive types. 
+    See also test47  */
+let
+       type a = int
+       type a = string
+in
+       0
+end