From 180529c30282d39f3506633716e3fe439db03309 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Fri, 3 Nov 2023 10:19:29 +0100 Subject: Extracting the report from the Location checker is now in it’s own function MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- lib/qparser/analyzer.ml | 1 + lib/qparser/parser.mly | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) (limited to 'lib/qparser') diff --git a/lib/qparser/analyzer.ml b/lib/qparser/analyzer.ml index a79535e..e3a2774 100644 --- a/lib/qparser/analyzer.ml +++ b/lib/qparser/analyzer.ml @@ -36,6 +36,7 @@ let parse : in evaluation + |> Result.map (fun r -> (r, S.Location.v r)) |> Result.map_error (fun e -> let message = match e.IncrementalParser.code with diff --git a/lib/qparser/parser.mly b/lib/qparser/parser.mly index 81b630a..73d77b7 100644 --- a/lib/qparser/parser.mly +++ b/lib/qparser/parser.mly @@ -18,7 +18,7 @@ %} %parameter -%start <(Analyzer.Location.t * Qsp_syntax.Report.t list)>main +%start <(Analyzer.Location.t)>main %on_error_reduce expression instruction unary_operator assignation_operator %% -- cgit v1.2.3