X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases.ml;h=81690838a73a4cf472b5bb2a3fbf9860db2f2fd8;hb=d5517328dcf93c5bd74f1895262e47b70d2e4313;hp=3ca7bf7aaf8a306d58724f0fed60ffd3704c892d;hpb=38ffcb1fc99ecb7a48097cbcf97b9a3062c8bfa0;p=tiger.ml.git diff --git a/compiler/src/lib/tiger/tiger_test_cases.ml b/compiler/src/lib/tiger/tiger_test_cases.ml index 3ca7bf7..8169083 100644 --- a/compiler/src/lib/tiger/tiger_test_cases.ml +++ b/compiler/src/lib/tiger/tiger_test_cases.ml @@ -83,11 +83,21 @@ let micro = " in Test.case - code + "Incompatible records" ~code (* TODO: Be more specific *) ~is_error_expected_semant:(Some Error.is_wrong_type) ) + ; ( Test.case + "Recursive type def: int list" + ~code:"\ + let \n\ + type intlist = {hd: int, tl: intlist} \n\ + var lst : intlist := intlist {hd=0, tl = nil} \n\ + in \n\ + lst \n\ + end" + ) ] let book ~dir =