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.1.tbz
sha256=d49754224206de44855590848b3a5a6cc1d5c46cf99a4e5810ca3041d436a28e
sha512=2984b5a6284bf8bbd05419cf850c15c34bc19c19f0c8928b83cc1be1c0bfc84aafef6d992e7435c2f48ba361a6f3aab679abd02f0e6472361c8cec7d497bc405

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