From b38bcd572d6f827a1b639933c8cf0fbe3b832a8d Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Fri, 13 Oct 2023 14:26:26 +0200 Subject: New checker which operate accumulate differents other checkers --- lib/syntax/tree.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/syntax/tree.ml') diff --git a/lib/syntax/tree.ml b/lib/syntax/tree.ml index e5a60f4..fb6135f 100644 --- a/lib/syntax/tree.ml +++ b/lib/syntax/tree.ml @@ -125,10 +125,10 @@ module Instruction : end module Location = struct - type instruction = S.pos Ast.statement S.repr + type instruction = S.pos Ast.statement type t = S.pos * S.pos Ast.statement list - let location : S.pos -> instruction list -> t S.repr = + let location : S.pos -> instruction S.repr list -> t S.repr = fun pos block _report -> let block = List.map block ~f:(fun b -> fst @@ b []) in ((pos, block), []) -- cgit v1.2.3