From c2f87ff1e6e5676968804cd50b86fc2f0f9ad672 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 7 Oct 2023 12:24:37 +0200
Subject: Made explicit the use of the report in the parser

---
 test/syntax.ml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'test/syntax.ml')

diff --git a/test/syntax.ml b/test/syntax.ml
index be14229..487f85b 100644
--- a/test/syntax.ml
+++ b/test/syntax.ml
@@ -2,27 +2,28 @@ module Parser = Qparser.Parser.Make (Qsp_syntax.Tree)
 module Tree = Qsp_syntax.Tree
 module Ast = Qsp_syntax.Tree.Ast
 module T = Ast
+module S = Qsp_syntax.S
 
 let _position = (Lexing.dummy_pos, Lexing.dummy_pos)
 
 type 'a location = 'a * 'a Ast.statement list [@@deriving eq, show]
 
 let get_location :
-    (T.pos location, Qsp_syntax.Report.t) result -> T.pos location = function
+    (S.pos location, Qsp_syntax.Report.t) result -> S.pos location = function
   | Ok e -> e
   | Error e ->
       let msg = Format.asprintf "%a" Qsp_syntax.Report.pp e in
       raise (Failure msg)
 
 (** Run the parser with the given expression and return the result *)
-let parse : string -> (T.pos location, Qsp_syntax.Report.t) result =
+let parse : string -> (S.pos location, Qsp_syntax.Report.t) result =
  fun content ->
   let lexing =
     Sedlexing.Latin1.from_string content |> Qparser.Lexbuf.from_lexbuf
   in
   Qparser.Analyzer.parse (module Qsp_syntax.Tree) lexing
 
-let location : T.pos location Alcotest.testable =
+let location : S.pos location Alcotest.testable =
   let equal = equal_location (fun _ _ -> true) in
   let pp =
     pp_location (fun formater _ -> Format.fprintf formater "_position")
@@ -53,7 +54,7 @@ let test_location_without_database () =
 ------- |} in
   Alcotest.(check' location ~msg ~expected ~actual)
 
-let _test_instruction : string -> Ast.pos Ast.statement list -> unit =
+let _test_instruction : string -> S.pos Ast.statement list -> unit =
  fun literal expected ->
   let expected = (_position, expected)
   and _location = Printf.sprintf {|# Location
-- 
cgit v1.2.3