diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-04-12 17:59:35 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-04-12 17:59:35 +0200 |
commit | 32b142d297c3fb259d0977efdb267fdc7c99b1d7 (patch) | |
tree | 46dc062383d3442806e345a23cb61fa837dd8ba4 /clib/cList.ml | |
parent | 485eb7958811ff627d9c50ec7a6ed36ed9416b97 (diff) | |
parent | 0ade32f84b28d2190360ec79520788142755b5b7 (diff) |
Merge PR #6972: [api] Deprecate a couple of aliases that we missed.
Diffstat (limited to 'clib/cList.ml')
-rw-r--r-- | clib/cList.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clib/cList.ml b/clib/cList.ml index 80bb18477..8727f4696 100644 --- a/clib/cList.ml +++ b/clib/cList.ml @@ -102,7 +102,9 @@ sig val fold_left3_map : ('a -> 'b -> 'c -> 'd -> 'a * 'e) -> 'a -> 'b list -> 'c list -> 'd list -> 'a * 'e list val fold_left4_map : ('a -> 'b -> 'c -> 'd -> 'e -> 'a * 'r) -> 'a -> 'b list -> 'c list -> 'd list -> 'e list -> 'a * 'r list val fold_map : ('a -> 'b -> 'a * 'c) -> 'a -> 'b list -> 'a * 'c list + [@@ocaml.deprecated "Same as [fold_left_map]"] val fold_map' : ('b -> 'a -> 'c * 'a) -> 'b list -> 'a -> 'c list * 'a + [@@ocaml.deprecated "Same as [fold_right_map]"] val map_assoc : ('a -> 'b) -> ('c * 'a) list -> ('c * 'b) list val assoc_f : 'a eq -> 'a -> ('a * 'b) list -> 'b val remove_assoc_f : 'a eq -> 'a -> ('a * 'b) list -> ('a * 'b) list |