Test every book test case

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

diff --git a/compiler/testcases/test28.tig b/compiler/testcases/test28.tig
new file mode 100644 (file)
index 0000000..61db8cb
--- /dev/null
+++ b/compiler/testcases/test28.tig
@@ -0,0 +1,10 @@
+/* error : different record types */
+
+let
+       type rectype1 = {name:string , id:int}
+       type rectype2 = {name:string , id:int}
+
+       var rec1: rectype1 := rectype2 {name="Name", id=0}
+in
+       rec1
+end