From d1248cd0ddcb0bdc3f739e14a44fba4f11fdc87d Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sun, 15 Oct 2023 19:35:28 +0200
Subject: Also used the new Check modulein the tests
---
test/syntax.ml | 19 ++++++++++++++-----
1 file changed, 14 insertions(+), 5 deletions(-)
(limited to 'test')
diff --git a/test/syntax.ml b/test/syntax.ml
index 9aca3b6..a420035 100644
--- a/test/syntax.ml
+++ b/test/syntax.ml
@@ -1,9 +1,14 @@
-module Parser = Qparser.Parser.Make (Qsp_syntax.Tree)
module Tree = Qsp_syntax.Tree
-module Ast = Qsp_syntax.Tree.Ast
-module T = Ast
+module Ast = Tree.Ast
+module Check = Qsp_syntax.Check
module S = Qsp_syntax.S
+let _, _, location_id, e1 = Check.build (module Tree)
+
+module Parser = Check.Make (struct
+ let t = [| e1 |]
+end)
+
let _position = (Lexing.dummy_pos, Lexing.dummy_pos)
type 'a location = 'a * 'a Ast.statement list [@@deriving eq, show]
@@ -21,7 +26,11 @@ 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 Qsp_syntax.Tree) lexing |> Result.map fst
+ Qparser.Analyzer.parse (module Parser) lexing
+ |> 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. *)
+ Array.get location 0 |> Check.get location_id |> Option.get)
let location : S.pos location Alcotest.testable =
let equal = equal_location (fun _ _ -> true) in
@@ -113,7 +122,7 @@ let test_set_array_append () =
let test_direct_assignation () =
let index = None in
- let var = { T.pos = _position; name = "VALUE"; index } in
+ let var = { Ast.pos = _position; name = "VALUE"; index } in
_test_instruction "value = '123'"
Ast.[ Declaration (_position, var, Eq', Literal (_position, "123")) ]
--
cgit v1.2.3