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 print_not_yet : string -> unit

Print the "not yet" message without raising an exception.