From 22ae4dbf453f3bd5da3ce07ace44d5385e5902aa Mon Sep 17 00:00:00 2001 From: Vincent Bernardoff Date: Sat, 14 Jan 2017 13:13:35 +0100 Subject: [PATCH] Shell: simplify the signature of `Hash.Hash_table` --- src/utils/hash.ml | 2 +- src/utils/hash.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/utils/hash.ml b/src/utils/hash.ml index b088cfdf3..1e2bc1fce 100644 --- a/src/utils/hash.ml +++ b/src/utils/hash.ml @@ -254,7 +254,7 @@ module Hash_map (Hash : HASH) = struct Data_encoding.(list (tup2 Hash.encoding arg_encoding)) end -module Hash_table (Hash : HASH) +module Hash_table (Hash : MINIMAL_HASH) : Hashtbl.S with type key = Hash.t = Hashtbl.Make (struct type t = Hash.t diff --git a/src/utils/hash.mli b/src/utils/hash.mli index 57f8d25b1..aab5d7301 100644 --- a/src/utils/hash.mli +++ b/src/utils/hash.mli @@ -103,7 +103,7 @@ module Hash_map (Hash : HASH) : sig end (** Builds a Hashtbl using some Hash type as keys. *) -module Hash_table (Hash : HASH) : Hashtbl.S with type key = Hash.t +module Hash_table (Hash : MINIMAL_HASH) : Hashtbl.S with type key = Hash.t (** {2 Predefined Hashes } ****************************************************)