package grace

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

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. A
    Alistair O'Brien

Maintainers

  1. A
    alistair.obrien@trili.tech

Sources

grace-0.1.0.tbz
sha256=19576d3f32e4a69c7ebad26a801b568a2e3bff24a0e4d5ddf3b8bf4eac479d4c
sha512=436db3699126eec797da1be9f530759547804cc081ed365a75ba8ae9b053c05999ae820d294dd20f6a68e0712084579c585105a3855d71b459efc1367172bd66

doc/grace.rendering/Grace_rendering/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 unicode : t