Module Location.ErrorSource

For a detailed explanation on error reporting, refer to the relevant part of the tutorial.

Sourcetype t
Sourceval make : loc:t -> string -> sub:(t * string) list -> t
Sourceval createf : loc:t -> ('a, Format.formatter, unit, t) format4 -> 'a
Sourceval message : t -> string
Sourceval set_message : t -> string -> t
Sourceval register_error_of_exn : (exn -> t option) -> unit

Register an exception handler. Exception registered this way will be properly displayed by report_exception.

Sourceval of_exn : exn -> t option

Convert an error to an extension point. The compiler recognizes this and displays the error properly.

Sourceval raise : t -> 'a

Raise a compiler Parsing.Location.Error exception. The composition of Location.Error.createf with Location.Error.raise is the same as Location.raise_errorf.

Sourceval update_loc : t -> t -> t

Update where the error is located. The old location will be overwritten.

Sourceval get_location : t -> t

Find out where the error is located.