Module Locations

type old_location_error = {
  1. loc : Location.t;
  2. msg : string;
  3. sub : old_location_error list;
  4. if_highlight : string;
}
type location_msg = (Format.formatter -> unit) Location.loc
type location_report_kind = Location.report_kind =
  1. | Report_error
  2. | Report_warning of string
  3. | Report_warning_as_error of string
  4. | Report_alert of string
  5. | Report_alert_as_error of string
type location_report = Location.report = {
  1. kind : location_report_kind;
  2. main : location_msg;
  3. sub : location_msg list;
}
type location_error = Location.error
type error_type = [
  1. | `Report of location_report
  2. | `Old_error of old_location_error
]
val error_type_of_location_error : location_error -> error_type
val location_error_of_exn : exn -> location_error
val extension_of_error : mk_pstr:('a list -> 'b) -> mk_extension:((string Location.loc * 'b) -> 'a) -> mk_string_constant:(string -> 'a) -> location_error -> string Location.loc * 'b
val error_of_exn : exn -> location_error option
val register_error_of_exn : (exn -> Location.error option) -> unit
val report_exception : Format.formatter -> exn -> unit
val errorf : loc:Location.t -> ('a, Format.formatter, unit, Location.error) format4 -> 'a
val raise_errorf : ?loc:Location.t -> ('a, Format.formatter, unit, 'b) format4 -> 'a
val _get_error_message_old : old_location_error -> string
val _get_error_message_new : location_report -> string
val get_error_message : location_report -> string
val _set_error_message_old : old_location_error -> string -> old_location_error
val _set_error_message_new : location_report -> string -> location_report
val set_error_message : location_report -> string -> location_report
val make_error_of_message_old : loc:Location.t -> string -> sub:(Location.t * string) list -> old_location_error
val make_error_of_message_new : loc:Location.t -> string -> sub:(Location.t * string) list -> location_report
val make_error_of_message : loc:Location.t -> string -> sub:(Location.t * string) list -> location_report
val print_error : Format.formatter -> Location.report -> unit
module type Helpers_intf = sig ... end
module Helpers_impl : sig ... end