Module `Location.Error`

type t

The location error type. It contains a located main message and a (possibly empty) list of located submessages.

val is_well_formed : Astlib.Location.Error.t -> bool

A location error constructed via make is always well-formed. A malformed location error is a value of type location_report on compilers >= 4.08, whose kind is different from Report_error. Notice that location_report does not explicitly form part of Astlib.

val main_msg : Astlib.Location.Error.t -> string Astlib.Location.loc

Get the located error main message.

val sub_msgs : Astlib.Location.Error.t -> string Astlib.Location.loc list

Get the located error sub-messages.

val set_main_msg : Astlib.Location.Error.t -> string -> Astlib.Location.Error.t

Set the text of the error's main message. The location stays as is.

val set_main_loc : 
  Astlib.Location.Error.t ->
  Astlib.Location.t ->
  Astlib.Location.Error.t

Set the location of the error's main message. The text satys as is.

val make : 
  sub:string Astlib.Location.loc list ->
  string Astlib.Location.loc ->
  Astlib.Location.Error.t

Construct a location error.

val of_exn : exn -> Astlib.Location.Error.t option

Turn an exception into a location error, if possible.

Module Location.Error

Module `Location.Error`