Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Switch to the prettyprinter package for pretty printing #105

Closed
brianhuffman opened this issue Nov 20, 2020 · 0 comments · Fixed by #106
Closed

Switch to the prettyprinter package for pretty printing #105

brianhuffman opened this issue Nov 20, 2020 · 0 comments · Fixed by #106

Comments

@brianhuffman
Copy link
Contributor

We are making a coordinated effort to get all packages in the SAW ecosystem to use the same prettyprinting libraries, so that we can more easily combine pretty printers. So we'd like to switch away from package ansi-wl-pprint and module Text.PrettyPrint.ANSI.Leijen in favor of the prettyprinter package.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Switch from ansi-wl-pprint to the prettyprinter package. GaloisInc/saw-core
1 participant
@brianhuffman