Skip to content

Improve error message for uncurried arity mismatch #6281

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
Closed
cristianoc opened this issue Jun 1, 2023 · 2 comments
Closed

Improve error message for uncurried arity mismatch #6281

cristianoc opened this issue Jun 1, 2023 · 2 comments
Labels
enhancement
Milestone
v12

Comments

@cristianoc
Copy link
Collaborator

Screenshot_2023-05-31_at_09 07 53
Screenshot_2023-05-31_at_09 32 01
@cristianoc cristianoc added this to the v12 milestone Jun 1, 2023
@github-actions GitHub Actions
Copy link

github-actions bot commented Sep 5, 2024

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@github-actions github-actions bot added the stale Old issues that went stale label Sep 5, 2024
@shulhi shulhi removed the stale Old issues that went stale label Sep 5, 2024
@cknitt
Copy link
Member

cknitt commented May 5, 2025

Duplicate of #7055

@cknitt cknitt marked this as a duplicate of #7055 May 5, 2025
@cknitt cknitt closed this as completed May 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
v12
Development

No branches or pull requests
3 participants
@cknitt @shulhi @cristianoc