From 12fe3fdde3c49f8fa0372d55d733057bd437c45c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 18 Feb 2016 12:28:19 +0100 Subject: [PATCH] deprecation incoming for `CCHashtbl.{Counter,Default}` tables --- src/core/CCHashtbl.mli | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/core/CCHashtbl.mli b/src/core/CCHashtbl.mli index 79bc22b8..bcbb8187 100644 --- a/src/core/CCHashtbl.mli +++ b/src/core/CCHashtbl.mli @@ -121,7 +121,9 @@ module Make(X : Hashtbl.HashedType) : (** {2 Default Table} -A table with a default element for keys that were never added. *) + A table with a default element for keys that were never added. + + @deprecated since NEXT_RELEASE, should be merged into [Make] itself *) module type DEFAULT = sig type key @@ -155,7 +157,9 @@ end module MakeDefault(X : Hashtbl.HashedType) : DEFAULT with type key = X.t -(** {2 Count occurrences using a Hashtbl} *) +(** {2 Count occurrences using a Hashtbl} + + @deprecated since NEXT_RELEASE, should be merged into [Make] itself *) module type COUNTER = sig type elt