Module Ppxlib__.Location

Overrides the Location module of OCaml

There are less functions in this module. However the API should be more stable than the Location module of OCaml.

type t = Ppxlib__.Import.location = {
loc_start : Lexing.position;
loc_end : Lexing.position;
loc_ghost : Ppxlib__.Import.bool;
}
val in_file : Ppxlib__.Import.string ‑> t

Return an empty ghost range located in a given file.

val none : t

An arbitrary value of type t; describes an empty ghost range.

val raise_errorf : ?⁠loc:t ‑> ('a, Caml.Format.formatter, Ppxlib__.Import.unit, 'b) Ppxlib__.Import.format4 ‑> 'a

Raise a located error. The exception is caught by driver and handled appropriately

val of_lexbuf : Lexing.lexbuf ‑> t

Return the location corresponding to the last matched regular expression

val report_exception : Caml.Format.formatter ‑> Ppxlib__.Import.exn ‑> Ppxlib__.Import.unit

Report an exception on the given formatter

val print : Caml.Format.formatter ‑> t ‑> Ppxlib__.Import.unit

Prints File "...", line ..., characters ...-...:

type 'a loc = 'a Ppxlib__.Import.loc = {
txt : 'a;
loc : t;
}
module Error : sig ... end with type location := t
exception Error of Error.t