package pp_loc

  1. Overview
  2. Docs
Quote and highlight input fragments at a given source location

Install

Dune Dependency

Authors

Maintainers

Sources

pp_loc-2.1.0.tbz
sha256=2f736505d431e81a4fe851ad310ff29ec4cd20c8fd37ef050d9e6f1050baa7cb
sha512=7e51eeeb29037d1e1db4ebe4d4d14e40cbb45162970773f35ffe43b6107570ee5d6ec21698791fc8cfd79df5ccfd173fb6b2a8108af7bda976368b13b64ea749

CHANGES.html

CHANGES

v2.1.0
------

- Add functions Position.{to_offset,to_lexing}
  these allow computing an offset/Lexing.position from a Position.t and Input.t

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