A comprehensive toolbox for ppx development. It features:
Module type
Class type
Library ppxlib
Module Ppxlib . Location

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

type t = Warnings.loc = {
loc_start : Lexing.position;
loc_end : Lexing.position;
loc_ghost : Base.Bool.t;
val in_file : Base.String.t -> 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, Base.Unit.t, 'b ) 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 -> Base.Exn.t -> Base.Unit.t

Report an exception on the given formatter

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

type nonrec 'a loc = 'a Location.loc = {
txt : 'a;
loc : t;
module Error : sig ... end
exception Error of Error.t