From 354b4e338f5b8de825232ab82cdb7c61770e41a8 Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Sun, 16 Sep 2018 19:49:07 -0400 Subject: [PATCH] Expect some of the type errors in book tests --- compiler/src/lib/tiger/tiger_test_cases_book.ml | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/compiler/src/lib/tiger/tiger_test_cases_book.ml b/compiler/src/lib/tiger/tiger_test_cases_book.ml index 3cad92b..289d747 100644 --- a/compiler/src/lib/tiger/tiger_test_cases_book.ml +++ b/compiler/src/lib/tiger/tiger_test_cases_book.ml @@ -91,9 +91,22 @@ let is_error_expected_parsing_of_filename = (* TODO: Fill-in other expected cases *) None +(* TODO test21.tig - error : procedure returns value and procedure is used in arexpr *) +(* TODO test22.tig - No_such_field_in_record *) +(* TODO test24.tig - Exp_not_an_array *) +(* TODO test25.tig - Exp_not_a_record *) + let is_error_expected_semant_of_filename = let module E = Tiger_error in function + | "test09.tig" + | "test23.tig" + | "test26.tig" + | "test28.tig" + | "test29.tig" + | "test31.tig" + | "test32.tig" + | "test34.tig" | "test43.tig" -> Some Error.is_wrong_type (* TODO: Be more specific - what expected, what given? *) -- 2.20.1