wball/perga
1
0
Fork 0
Code Issues 15 Pull requests Projects Releases Packages Wiki Activity Actions

Better pretty printing #9

New issue
Closed
opened 2024-12-05 19:28:00 -08:00 by wball · 1 comment
wball commented 2024-12-05 19:28:00 -08:00
Owner
Copy link

Look into prettyprinter to make pretty printing much prettier, so it doesn't just dump a gigantic term onto a single line.

Look into [prettyprinter](https://hackage.haskell.org/package/prettyprinter) to make pretty printing much prettier, so it doesn't just dump a gigantic term onto a single line.
wball added the
easy
usage
 labels 2024-12-05 19:46:38 -08:00
wball commented 2024-12-08 12:42:38 -08:00
Author
Owner
Copy link

Implemented in 8bc8e5e. There's probably still plenty room for improvement, but it is already so much more legible.

Implemented in 8bc8e5e. There's probably still plenty room for improvement, but it is already so much more legible.
wball closed this issue 2024-12-08 12:42:38 -08:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
products
No results found.
Labels
Clear labels   
bug

bug

  
core

Requires extending the core language

  
easy

Easy to fix/implement

  
elaborator

Requires extending the elaborator

  
hard

Hard to fix/implement

  
parser

Requires extending the parser

  
urgent

High priority

  
usage

Requires extending the capabilities of the `perga` binary

No labels
bug
core
easy
elaborator
hard
parser
urgent
usage
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: wball/perga#9
No description provided.
Delete branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?