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

Use MESSAGE for all Logging functor parameters.

Browse Source 
see https://gitlab.com/tezos/tezos/merge_requests/411#note_83833997
This commit is contained in:
James Deikun 2018-06-28 23:08:14 -04:00 committed by Pierre Boutillier
parent 634c398a70
commit 135cb2c326
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib_stdlib/logging.ml
View File

@ -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)

4
src/lib_stdlib/logging.mli
View File

@ -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