aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/nested_strings.ml
diff options
context:
space:
mode:
authorChimrod <>2023-11-03 10:19:29 +0100
committerChimrod <>2023-11-03 10:19:29 +0100
commit180529c30282d39f3506633716e3fe439db03309 (patch)
tree4535ffa8574c2caf62ee087ca4e52d1db1e9e3d5 /lib/syntax/nested_strings.ml
parentfd02a44392304986a756e7d06f8142538b386529 (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.ml8
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