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=25e004d53a12bf9227d514e210832f8039c19b0b;hp=1ef024de31703ee44e9db7040f8192900963d09a;hb=890378947d20b74a3cdd695f011a7fa1352fa5af;hpb=b53d50d3d7395376979b6fb90863901b5dd69cfe diff --git a/compiler/src/lib/tiger/tiger_test_cases_book.ml b/compiler/src/lib/tiger/tiger_test_cases_book.ml index 1ef024d..25e004d 100644 --- a/compiler/src/lib/tiger/tiger_test_cases_book.ml +++ b/compiler/src/lib/tiger/tiger_test_cases_book.ml @@ -80,6 +80,16 @@ let out_parsing_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 _ = (* TODO: Fill-in expected cases *) None @@ -90,6 +100,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 =