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.4.0.tbz
sha256=388149857c0fbaf2489b1e396af25aadd6185998847b75570f9198a077ad1ace
sha512=9ffa701f7729f90976594c4ec77b968f15450d8d7a1f0c65fe60d092c136b18f1c8bbd5f5772a651c925dabcdc82ac7023c30a4caa1b94e3e158ef2efa34b85e

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