diff options
Diffstat (limited to 'test/syntax.ml')
| -rw-r--r-- | test/syntax.ml | 9 |
1 files changed, 5 insertions, 4 deletions
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 |