Test every book test case

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

diff --git a/compiler/testcases/test30.tig b/compiler/testcases/test30.tig
new file mode 100644 (file)
index 0000000..fa5c96b
--- /dev/null
+++ b/compiler/testcases/test30.tig
@@ -0,0 +1,10 @@
+/* synonyms are fine */
+
+let 
+               type a = array of int
+               type b = a
+
+               var arr1:a := b [10] of 0
+in
+               arr1[2]
+end