diff options
| author | Chimrod <> | 2023-10-13 14:26:26 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-18 09:49:47 +0200 |
| commit | b38bcd572d6f827a1b639933c8cf0fbe3b832a8d (patch) | |
| tree | 3dcf9bddd89abb64d75458465b101920d04f1a79 /lib/syntax/tree.ml | |
| parent | f85abcb996b8d189a646e6aeea8aa4ce068f7570 (diff) | |
New checker which operate accumulate differents other checkers
Diffstat (limited to 'lib/syntax/tree.ml')
| -rw-r--r-- | lib/syntax/tree.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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), []) |