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

saw-core pretty printer should use shorter unqualified names when possible #17

Closed
brianhuffman opened this issue Jul 14, 2015 · 2 comments
Closed

saw-core pretty printer should use shorter unqualified names when possible #17

brianhuffman opened this issue Jul 14, 2015 · 2 comments
Assignees
@brianhuffman

Comments

@brianhuffman
Copy link
Contributor

When saw-core terms are printed out they are really verbose. They would be much easier to read if we used short names like and instead of fully qualified names like Prelude.and everywhere.

To implement this we will need to pass a naming environment to the pretty-printing function so that we can tell when it is ok to drop the qualifiers without being ambiguous.
@brianhuffman brianhuffman self-assigned this May 23, 2016
@brianhuffman brianhuffman mentioned this issue Jun 17, 2020
Open
@brianhuffman brianhuffman mentioned this issue Oct 9, 2020
Closed
@brianhuffman
Copy link
Contributor Author

To implement this, we should re-use Cryptol's NamingEnv type, and probably also re-use some of the functions that the Cryptol pretty-printer uses for deciding when to show names as qualified.

This was referenced Jan 17, 2021
Closed
Open
Merged
brianhuffman pushed a commit that referenced this issue Jan 21, 2021
Merge pull request #17 from GaloisInc/print-prec
689afdc 
Add precedences to term pretty printer, to minimize parentheses.
@brianhuffman
Copy link
Contributor Author

Implemented in #126.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@brianhuffman brianhuffman

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@brianhuffman