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.

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

Merlin-destruct can't handle some GADT types #37

Open
ncik-roberts opened this issue Jan 5, 2024 · 2 comments
Open

Merlin-destruct can't handle some GADT types #37

ncik-roberts opened this issue Jan 5, 2024 · 2 comments

Comments

@ncik-roberts
Copy link
Contributor

ncik-roberts commented Jan 5, 2024 •
edited

See #36 for the test demonstrating as such, and #38 for the sad workaround.
@ncik-roberts ncik-roberts changed the title Merlin-destruct raises on some GADT types Merlin-destruct can't handle some GADT types Jan 5, 2024
@ncik-roberts ncik-roberts mentioned this issue Jan 5, 2024
Closed
@goldfirere
Copy link
Contributor

Has this been reported upstream? I'd be surprised if the problem doesn't also exist there.

@ncik-roberts
Copy link
Contributor Author

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
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@goldfirere @ncik-roberts