module Location: sig end
Locations of the elements in a source file
type location = {
|
file : string; |
(* | filename | *) |
|
start_line : int; |
(* | start line number | *) |
|
end_line : int; |
(* | end line number | *) |
|
start_char : int; |
(* | start character position | *) |
|
end_char : int; |
(* | end character position | *) |
}
Type of locations.
val spawn : location -> location -> location
merge locations.
Returns a location with filename,
starting line and column numbers as in the first given location,
and with end line and column numbers as as in the second given location.
val print_location : location -> unit
pretty print the given location on standard output.
val string_of_location : location -> string
Returns a formatted string describing the given location.
val default_location : location
default location.