X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases_book.ml;h=3911f53d06c5c1cd605c1742fbf96f83bbae4ab0;hb=789ef466bebb54a589039a8100147a11ea6f9719;hp=289d74766be623afcefb2e933774c400b9c5e5a1;hpb=354b4e338f5b8de825232ab82cdb7c61770e41a8;p=tiger.ml.git

diff --git a/compiler/src/lib/tiger/tiger_test_cases_book.ml b/compiler/src/lib/tiger/tiger_test_cases_book.ml
index 289d747..3911f53 100644
--- a/compiler/src/lib/tiger/tiger_test_cases_book.ml
+++ b/compiler/src/lib/tiger/tiger_test_cases_book.ml
@@ -85,7 +85,7 @@ let is_error_expected_parsing_of_filename =
   let module E = Tiger_error in
   function
   | "test49.tig" ->
-      Some (function E.Invalid_syntax _ -> true | _ -> false)
+      Some Error.is_invalid_syntax
       (* TODO: Be more specific - test position *)
   | _ ->
     (* TODO: Fill-in other expected cases *)
@@ -99,7 +99,13 @@ let is_error_expected_parsing_of_filename =
 let is_error_expected_semant_of_filename =
   let module E = Tiger_error in
   function
+  | "test17.tig" ->
+      Some Error.is_unknown_type
+      (* TODO: Be more specific - which type? *)
   | "test09.tig"
+  | "test11.tig"
+  | "test13.tig"
+  | "test14.tig"
   | "test23.tig"
   | "test26.tig"
   | "test28.tig"