CoreTracing

Functions and values

Function or valueDescription
addListener(l)
Signature: l:ITraceListener -> unit
areListenersSet()
Signature: unit -> bool
defaultConsoleTraceListener
Signature: ITraceListener

The default TraceListener for Console.

ensureConsoleListener()
Signature: unit -> unit
getListeners()
Signature: unit -> ITraceListener list
importantMessagesToStdErr
Signature: bool
postMessage(x)
Signature: x:TraceData -> unit

Allows to post messages to all trace listeners

setTraceListeners(l)
Signature: l:ITraceListener list -> unit
setTraceListenersPrivate
Signature: ITraceListener list -> unit