Module Locations

type old_location_error = {
loc : Location.t;
msg : string;
sub : old_location_error list;
if_highlight : string;
}
type location_msg = (Stdlib.Format.formatter -> unit) Location.loc
type location_report_kind = Location.report_kind =
| Report_error
| Report_warning of string
| Report_warning_as_error of string
| Report_alert of string
| Report_alert_as_error of string
type location_report = Location.report = {
kind : location_report_kind;
main : location_msg;
sub : location_msg list;
}
type location_error = Location.error
type error_type = [
| `Report of location_report
| `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 : Stdlib.Format.formatter -> exn -> unit
val errorf : loc:Location.t -> ('a, Stdlib.Format.formatter, unit, Location.error) Stdlib.format4 -> 'a
val raise_errorf : ?⁠loc:Location.t -> ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.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 : Stdlib.Format.formatter -> Location.report -> unit
module type Helpers_intf = sig ... end
module Helpers_impl : sig ... end