Module Cilmsg


module Cilmsg: sig .. end
Same as: if had_errors () then abort ... ;

include Log.Messages
val warnFlag : bool
val warnOpt : ('a, Format.formatter, unit, unit) Pervasives.format4 -> 'a
val had_errors : unit -> bool
val clear_errors : unit -> unit
val push_errors : unit -> unit
val pop_errors : unit -> unit
val on_errors_abort : ('a, Format.formatter, unit) Pervasives.format -> 'a
Same as: if had_errors () then abort ... ;
val set_error : Log.event -> unit
Should not be used directly. Use error, abort or fatal instead.