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

Raises Not_memoized when asking the preprocessed form of something that was not preprocessed

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.