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/nested_strings.ml | |
parent | fd02a44392304986a756e7d06f8142538b386529 (diff) |
Extracting the report from the Location checker is now in it’s own function
Diffstat (limited to 'lib/syntax/nested_strings.ml')
-rw-r--r-- | lib/syntax/nested_strings.ml | 8 |
1 files changed, 5 insertions, 3 deletions
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 |