Test every book test case

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

diff --git a/compiler/testcases/test29.tig b/compiler/testcases/test29.tig
new file mode 100644 (file)
index 0000000..9692eb4
--- /dev/null
+++ b/compiler/testcases/test29.tig
@@ -0,0 +1,10 @@
+/* error : different array types */
+
+let
+       type arrtype1 = array of int
+       type arrtype2 = array of int
+
+       var arr1: arrtype1 := arrtype2 [10] of 0
+in
+       arr1
+end