module Messages:sig
..end
Stored messages for persistence between sessions. Currently, only warning and error messages are stored.
val iter : (Log.event -> unit) -> unit
Iter over all stored messages. The messages are passed in emission order.
val dump_messages : unit -> unit
Dump stored messages to standard channels
val self : State.t
Internal state of stored messages
val reset_once_flag : unit -> unit
Reset the once
flag of pretty-printers. Messages already printed
will be printed again.
val nb_errors : unit -> int
val nb_warnings : unit -> int
val nb_messages : unit -> int
Number of stored warning messages, error messages, or all messages.
val add_global_hook : (unit -> unit) -> unit
Register a global hook (not projectified) on message addition.