package pp_loc

You can search for identifiers within the package.

in-package search v0.2.0

Quote and highlight input fragments at a given source location

Install

Dune Dependency

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

Authors

A

Armaël Guéneau <armael.gueneau@ens-lyon.org>

Maintainers

A

Armaël Guéneau <armael.gueneau@ens-lyon.org>, Steffen Smolka <smolka@cs.cornell.edu>

Sources

pp_loc-2.0.0.tbz

sha256=1bb7e9717a8b88f48b2fc8c8cb72d43a124a41e76619a1c3e1f7c7aa1d7580a4

sha512=e7830948cb7dd4becb0b94c3a13f7d134d4c817b64a1cac980b40c0efd369e15ec4cd3b2ba63476b844330ec52d6f37a385346e6bb3ad125591f2405ed7a7a60

CHANGES.html

CHANGES

v2.0.0
------

Generalize the type of locations to offer more flexibility.

As before, a location corresponds to a pair of begin-end positions.
However, positions are now abstract. A position can be created as
before from a Lexing.position. Alternatively, a position can be created
from a (line,column) pair, or directly from an offset in the file,
or by shifting an existing position by a given offset.

(contributed by Simon Cruanes)

v1.0.0
------

Initial release