package catala

  1. Overview
  2. Docs

Module Utils.ErrorsSource

Error formatting and helper functions

Error exception and printing

Sourceexception StructuredError of string * (string option * Pos.t) list

The payload of the expression is a main error message, with a list of secondary positions related to the error, each carrying an optional secondary message to describe what is pointed by the position.

Sourceval print_structured_error : string -> (string option * Pos.t) list -> string

Error exception and printing

Sourceval raise_spanned_error : string -> ?span_msg:string -> Pos.t -> 'a
Sourceval raise_multispanned_error : string -> (string option * Pos.t) list -> 'a
Sourceval raise_error : string -> 'a

Warning printing

Sourceval print_multispanned_warning : string -> (string option * Pos.t) list -> unit
Sourceval print_spanned_warning : string -> ?span_msg:string -> Pos.t -> unit
Sourceval print_warning : string -> unit