Updated the tests

1 files changed, 47 insertions, 0 deletions

diff --git a/test/make_checkTest.ml b/test/make_checkTest.ml
new file mode 100644
index 0000000..308d309
--- /dev/null
+++ b/test/make_checkTest.ml
@@ -0,0 +1,47 @@
+let _position = (Lexing.dummy_pos, Lexing.dummy_pos)
+
+(** Build a parser for a specific check module *)
+module M (Check : Qsp_syntax.S.Analyzer) = struct
+  module S = Qsp_syntax.S
+
+  let pp_pos = Qsp_syntax.Report.pp_pos
+
+  type pos = S.pos
+
+  let equal_pos : pos -> pos -> bool = fun _ _ -> true
+
+  type t = Qsp_syntax.Report.t = {
+    level : Qsp_syntax.Report.level;
+    loc : pos;
+    message : string;
+  }
+  [@@deriving show, eq]
+
+  let report : Qsp_syntax.Report.t list Alcotest.testable =
+    Alcotest.list @@ Alcotest.testable Qsp_syntax.Report.pp equal
+
+  let parse :
+      string ->
+      (Check.Location.t * Qsp_syntax.Report.t list, Qsp_syntax.Report.t) result
+      =
+   fun content ->
+    let lexing =
+      Sedlexing.Latin1.from_string content |> Qparser.Lexbuf.from_lexbuf
+    in
+    Qparser.Analyzer.parse (module Check) lexing
+
+  let get_report :
+      (Check.Location.t * Qsp_syntax.Report.t list, Qsp_syntax.Report.t) result ->
+      Qsp_syntax.Report.t list = function
+    | Ok (_, report) -> report
+    | Error _ -> failwith "Error"
+
+  let _test_instruction : string -> Qsp_syntax.Report.t list -> unit =
+   fun literal expected ->
+    let _location = Printf.sprintf {|# Location
+%s
+------- |} literal in
+    let actual = get_report @@ parse _location and msg = literal in
+
+    Alcotest.(check' report ~msg ~expected ~actual)
+end