package links

  1. Overview
  2. Docs
Package contains no libraries

Facilities for optional debugging messages.

val enabled : bool Settings.setting
val print_no_lf : string -> unit

print a debug message without line feed if debugging is enabled

val print : string -> unit

print a debug message if debugging is enabled

val print_l : string lazy_t -> unit

print a debug message if debugging is enabled

val f : ('a, unit, string, unit) format4 -> 'a

printf-style debugging

val if_set : bool Settings.setting -> (unit -> string) -> unit

if_set setting message: print message() if debugging is enabled and setting is on.

val if_set_l : bool Settings.setting -> string lazy_t -> unit

if_set_l setting message: print message (a lazy expr) if debugging is enabled and setting is on.

val debug_time : string -> (unit -> 'a) -> 'a

debug_time msg f: run f() and measure running time; print msg with time and return result

val debug_time_out : (unit -> 'a) -> (int -> unit) -> 'a

debug_time_out f withtime: run f() and measure running time; call function withtime with running time as argument and then afterwards return result of f())

val eval_l : 'a Lazy.t -> unit

Forces evaluation of the given lazy expression if debugging is enabled.