From caa764f0ffc2328075c086d1ec686be6ebfa7b5d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Thu, 3 May 2018 11:05:06 +0200 Subject: [PATCH] Data_encoding: do not open the implementation modules by default --- src/lib_base/tzPervasives.ml | 3 ++- src/lib_base/tzPervasives.mli | 3 ++- src/lib_data_encoding/data_encoding.ml | 1 + 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/lib_base/tzPervasives.ml b/src/lib_base/tzPervasives.ml index 6fd1c174e..ded12a8a5 100644 --- a/src/lib_base/tzPervasives.ml +++ b/src/lib_base/tzPervasives.ml @@ -8,13 +8,14 @@ (**************************************************************************) include Tezos_stdlib -include Tezos_data_encoding include Tezos_error_monad include Tezos_rpc include Tezos_clic include Tezos_crypto include Tezos_micheline +module Data_encoding = Tezos_data_encoding.Data_encoding + module List = struct include List include Tezos_stdlib.TzList diff --git a/src/lib_base/tzPervasives.mli b/src/lib_base/tzPervasives.mli index de7038eff..d10da53a5 100644 --- a/src/lib_base/tzPervasives.mli +++ b/src/lib_base/tzPervasives.mli @@ -8,12 +8,13 @@ (**************************************************************************) include (module type of (struct include Tezos_stdlib end)) -include (module type of (struct include Tezos_data_encoding end)) include (module type of (struct include Tezos_error_monad end)) include (module type of (struct include Tezos_rpc end)) include (module type of (struct include Tezos_clic end)) include (module type of (struct include Tezos_crypto end)) +module Data_encoding = Data_encoding + module List : sig include (module type of (struct include List end)) include (module type of (struct include Tezos_stdlib.TzList end)) diff --git a/src/lib_data_encoding/data_encoding.ml b/src/lib_data_encoding/data_encoding.ml index 4a16a52dc..63f3092e0 100644 --- a/src/lib_data_encoding/data_encoding.ml +++ b/src/lib_data_encoding/data_encoding.ml @@ -6,6 +6,7 @@ (* All rights reserved. No warranty, explicit or implicit, provided. *) (* *) (**************************************************************************) + module Encoding = struct include Encoding