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=3cad92bc50a316d82375dd767c0bd56b59cfbda4;hp=25e004d53a12bf9227d514e210832f8039c19b0b;hb=c0b10ff1a1cf0abcc1cd2f7e5aa255f1edc620c9;hpb=cbb4ffb6428f52eaea42f6039332af0c392cdd0f

diff --git a/compiler/src/lib/tiger/tiger_test_cases_book.ml b/compiler/src/lib/tiger/tiger_test_cases_book.ml
index 25e004d..3cad92b 100644
--- a/compiler/src/lib/tiger/tiger_test_cases_book.ml
+++ b/compiler/src/lib/tiger/tiger_test_cases_book.ml
@@ -1,5 +1,6 @@
 module List = ListLabels
 
+module Error = Tiger_error
 module Test = Tiger_test
 
 let read_file filepath =
@@ -90,9 +91,15 @@ let is_error_expected_parsing_of_filename =
     (* TODO: Fill-in other expected cases *)
     None
 
-let is_error_expected_semant_of_filename _ =
-  (* TODO: Fill-in expected cases *)
-  None
+let is_error_expected_semant_of_filename =
+  let module E = Tiger_error in
+  function
+  | "test43.tig" ->
+      Some Error.is_wrong_type
+      (* TODO: Be more specific - what expected, what given? *)
+  | _ ->
+    (* TODO: Fill-in other expected cases *)
+    None
 
 let test_case_of_filename filename ~dir =
   Test.case