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.