package pp_loc
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>