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