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

Alpha: Remove empty module type

Browse Source
This commit is contained in:
Pierre Chambart 2018-06-01 17:41:38 +02:00 committed by Benjamin Canou
parent 9c0bb49174
commit d11bc0b996
4 changed files with 12 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/proto_alpha/lib_protocol/src/storage.mli
View File

@ -162,12 +162,12 @@ module Contract : sig
and type value = int32 and type value = int32
and type t := Raw_context.t and type t := Raw_context.t
module Code : Indexed_carbonated_data_storage module Code : Non_iterable_indexed_carbonated_data_storage
with type key = Contract_repr.t with type key = Contract_repr.t
and type value = Script_repr.lazy_expr and type value = Script_repr.lazy_expr
and type t := Raw_context.t and type t := Raw_context.t
module Storage : Indexed_carbonated_data_storage module Storage : Non_iterable_indexed_carbonated_data_storage
with type key = Contract_repr.t with type key = Contract_repr.t
and type value = Script_repr.lazy_expr and type value = Script_repr.lazy_expr
and type t := Raw_context.t and type t := Raw_context.t
@ -187,7 +187,7 @@ module Contract : sig
type bigmap_key = Raw_context.t * Contract_repr.t type bigmap_key = Raw_context.t * Contract_repr.t
module Big_map : Indexed_carbonated_data_storage module Big_map : Non_iterable_indexed_carbonated_data_storage
with type key = string with type key = string
and type value = Script_repr.expr and type value = Script_repr.expr
and type t := bigmap_key and type t := bigmap_key

6
src/proto_alpha/lib_protocol/src/storage_functors.ml
View File

@ -315,9 +315,9 @@ end
module Make_indexed_carbonated_data_storage module Make_indexed_carbonated_data_storage
(C : Raw_context.T) (I : INDEX) (V : CARBONATED_VALUE) (C : Raw_context.T) (I : INDEX) (V : CARBONATED_VALUE)
: Indexed_carbonated_data_storage with type t = C.t : Non_iterable_indexed_carbonated_data_storage with type t = C.t
and type key = I.t and type key = I.t
and type value = V.t = struct and type value = V.t = struct
type t = C.t type t = C.t
type context = t type context = t
type key = I.t type key = I.t

6
src/proto_alpha/lib_protocol/src/storage_functors.mli
View File

@ -43,9 +43,9 @@ module Make_indexed_data_storage
module Make_indexed_carbonated_data_storage module Make_indexed_carbonated_data_storage
(C : Raw_context.T) (I : INDEX) (V : CARBONATED_VALUE) (C : Raw_context.T) (I : INDEX) (V : CARBONATED_VALUE)
: Indexed_carbonated_data_storage with type t = C.t : Non_iterable_indexed_carbonated_data_storage with type t = C.t
and type key = I.t and type key = I.t
and type value = V.t and type value = V.t
module Make_indexed_data_snapshotable_storage (C : Raw_context.T) module Make_indexed_data_snapshotable_storage (C : Raw_context.T)
(Snapshot : INDEX) (I : INDEX) (V : VALUE) (Snapshot : INDEX) (I : INDEX) (V : VALUE)

13
src/proto_alpha/lib_protocol/src/storage_sigs.ml
View File

@ -277,13 +277,6 @@ module type Indexed_data_storage = sig
end end
(** Variant of {!Indexed_data_storage} with gas accounting. *)
module type Indexed_carbonated_data_storage = sig
include Non_iterable_indexed_carbonated_data_storage
end
module type Indexed_data_snapshotable_storage = sig module type Indexed_data_snapshotable_storage = sig
type snapshot type snapshot
type key type key
@ -379,9 +372,9 @@ module type Indexed_raw_context = sig
and type value = V.t and type value = V.t
module Make_carbonated_map (N : NAME) (V : CARBONATED_VALUE) module Make_carbonated_map (N : NAME) (V : CARBONATED_VALUE)
: Indexed_carbonated_data_storage with type t = t : Non_iterable_indexed_carbonated_data_storage with type t = t
and type key = key and type key = key
and type value = V.t and type value = V.t
module Raw_context : Raw_context.T with type t = t ipath module Raw_context : Raw_context.T with type t = t ipath