X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases.ml;h=45a4e1d426e535746373fbd094d6c754aaa8bbec;hp=3ca7bf7aaf8a306d58724f0fed60ffd3704c892d;hb=6d83a0545c204cf46413799836f7343faabb716e;hpb=188ac95004d45d6cd6eda1a613d3537693ccba14 diff --git a/compiler/src/lib/tiger/tiger_test_cases.ml b/compiler/src/lib/tiger/tiger_test_cases.ml index 3ca7bf7..45a4e1d 100644 --- a/compiler/src/lib/tiger/tiger_test_cases.ml +++ b/compiler/src/lib/tiger/tiger_test_cases.ml @@ -83,7 +83,7 @@ let micro = " in Test.case - code + "Incompatible records" ~code (* TODO: Be more specific *) ~is_error_expected_semant:(Some Error.is_wrong_type)