Page
Library
Module
Module type
Parameter
Class
Class type
Source
Minidebug_runtime.Flushing
SourceThe output is flushed line-at-a-time, so no output should be lost if the traced program crashes. The logged traces are still indented, but if the values to print are multi-line, their formatting might be messy. The indentation is also smaller (half of PrintBox).
module _ : Shared_config
val open_log :
fname:string ->
start_lnum:int ->
start_colnum:int ->
end_lnum:int ->
end_colnum:int ->
message:string ->
entry_id:int ->
log_level:int ->
[ `Diagn | `Debug | `Track ] ->
unit
val open_log_no_source :
message:string ->
entry_id:int ->
log_level:int ->
[ `Diagn | `Debug | `Track ] ->
unit
val log_value_sexp :
?descr:string ->
entry_id:int ->
log_level:int ->
is_result:bool ->
Sexplib0.Sexp.t ->
unit
val log_value_pp :
?descr:string ->
entry_id:int ->
log_level:int ->
pp:(Format.formatter -> 'a -> unit) ->
is_result:bool ->
'a ->
unit
val log_value_show :
?descr:string ->
entry_id:int ->
log_level:int ->
is_result:bool ->
string ->
unit
For PrintBox
runtimes, outputs the current logging stack to the logging channel. If the logging channel supports that, an output following a snapshot will rewind the channel to the state prior to the snapshot. Does nothing for the Flushing
runtimes.
Snapshots any pending logs and closes any open files. This should be called at the end of the program to ensure all logs are properly flushed and files are closed. Do not call this function if there is a chance that the backend will be used again.
For PrintBox
runtimes, when passed true within the scope of a log subtree, disables the logging of this subtree and its subtrees. Does not do anything when passed false (no_debug_if false
does not re-enable the log). Does nothing for the Flushing
runtimes.