8000 #7105 Do not try to fold let-bindings during printing of the helper function by knisht · Pull Request #7106 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

#7105 Do not try to fold let-bindings during printing of the helper function #7106

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Feb 14, 2024
Merged

#7105 Do not try to fold let-bindings during printing of the helper function #7106

merged 1 commit into from
Feb 14, 2024

Conversation

knisht
Copy link
Contributor
@knisht knisht commented Feb 11, 2024 •
edited
Loading

This is a quick fix for 2.4.6.2 that prevents invocation of the conversion checker after #1181 for helper functions. A better solution is to implement #7107.

@andreasabel andreasabel added this to the 2.6.4.2 milestone Feb 14, 2024
@andreasabel andreasabel added the ux: generate helper Generation of helper function type signatures (C-c C-h) label Feb 14, 2024
@andreasabel andreasabel merged commit c0ceac7 into master Feb 14, 2024
@andreasabel andreasabel deleted the issue-7105 branch February 14, 2024 09:10
@andreasabel andreasabel mentioned this pull request Feb 14, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@andreasabel andreasabel

Labels
ux: generate helper Generation of helper function type signatures (C-c C-h)
Projects
None yet
Milestone
2.6.4.2
Development

Successfully merging this pull request may close these issues.
2 participants
@knisht @andreasabel
0