package grace
A fancy diagnostics library that allows your compilers to exit with grace
Install
Dune Dependency
Authors
Maintainers
Sources
grace-0.2.0.tbz
sha256=821df54882c9253eac69f47bcf3a71ffdc61c77fdae42587c32aada5b56cfeae
sha512=007afa83251da3ddecd874e120ea89dce0253c387a64a5fece69069d3486ec5eb6c82d6bf0febaf23dd322bd9eaadc2f7882e33f05a2e1fa18a41294e7dc3ba1
doc/index.html
grace
API
Library grace
GraceA diagnostic is a message with associated debugging context for the user, for example a compiler error.
Library grace.ansi_renderer
Library grace.source_reader
Grace_source_readerA source reader maintains a global table mapping source descriptors to their contents and their line starts.