package ppxlib

You can search for identifiers within the package.

in-package search v0.2.0

Standard infrastructure for ppx rewriters

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (22)

Authors

J

Jane Street Group, LLC <opensource@janestreet.com>

Maintainers

O

opensource@janestreet.com

Sources

ppxlib-0.32.0.tbz

sha256=507cc73ccf895f22eeb5257a2243838c18a38a09105fcff55eeef9148555422b

sha512=73fef8ab8761bfbfde6ae87cc51eaacc5a5c937f0d628a890f0abdb2bffbf073932c25287a9e3baa2a1947c37f3dfa7f83ddd33c440e2e800971015addc97cd2

doc/ppxlib.astlib/Astlib/Location/index.html

Module `Astlib.Location`

Source code locations (ranges of positions), used in parsetrees

type t = Ocaml_common.Location.t = {

loc_start : Lexing.position;
loc_end : Lexing.position;
loc_ghost : bool;

}

The location type

type 'a loc = 'a Ocaml_common.Location.loc = {

txt : 'a;
loc : t;

}

A located type

module Error : sig ... end

val set_input_name : string -> unit

Set the name of the input source, e.g. the file name.

val none : t

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

Automatically reporting errors for raised exceptions

val register_error_of_exn : (exn -> Error.t option) -> unit

Each compiler module which defines a custom type of exception which can surface as a user-visible error should register a "printer" for this exception using register_error_of_exn. The result of the printer is an error value containing a location, a message, and optionally sub-messages (each of them being located as well).

exception Error of Error.t

Located exception.

val raise_errorf : ?loc:t -> ('a, Format.formatter, unit, 'b) format4 -> 'a

Raise a located exception.

val report_exception : Format.formatter -> exn -> unit

Report an exception on the given formatter

On This Page

Automatically reporting errors for raised exceptions