Module Error

module Error: sig .. end

Handling errors.


exception Typing_error of string
exception Not_yet of string
val untypable : string -> 'a

Type error built from the given argument.

val not_yet : string -> 'a

Not_yet_implemented error built from the given argument.

val handle : ('a -> 'a) -> 'a -> 'a

Run the closure with the given argument and handle potential errors. Return the provide argument in case of errors.

val generic_handle : ('a -> 'b) -> 'b -> 'a -> 'b

Run the closure with the given argument and handle potential errors. Return the additional argument in case of errors.

val nb_untypable : unit -> int

Number of untypable annotations.

val nb_not_yet : unit -> int

Number of not-yet-supported annotations.

val process_error : exn -> unit

Process the given error.

Print a warning message and update the number of not-yet-supported and untypable annotations. Print a fatal message and abort in case of unknown errors.