X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases_book.ml;h=98e83830cab46991b4113801b6518488980b8b23;hb=c09092a90642142756c6d9aafb553fd3dd4d11a6;hp=1ef024de31703ee44e9db7040f8192900963d09a;hpb=38ffcb1fc99ecb7a48097cbcf97b9a3062c8bfa0;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 1ef024d..98e8383 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 =
@@ -80,9 +81,44 @@ 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 Error.is_invalid_syntax
+      (* TODO: Be more specific - test position *)
+  | _ ->
+    (* 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
+  | "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"
+  | "test29.tig"
+  | "test31.tig"
+  | "test32.tig"
+  | "test34.tig"
+  | "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,10 +126,24 @@ 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 is_filename_starts_with_dot filename =
+  match filename.[0] with
+  | exception Invalid_argument _ ->
+      (* Filename should not be an empty string *)
+      assert false
+  | '.' -> true
+  | _   -> false
+
+let is_filename_not_hidden filename =
+  not (is_filename_starts_with_dot filename)
+
 let read ~from_dir:dir =
   Sys.readdir dir
   |> Array.to_list
+  |> List.filter ~f:is_filename_not_hidden
+  |> List.filter ~f:(fun filename -> Filename.check_suffix filename ".tig")
   |> List.sort ~cmp:compare
   |> List.map ~f:(test_case_of_filename ~dir)