Create a location from a filename, a line number, a position of the beginning of the line, a start and end position

Create a location corresponding to the beginning of the given source

Return the start and end position of a location

Make a location out of its start and end position

Merge locations, usually generating the largest possible span

sub loc sh len is the location loc shifted with sh characters and with length len. The previous ending position of the location is lost.

after loc sh len is the location just after loc (starting at the end position of loc) shifted with sh characters and of length len.

Answers true when the first location is more defined, or, when both defined, included in the second one

shift_loc loc n p shifts the beginning of location by n and the end by p; it is assumed that the shifts do not change the lines at which the location starts and ends

Adding location to an exception

Retrieving the optional location of an exception

raise loc e is the same as Pervasives.raise (add_loc e loc).

Embed a location in a type

Modify an object carrying a location

Print for user consumption.