From 135cb2c3264cf1d489ca7e3425862d657680f22c Mon Sep 17 00:00:00 2001 From: James Deikun Date: Thu, 28 Jun 2018 23:08:14 -0400 Subject: [PATCH] Use MESSAGE for all Logging functor parameters. see https://gitlab.com/tezos/tezos/merge_requests/411#note_83833997 --- src/lib_stdlib/logging.ml | 4 ++-- src/lib_stdlib/logging.mli | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/lib_stdlib/logging.ml b/src/lib_stdlib/logging.ml index b8723ce76..75e2b5fb4 100644 --- a/src/lib_stdlib/logging.ml +++ b/src/lib_stdlib/logging.ml @@ -175,7 +175,7 @@ end let sections = ref [] -module Make_unregistered(S : sig val name: string end) : LOG = struct +module Make_unregistered(S : MESSAGE) : LOG = struct let section = Lwt_log_core.Section.make S.name type log_section += Section @@ -218,7 +218,7 @@ module Make_unregistered(S : sig val name: string end) : LOG = struct end -module Make(S : sig val name: string end) : LOG = struct +module Make(S : MESSAGE) : LOG = struct let () = sections := S.name :: !sections include Make_unregistered(S) diff --git a/src/lib_stdlib/logging.mli b/src/lib_stdlib/logging.mli index 68e7c9d2f..3ffbe4153 100644 --- a/src/lib_stdlib/logging.mli +++ b/src/lib_stdlib/logging.mli @@ -103,8 +103,8 @@ module Core : sig val worker : string Tag.def end -module Make(S: sig val name: string end) : LOG -module Make_unregistered(S: sig val name: string end) : LOG +module Make(S: MESSAGE) : LOG +module Make_unregistered(S: MESSAGE) : LOG module Make_semantic(S: MESSAGE) : SEMLOG