From 6fd720c07e3e361932e01bfbdbe4637c8f610649 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sun, 4 Feb 2024 10:37:04 +0100 Subject: Added a general context for each test --- test/make_checkTest.ml | 3 ++- test/syntax.ml | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) (limited to 'test') diff --git a/test/make_checkTest.ml b/test/make_checkTest.ml index 2066c22..d428b45 100644 --- a/test/make_checkTest.ml +++ b/test/make_checkTest.ml @@ -26,7 +26,8 @@ module M (Check : Qsp_syntax.S.Analyzer) = struct let lexing = Sedlexing.Latin1.from_string content |> Qparser.Lexbuf.from_lexbuf in - Qparser.Analyzer.parse (module Check) lexing + let context = Check.initialize () in + Qparser.Analyzer.parse (module Check) lexing context let get_report : (Check.Location.t * Qsp_syntax.Report.t list, Qsp_syntax.Report.t) result -> diff --git a/test/syntax.ml b/test/syntax.ml index 47f1a25..87fe2ab 100644 --- a/test/syntax.ml +++ b/test/syntax.ml @@ -27,7 +27,8 @@ let parse : string -> (S.pos location, Qsp_syntax.Report.t) result = let lexing = Sedlexing.Latin1.from_string content |> Qparser.Lexbuf.from_lexbuf in - Qparser.Analyzer.parse (module Parser) lexing + let context = Parser.initialize () in + Qparser.Analyzer.parse (module Parser) lexing context |> Result.map (fun (location, _report) -> (* Uncatched excteptions here, but we are in the tests… If it’s fail here I have an error in the code. *) -- cgit v1.2.3