Test every book test case

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

diff --git a/compiler/testcases/test17.tig b/compiler/testcases/test17.tig
new file mode 100644 (file)
index 0000000..5ba01b8
--- /dev/null
+++ b/compiler/testcases/test17.tig
@@ -0,0 +1,10 @@
+/* error: definition of recursive types is interrupted */
+let
+/* define a tree */
+type tree ={key: int, children: treelist}
+var d:int :=0
+type treelist = {hd: tree, tl: treelist}
+
+in
+       d
+end