Test every book test case

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

diff --git a/compiler/testcases/test45.tig b/compiler/testcases/test45.tig
new file mode 100644 (file)
index 0000000..21f9555
--- /dev/null
+++ b/compiler/testcases/test45.tig
@@ -0,0 +1,8 @@
+/* error: initializing nil expressions not constrained by record type */
+let 
+       type rectype = {name:string, id:int}
+
+       var a:= nil
+in
+       a
+end