module List = ListLabels
+module Error = Tiger_error
module Test = Tiger_test
let read_file filepath =
(* 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 *)
+
+let is_error_expected_semant_of_filename =
+ let module E = Tiger_error in
+ function
+ | "test16.tig" ->
+ Some Error.is_cycle_in_type_dec
+ (* TODO: Be more specific - between which decs? *)
+ | "test17.tig"
+ | "test33.tig" ->
+ Some Error.is_unknown_type
+ (* TODO: Be more specific - which type? *)
+ | "test18.tig"
+ | "test19.tig"
+ | "test20.tig" ->
+ Some Error.is_unknown_id
+ (* TODO: Be more specific - the unknown id is "i" *)
+ | "test22.tig" ->
+ Some Error.is_no_such_field_in_record
+ (* TODO: Be more specific - which field? *)
+ | "test24.tig" ->
+ Some Error.is_not_an_array
+ (* TODO: Be more specific *)
+ | "test25.tig" ->
+ Some Error.is_not_a_record
+ (* TODO: Be more specific *)
+ | "test35.tig"
+ | "test36.tig" ->
+ Some Error.is_wrong_number_of_args
+ (* TODO: Be more specific - how many expected, how many given? *)
+ | "test09.tig"
+ | "test11.tig"
+ | "test13.tig"
+ | "test14.tig"
+ | "test21.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? Where? *)
+ | _ ->
+ (* TODO: Fill-in other expected cases *)
+ None
let test_case_of_filename filename ~dir =
Test.case
~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)