Module Trace.Delayed

Delayed reporters.

May be useful for heisen bugs that vanish on printing.

type trace := t
type t

The type for delayed reporters. Those accumulate traces in memory.

val make : unit -> t

make () is a new delayed reporter. You need to install it with reporter and set_reporter.

val reporter : t -> reporter

reporter d is the reporter of d.

val clear : t -> unit

clear d clears traces from d.

val traces : t -> trace list

traces d is are the traces kept by d.

val pp : Stdlib.Format.formatter -> t -> unit

pp formats the traces kept by d.

val prerr : t -> unit

prerr formats the traces kept by d on stderr.