Merge branch 'master' into hashtbl-compat

ocaml-batteries-team · May 7, 2024 · af5c340 · af5c340
2 parents 6115df6 + 87f35e1
commit af5c340
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/ChangeLog b/ChangeLog
@@ -7,6 +7,10 @@ Changelog
   #1133
   (Simmo Saan)
 
+- Add Stdlib type equality to Set.Make, Map.Make and Hashtbl.Make
+  #1132
+  (Simmo Saan)
+
 ## v3.8.0 (minor release)
 
 - support OCaml 5.2 

diff --git a/src/batMap.mli b/src/batMap.mli
@@ -515,7 +515,7 @@ sig
 end
 
 
-module Make (Ord : BatInterfaces.OrderedType) : S with type key = Ord.t
+module Make (Ord : BatInterfaces.OrderedType) : S with type key = Ord.t with type 'a t = 'a Map.Make (Ord).t
 (** Functor building an implementation of the map structure
     given a totally ordered type.
 *)

diff --git a/src/batSet.mli b/src/batSet.mli
@@ -475,7 +475,7 @@ module IRopeSet   : S with type elt = BatRope.t
 
  *)
 
-module Make (Ord : OrderedType) : S with type elt = Ord.t
+module Make (Ord : OrderedType) : S with type elt = Ord.t and type t = Set.Make (Ord).t
 (** Functor building an implementation of the set structure
     given a totally ordered type.