Errors (p.catala.0.7.0.doc.catala.utils.Utils.Errors)

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

Source

val raise_spanned_error : 
  ?span_msg:string ->
  Pos.t ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

Source

val raise_multispanned_error : 
  (string option * Pos.t) list ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

Sourceval raise_error : ('a, Format.formatter, unit, 'b) format4 -> 'a

Warning printing

Source

val format_multispanned_warning : 
  (string option * Pos.t) list ->
  ('a, Format.formatter, unit) format ->
  'a

Source

val format_spanned_warning : 
  ?span_msg:string ->
  Pos.t ->
  ('a, Format.formatter, unit) format ->
  'a

Sourceval format_warning : ('a, Format.formatter, unit) format -> 'a