Module AltErgoLib.Loc

Position in input files

This module defines a notion of location in files. Note: this only specifies a position in an arbitrary file, it does not contain information about the file itself.

type t

The type of locations, a location is made up of two position in the file, respectively corresponding to the beginning and end of the location.

val from_dolmen_loc : Dolmen.Std.Loc.loc -> t
val lexing_positions : t -> Stdlib.Lexing.position * Stdlib.Lexing.position
val dummy : t

A dummy location.

val report : Stdlib.Format.formatter -> t -> unit

Report a location on the given formatter, using standard human-redable location reporting.