package grace

  1. Overview
  2. Docs
A fancy diagnostics library that allows your compilers to exit with grace

Install

dune-project
 Dependency

Authors

Maintainers

Sources

grace-0.3.0.tbz
sha256=6948979d6ffb5e596773baead81e9ceef36726d6956261bdd62abb2666a45bfc
sha512=db8b39cc9a77d919ab3123bb4047bb6c672c61db9fc6810951e267b2b113c4ac07266ef57188c6db0c02cb4d43d054204cd66ebc91648dbd1da1228022b0e67b

doc/grace.ansi_renderer/Grace_ansi_renderer/Config/Chars/index.html

Module Config.CharsSource

Sourcetype t = {
  1. snippet_start : string;
  2. source_border_left : string;
  3. source_border_left_break : string;
  4. note_bullet : string;
  5. single_primary_caret : string;
  6. single_secondary_caret : string;
  7. multi_primary_caret_start : string;
  8. multi_primary_caret_end : string;
  9. multi_secondary_caret_start : string;
  10. multi_secondary_caret_end : string;
  11. multi_top_left : string;
  12. multi_top : string;
  13. multi_bottom_left : string;
  14. multi_bottom : string;
  15. multi_left : string;
  16. pointer_left : string;
}
Sourceval ascii : t
Sourceval unicode : t