Module Imandra_util.Error

Imandra Errors

exception Unsupported of Iloc.t * string

Unsupported feature

type kind =
| E_user_error
| E_internal
| E_solver_error
| E_interrupt
exception Error of {
loc : Iloc.t;
msg : string;
kind : kind;
process : string;
}

Internal error

val unsupportedf : ?⁠loc:Iloc.t -> ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
val error : ?⁠process:string -> ?⁠kind:kind -> ?⁠loc:Iloc.t -> string -> 'a
val errorf : ?⁠process:string -> ?⁠kind:kind -> ?⁠loc:Iloc.t -> ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a

errorf "some error message %s (number %d)" "with formatting" 42 raises an error with the given formatted message

val print_exn : ?⁠compact:bool -> Stdlib.Format.formatter -> exn -> unit option
val print : Stdlib.Format.formatter -> exn -> unit
val process_name_ : string Stdlib.ref