Test every book test case

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

diff --git a/compiler/testcases/test23.tig b/compiler/testcases/test23.tig
new file mode 100644 (file)
index 0000000..e501c2a
--- /dev/null
+++ b/compiler/testcases/test23.tig
@@ -0,0 +1,9 @@
+/* error : type mismatch */
+
+let 
+       type rectype = {name:string , id:int}
+       var rec1 := rectype {name="aname", id=0}
+in
+       rec1.name := 3;
+       rec1.id := "" 
+end