X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases_book.ml;h=289d74766be623afcefb2e933774c400b9c5e5a1;hp=3cad92bc50a316d82375dd767c0bd56b59cfbda4;hb=354b4e338f5b8de825232ab82cdb7c61770e41a8;hpb=5064180424a02cd59491bc87a43175fbf04d147c 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? *)