Module Ocaml_parsing.Location_aux
type t = Ocaml_parsing.Location.t = {loc_start : Stdlib.Lexing.position;loc_end : Stdlib.Lexing.position;loc_ghost : bool;
}val compare :
Ocaml_parsing.Location_aux.t ->
Ocaml_parsing.Location_aux.t ->
intcompare l1 l2 compares start positions, if equal compares end positions
val compare_pos : Stdlib.Lexing.position -> Ocaml_parsing.Location_aux.t -> intval union :
Ocaml_parsing.Location_aux.t ->
Ocaml_parsing.Location_aux.t ->
Ocaml_parsing.Location_aux.tReturn the smallest location covered by both arguments, ghost if both are ghosts
val extend :
Ocaml_parsing.Location_aux.t ->
Ocaml_parsing.Location_aux.t ->
Ocaml_parsing.Location_aux.tLike location_union, but keep loc_ghost'ness of first argument
val included :
into:Ocaml_parsing.Location_aux.t ->
Ocaml_parsing.Location_aux.t ->
boolincluded ~into:parent child returns true if child is included in parent. Otherwise returns false.
val overlap_with_range :
(Stdlib.Lexing.position * Stdlib.Lexing.position) ->
Ocaml_parsing.Location_aux.t ->
booloverlap_with_range (pos_start, pos_end) loc returns true if loc overlap with the range defined by pos_start and pos_end.
val prepare_errors : exn list -> Ocaml_parsing.Location.error listFilter valid errors, log invalid ones
Dump
val print : unit -> Ocaml_parsing.Location_aux.t -> stringval print_loc :
(unit -> 'a -> string) ->
unit ->
'a Ocaml_parsing.Location.loc ->
stringval is_relaxed_location : string Ocaml_parsing.Location.loc -> bool