Test every book test case

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

diff --git a/compiler/testcases/test31.tig b/compiler/testcases/test31.tig
new file mode 100644 (file)
index 0000000..47d9449
--- /dev/null
+++ b/compiler/testcases/test31.tig
@@ -0,0 +1,6 @@
+/* error : type constraint and init value differ */
+let 
+       var a:int := " "
+in
+       a
+end