diff options
author | François Bobot <francois.bobot@cea.fr> | 2015-12-17 11:24:18 +0100 |
---|---|---|
committer | François Bobot <francois.bobot@cea.fr> | 2016-01-25 08:33:55 +0100 |
commit | ec173d03d67609204f01a26aa12a5c32a2339805 (patch) | |
tree | c80a150949f556f79bcc3eb66e1ada9923bd8377 /stdlib | |
parent | 4b62e39a696f3f45cd16d2fd6cfd48cd4fe1b54f (diff) | |
download | ocaml-ec173d03d67609204f01a26aa12a5c32a2339805.tar.gz |
Add precisions on the equality for Weak.Make
It can't be physical equality since it use `Weak.get_copy`.
Diffstat (limited to 'stdlib')
-rw-r--r-- | stdlib/weak.mli | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/stdlib/weak.mli b/stdlib/weak.mli index d66ac9cdff..d856dd8b08 100644 --- a/stdlib/weak.mli +++ b/stdlib/weak.mli @@ -154,4 +154,7 @@ end;; (** The output signature of the functor {!Weak.Make}. *) module Make (H : Hashtbl.HashedType) : S with type data = H.t;; -(** Functor building an implementation of the weak hash set structure. *) +(** Functor building an implementation of the weak hash set structure. + [H.equal] can't be the physical equality, since only shallow + copies of the elements in the set are given to it. + *) |