Module Messages

module Messages: sig .. end
Stored messages. Storing of messages can be changed using (at initialization time only); currently, only warning and error messages are stored if thus requested.

val iter : (Log.event -> unit) -> unit
Iter over all stored messages. The messages are passed in emission order.
Change in Nitrogen-20111001: Messages are now 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.
Since Boron-20100401
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.