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/syntax/nested_strings.ml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'lib/syntax/nested_strings.ml') diff --git a/lib/syntax/nested_strings.ml b/lib/syntax/nested_strings.ml index fb056d6..9d4867c 100644 --- a/lib/syntax/nested_strings.ml +++ b/lib/syntax/nested_strings.ml @@ -99,11 +99,13 @@ struct end module Location = struct - type t = unit + type t = Report.t list type instruction = Instruction.t' - let location : S.pos -> instruction list -> t * Report.t list = + let v = Fun.id + + let location : S.pos -> instruction list -> t = fun pos intructions -> ignore pos; - ((), List.concat intructions) + List.concat intructions end -- cgit v1.2.3