Module Mlang.Errors

Structured error

exception StructuredError of string * (string option * Pos.t) list * ( unit -> unit ) option
val format_structured_error : Stdlib.Format.formatter -> (string * (string option * Pos.t) list) -> unit

Raising errors with useful error messages

val raise_spanned_error : string -> ?span_msg:string -> Pos.t -> 'a
val raise_multispanned_error : string -> (string option * Pos.t) list -> 'a
val raise_error : string -> 'a
val raise_spanned_error_with_continuation : string -> ?span_msg:string -> Pos.t -> ( unit -> unit ) -> 'a
val print_spanned_warning : string -> ?span_msg:string -> Pos.t -> unit