Library
Module
Module type
Parameter
Class
Class type
Logging utility.
Exception raise in case of error. It is associated with the module name and the error message.
val error_recovery : bool Pervasives.ref
Set if we should avoid to fail in case of error.
error module_name default msg
raises Error
. If a default value is provided and error_recovery
is true
, it returns the value instead of raising the exception Error
. In this case, the error message is printed.
print_error module_name msg
prints the error message msg
prefixed with the module name module_name
.
warning module_name msg
prints the warning message msg
prefixed with the module name module_name
.
val debug_message : bool Pervasives.ref
Set if we should display debug.