Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix letrec printing #1591

Conversation

janmasrovira
Copy link
Collaborator

Closes #1590.

It also adds a newline after the in for regular lets. I think it improves readability

@janmasrovira janmasrovira added prettyprinting core Related to JuvixCore labels Oct 18, 2022
@janmasrovira janmasrovira added this to the 0.2.6 milestone Oct 18, 2022
@janmasrovira janmasrovira self-assigned this Oct 18, 2022
@janmasrovira janmasrovira linked an issue Oct 18, 2022 that may be closed by this pull request
@lukaszcz lukaszcz force-pushed the 1590-the-core-pretty-printer-only-prints-the-first-item-of-a-letrec branch from 871f7de to 7233bb8 Compare October 18, 2022 17:38
@lukaszcz lukaszcz merged commit 1e44226 into main Oct 18, 2022
@lukaszcz lukaszcz deleted the 1590-the-core-pretty-printer-only-prints-the-first-item-of-a-letrec branch October 18, 2022 18:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
core Related to JuvixCore prettyprinting
Projects
None yet
Development

Successfully merging this pull request may close these issues.

The Core pretty printer only prints the first item of a letrec
2 participants