-
Notifications
You must be signed in to change notification settings - Fork 8
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
Merlin-destruct can't handle some GADT types #37
Comments
ncik-roberts
changed the title
Merlin-destruct raises on some GADT types
Merlin-destruct can't handle some GADT types
Jan 5, 2024
Has this been reported upstream? I'd be surprised if the problem doesn't also exist there. |
I could not reproduce the issue upstream. (So, while an analogous code issue could well exist upstream, it's not in a state where we can make a GitHub issue.) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
See #36 for the test demonstrating as such, and #38 for the sad workaround.
The text was updated successfully, but these errors were encountered: