lil update to Tracing_

This commit is contained in:
Simon Cruanes 2024-06-24 12:11:01 -04:00
parent 7d306867f1
commit 76a7ce0f45
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
3 changed files with 3 additions and 0 deletions

View file

@ -1,5 +1,6 @@
let enabled () = false let enabled () = false
let dummy_span = 0L let dummy_span = 0L
let message = ignore
let enter_span _name = dummy_span let enter_span _name = dummy_span
let exit_span = ignore let exit_span = ignore
let set_thread_name = ignore let set_thread_name = ignore

View file

@ -2,5 +2,6 @@ val dummy_span : int64
val enter_span : string -> int64 val enter_span : string -> int64
val exit_span : int64 -> unit val exit_span : int64 -> unit
val with_span : string -> (int64 -> 'a) -> 'a val with_span : string -> (int64 -> 'a) -> 'a
val message : string -> unit
val enabled : unit -> bool val enabled : unit -> bool
val set_thread_name : string -> unit val set_thread_name : string -> unit

View file

@ -4,6 +4,7 @@ let enabled = Trace.enabled
let dummy_span = Int64.min_int let dummy_span = Int64.min_int
let dummy_file_ = "<unknown file>" let dummy_file_ = "<unknown file>"
let set_thread_name = Trace.set_thread_name let set_thread_name = Trace.set_thread_name
let[@inline] message msg = Trace.message msg
let[@inline] enter_span name : int64 = let[@inline] enter_span name : int64 =
if name = "" then if name = "" then