balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Shell: simplify the signature of Hash.Hash_table

Browse Source
This commit is contained in:
Vincent Bernardoff 2017-01-14 13:13:35 +01:00 committed by Grégoire Henry
parent 1f7f9b369d
commit 22ae4dbf45
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/utils/hash.ml
View File

@ -254,7 +254,7 @@ module Hash_map (Hash : HASH) = struct
Data_encoding.(list (tup2 Hash.encoding arg_encoding)) Data_encoding.(list (tup2 Hash.encoding arg_encoding))
end end
module Hash_table (Hash : HASH) module Hash_table (Hash : MINIMAL_HASH)
: Hashtbl.S with type key = Hash.t : Hashtbl.S with type key = Hash.t
= Hashtbl.Make (struct = Hashtbl.Make (struct
type t = Hash.t type t = Hash.t

2
src/utils/hash.mli
View File

@ -103,7 +103,7 @@ module Hash_map (Hash : HASH) : sig
end end
(** Builds a Hashtbl using some Hash type as keys. *) (** 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 } ****************************************************) (** {2 Predefined Hashes } ****************************************************)