-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathdune-project
More file actions
23 lines (21 loc) · 873 Bytes
/
Copy pathdune-project
File metadata and controls
23 lines (21 loc) · 873 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
(lang dune 2.7)
(generate_opam_files true)
(name pp_loc)
(version 2.1.0)
(source (github Armael/pp_loc))
(authors "Armaël Guéneau <armael.gueneau@ens-lyon.org>")
(maintainers "Armaël Guéneau <armael.gueneau@ens-lyon.org>, Steffen Smolka <smolka@cs.cornell.edu>")
(documentation "https://Armael.github.io/pp_loc/pp_loc/")
(license MIT)
(package
(name pp_loc)
(depends
(ocaml (>= 4.08.0))
dune
(odoc :with-doc)
)
(synopsis "Quote and highlight input fragments at a given source location")
(description "\
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).
"))