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 |
| |
Err of |
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
Not_memoized
when asking the preprocessed form of something that
was not preprocessedval 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.