From 5a098272172c1f16aad309d6aabc016f7be2a9f3 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 27 Nov 2022 17:53:26 -0500 Subject: [PATCH] refactor: remove Modules.map (#6595) it's unused Signed-off-by: Rudi Grinberg --- src/dune_rules/modules.ml | 8 -------- src/dune_rules/modules.mli | 2 -- 2 files changed, 10 deletions(-) diff --git a/src/dune_rules/modules.ml b/src/dune_rules/modules.ml index 9901a226790..1d73d4e9d73 100644 --- a/src/dune_rules/modules.ml +++ b/src/dune_rules/modules.ml @@ -563,14 +563,6 @@ let rec fold_no_vlib t ~init ~f = | Wrapped w -> Wrapped.fold w ~init ~f | Impl { vlib = _; impl } -> fold_no_vlib impl ~f ~init -let rec map t ~f = - match t with - | Stdlib w -> Stdlib (Stdlib.map w ~f) - | Singleton m -> Singleton (f m) - | Unwrapped m -> Unwrapped (Module_name.Map.map m ~f) - | Wrapped w -> Wrapped (Wrapped.map w ~f) - | Impl { vlib; impl } -> Impl { vlib = map vlib ~f; impl = map impl ~f } - type split_by_lib = { vlib : Module.t list ; impl : Module.t list diff --git a/src/dune_rules/modules.mli b/src/dune_rules/modules.mli index c658d2df32c..230d910c870 100644 --- a/src/dune_rules/modules.mli +++ b/src/dune_rules/modules.mli @@ -57,8 +57,6 @@ val fold_user_written : t -> f:(Module.t -> 'acc -> 'acc) -> init:'acc -> 'acc val map_user_written : t -> f:(Module.t -> Module.t Memo.t) -> t Memo.t -val map : t -> f:(Module.t -> Module.t) -> t - val fold_user_available : t -> f:(Module.t -> 'acc -> 'acc) -> init:'acc -> 'acc (** Returns all the compatibility modules. *)