Skip to content

Set annSortKey properly for eta-reduce with local binds #96

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Merged
merged 1 commit into from
Nov 14, 2020
Merged

Set annSortKey properly for eta-reduce with local binds #96

merged 1 commit into from
Nov 14, 2020

Conversation

zliu41
Copy link
Collaborator

@zliu41 zliu41 commented Nov 14, 2020 •
edited
Loading

This ensures TypeSig is printed before the corresponding FunBind in the where block.

Fixes #94

@zliu41 zliu41 merged commit 7e4270e into mpickering:master Nov 14, 2020
@zliu41 zliu41 mentioned this pull request Nov 14, 2020
Closed
@zliu41 zliu41 deleted the eta branch November 14, 2020 07:34
@jneira jneira mentioned this pull request Nov 28, 2020
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Apply hint: eta reduce breaks where block identation
1 participant
@zliu41