X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test.ml;h=1a27cf2916e56621d34e8e87a61bc526cde3d855;hp=47939dfc2f3c1dbbc685bd37f734c9ba2e6c0b7f;hb=890378947d20b74a3cdd695f011a7fa1352fa5af;hpb=b53d50d3d7395376979b6fb90863901b5dd69cfe diff --git a/compiler/src/lib/tiger/tiger_test.ml b/compiler/src/lib/tiger/tiger_test.ml index 47939df..1a27cf2 100644 --- a/compiler/src/lib/tiger/tiger_test.ml +++ b/compiler/src/lib/tiger/tiger_test.ml @@ -46,6 +46,7 @@ type t = ; code : string ; out_lexing : (Tiger_parser.token list) option ; out_parsing : Tiger_absyn.t option + ; is_error_expected_parsing : (Tiger_error.t -> bool) option ; is_error_expected_semant : (Tiger_error.t -> bool) option } @@ -120,6 +121,7 @@ let status_skip ?(info="") () = let case ?(out_lexing=None) ?(out_parsing=None) + ?(is_error_expected_parsing=None) ?(is_error_expected_semant=None) ~code name @@ -128,6 +130,7 @@ let case ; code ; out_lexing ; out_parsing + ; is_error_expected_parsing ; is_error_expected_semant } @@ -291,6 +294,7 @@ let run tests = ; code ; out_lexing ; out_parsing + ; is_error_expected_parsing ; is_error_expected_semant } -> @@ -305,7 +309,7 @@ let run tests = run_pass ~f:(fun () -> pass_parsing ~fake_filename:name ~code) ~expect_output:out_parsing - ~is_error_expected:None + ~is_error_expected:is_error_expected_parsing in let res_sem = run_pass