Expect type error in test43.tig

[tiger.ml.git] / compiler / src / lib / tiger / tiger_test_cases_book.ml

diff --git a/compiler/src/lib/tiger/tiger_test_cases_book.ml b/compiler/src/lib/tiger/tiger_test_cases_book.ml
index 1ef024d..3cad92b 100644 (file)
--- 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 =
@@ -80,9 +81,25 @@ let out_parsing_of_filename _ =
   (* TODO: Fill-in expected cases *)
   None
 
-let is_error_expected_semant_of_filename _ =
-  (* TODO: Fill-in expected cases *)
-  None
+let is_error_expected_parsing_of_filename =
+  let module E = Tiger_error in
+  function
+  | "test49.tig" ->
+      Some (function E.Invalid_syntax _ -> true | _ -> false)
+      (* TODO: Be more specific - test position *)
+  | _ ->
+    (* TODO: Fill-in other 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
@@ -90,6 +107,7 @@ let test_case_of_filename filename ~dir =
     ~code:(read_file (Filename.concat dir filename))
     ~out_lexing:(out_lexing_of_filename filename)
     ~out_parsing:(out_parsing_of_filename filename)
+    ~is_error_expected_parsing:(is_error_expected_parsing_of_filename filename)
     ~is_error_expected_semant:(is_error_expected_semant_of_filename filename)
 
 let read ~from_dir:dir =