Module Ocaml_parsing.Location_auxSource

Sourcetype t = Location.t = {
  1. loc_start : Lexing.position;
  2. loc_end : Lexing.position;
  3. loc_ghost : bool;
}
Sourceval compare : t -> t -> int

compare l1 l2 compares start positions, if equal compares end positions

Sourceval compare_pos : Lexing.position -> t -> int
Sourceval union : t -> t -> t

Return the smallest location covered by both arguments, ghost if both are ghosts

Sourceval extend : t -> t -> t

Like location_union, but keep loc_ghost'ness of first argument

Sourceval included : into:t -> t -> bool

included ~into:parent child returns true if child is included in parent. Otherwise returns false.

Sourceval overlap_with_range : (Lexing.position * Lexing.position) -> t -> bool

overlap_with_range (pos_start, pos_end) loc returns true if loc overlap with the range defined by pos_start and pos_end.

Sourceval prepare_errors : exn list -> Location.error list

Filter valid errors, log invalid ones

Dump

Sourceval print : unit -> t -> string
Sourceval print_loc : (unit -> 'a -> string) -> unit -> 'a Location.loc -> string
Sourceval is_relaxed_location : string Location.loc -> bool