[ refactor, new ] all about pretty printing - Githubissues

stefan-hoeck / idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

BSD 2-Clause "Simplified" License

77 stars 18 forks source link

[ refactor, new ] all about pretty printing #59

Closed stefan-hoeck closed 1 year ago

stefan-hoeck commented 1 year ago

This PR is all about pretty printing and does the following:

[x] Ditch the dependency on contrib
[x] Use Bernardy-style pretty printers from prettier
[x] Put pretty printing stuff in a new package elab-pretty
[x] Add support for auto-deriving pretty printers
[x] Make sure all pretty printers produce valid Idris code
[x] Adjust the docs to the new pretty printers
[x] Add tests for all REPL examples involving pretty printers