abstract type for Tracing_ stub
Some checks failed
github pages / Deploy doc (push) Has been cancelled
Build and Test / build (push) Has been cancelled
Build and Test / build-compat (push) Has been cancelled
Build and Test / format (push) Has been cancelled

This commit is contained in:
Simon Cruanes 2026-01-15 22:05:03 -05:00
parent fe68320aff
commit 78eaa7a4ec
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
3 changed files with 13 additions and 7 deletions

View file

@ -1,5 +1,7 @@
type span = unit
let enabled () = false let enabled () = false
let dummy_span = 0L let dummy_span = ()
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

@ -1,6 +1,8 @@
val dummy_span : int64 type span
val enter_span : string -> int64
val exit_span : int64 -> unit val dummy_span : span
val with_span : string -> (int64 -> 'a) -> 'a val enter_span : string -> span
val exit_span : span -> unit
val with_span : string -> (span -> 'a) -> 'a
val enabled : unit -> bool val enabled : unit -> bool
val set_thread_name : string -> unit val set_thread_name : string -> unit

View file

@ -1,11 +1,13 @@
module Trace = Trace_core module Trace = Trace_core
type span = Trace.span
let enabled = Trace.enabled let enabled = Trace.enabled
let dummy_span = Int64.min_int let dummy_span = Trace_core.Collector.dummy_span
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] enter_span name : int64 = let[@inline] enter_span name : span =
if name = "" then if name = "" then
dummy_span dummy_span
else else