Module Basic.DebugSource

Sourcetype flag
Sourceval d_warn : flag
Sourceval d_notice : flag
Sourceval register_flag : string -> flag

register_flag msg generates a new flag with error message msg

Sourceval new_flag : bool -> string -> flag

Same as register flag, but with a bool enbling the flag by default

Sourceval enable_flag : flag -> unit

Activates error messages associated to a flag

Sourceval disable_flag : flag -> unit

Desactivates error messages associated to a flag

Sourceval debug : flag -> ('a, Format.formatter, unit, unit) format4 -> 'a

debug f prints information on the standard error channel if the given flag f is currently active.

Sourceval debug_eval : flag -> (unit -> unit) -> unit

debug_eval f (fun () -> body evaluates body if the given flag f is currently active.