add value_bindings to Ast_mapper

Author: zth

compiler/ml/ast_mapper.ml

@@ -57,6 +57,7 @@ type mapper = {
   type_extension: mapper -> type_extension -> type_extension;
   type_kind: mapper -> type_kind -> type_kind;
   value_binding: mapper -> value_binding -> value_binding;
+  value_bindings: mapper -> value_binding list -> value_binding list;
   value_description: mapper -> value_description -> value_description;
   with_constraint: mapper -> with_constraint -> with_constraint;
 }
@@ -247,7 +248,7 @@ module M = struct
     match desc with
     | Pstr_eval (x, attrs) ->
       eval ~loc ~attrs:(sub.attributes sub attrs) (sub.expr sub x)
-    | Pstr_value (r, vbs) -> value ~loc r (List.map (sub.value_binding sub) vbs)
+    | Pstr_value (r, vbs) -> value ~loc r (sub.value_bindings sub vbs)
     | Pstr_primitive vd -> primitive ~loc (sub.value_description sub vd)
     | Pstr_type (rf, l) -> type_ ~loc rf (List.map (sub.type_declaration sub) l)
     | Pstr_typext te -> type_extension ~loc (sub.type_extension sub te)
@@ -285,7 +286,7 @@ module E = struct
     | Pexp_ident x -> ident ~loc ~attrs (map_loc sub x)
     | Pexp_constant x -> constant ~loc ~attrs x
     | Pexp_let (r, vbs, e) ->
-      let_ ~loc ~attrs r (List.map (sub.value_binding sub) vbs) (sub.expr sub e)
+      let_ ~loc ~attrs r (sub.value_bindings sub vbs) (sub.expr sub e)
     | Pexp_fun {arg_label = lab; default = def; lhs = p; rhs = e; arity; async}
       ->
       fun_ ~loc ~attrs ~arity ~async lab
@@ -473,6 +474,7 @@ let default_mapper =
         Vb.mk (this.pat this pvb_pat) (this.expr this pvb_expr)
           ~loc:(this.location this pvb_loc)
           ~attrs:(this.attributes this pvb_attributes));
+    value_bindings = (fun this l -> List.map (this.value_binding this) l);
     constructor_declaration =
       (fun this {pcd_name; pcd_args; pcd_res; pcd_loc; pcd_attributes} ->
         Type.constructor (map_loc this pcd_name)

compiler/ml/ast_mapper.mli

@@ -85,6 +85,7 @@ type mapper = {
   type_extension: mapper -> type_extension -> type_extension;
   type_kind: mapper -> type_kind -> type_kind;
   value_binding: mapper -> value_binding -> value_binding;
+  value_bindings: mapper -> value_binding list -> value_binding list;
   value_description: mapper -> value_description -> value_description;
   with_constraint: mapper -> with_constraint -> with_constraint;
 }