Module Error

module Error: sig .. end

Handling errors.


exception Ignored
exception Typing_error of string
exception Not_yet of string
exception Not_memoized
type 'a or_error = 
| Res of 'a
| Err of exn
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 ignored : unit -> 'a

Statement already signaled and marked as ignored

val not_memoized : unit -> 'a
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.

val retrieve_preprocessing : string -> ('a -> 'b or_error) -> 'a -> 'b

Retrieve the result of a preprocessing phase, which possibly failed. The string argument is used to display a message in case the preprocessing phase did not compute the required result.