diff options
author | Chimrod <> | 2023-11-03 10:19:29 +0100 |
---|---|---|
committer | Chimrod <> | 2023-11-03 10:19:29 +0100 |
commit | 180529c30282d39f3506633716e3fe439db03309 (patch) | |
tree | 4535ffa8574c2caf62ee087ca4e52d1db1e9e3d5 /lib/syntax/tree.ml | |
parent | fd02a44392304986a756e7d06f8142538b386529 (diff) |
Extracting the report from the Location checker is now in it’s own function
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 34baae0..e70b66a 100644 --- a/lib/syntax/tree.ml +++ b/lib/syntax/tree.ml @@ -115,6 +115,6 @@ module Location = struct type instruction = Instruction.t' type t = S.pos * S.pos Ast.statement list - let location : S.pos -> instruction list -> t * Report.t list = - fun pos block -> ((pos, block), []) + let v _ = [] + let location : S.pos -> instruction list -> t = fun pos block -> (pos, block) end |