From: Siraaj Khandkar Date: Sat, 15 Sep 2018 18:13:35 +0000 (-0400) Subject: Don't use long code as test name X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=6d83a0545c204cf46413799836f7343faabb716e;p=tiger.ml.git Don't use long code as test name --- 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)