pp_locversion
Quote and highlight input fragments at a given source location
Decent error reporting (for example, in a parser, a compiler, ...) typically involves collecting locations, in order to indicate to the user the position of an error in the source file. This library provides support for quoting and highlighting the input fragment that corresponds to a given source location (or set of source locations).
| Author | Armaël Guéneau <armael.gueneau@ens-lyon.org> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/Armael/pp_loc |
| Issue Tracker | https://github.com/Armael/pp_loc/issues |
| Maintainer | Armaël Guéneau <armael.gueneau@ens-lyon.org>, Steffen Smolka <smolka@cs.cornell.edu> |
| Dependencies | |
| Source [http] | https://github.com/Armael/pp_loc/releases/download/v2.1.0/pp_loc-2.1.0.tbz sha256=2f736505d431e81a4fe851ad310ff29ec4cd20c8fd37ef050d9e6f1050baa7cb sha512=7e51eeeb29037d1e1db4ebe4d4d14e40cbb45162970773f35ffe43b6107570ee5d6ec21698791fc8cfd79df5ccfd173fb6b2a8108af7bda976368b13b64ea749 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pp_loc/pp_loc.2.1.0/opam |
Required by
- dolmen_loop>=0.7
- gospel>=0.2.0
