X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases_book.ml;h=5cae186290778ba7851473362335414c9c7eb91b;hb=f7fa9b32b236443fa0d2cf83fbb617081664b81b;hp=92ad429557f8bbbfc207cb4c833b286b86b9d58f;hpb=80c3c410b1bdc70e7c13a76c77717c509353bb96;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 92ad429..5cae186 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 *) @@ -129,8 +129,20 @@ let test_case_of_filename filename ~dir = ~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.sort ~cmp:compare |> List.map ~f:(test_case_of_filename ~dir)