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

Include mention of QuickLook impredicativity in CannotUnifyWithPolytype error (91028) #453

Closed
sheaf opened this issue Aug 23, 2023 · 1 comment · Fixed by #454
Closed

Include mention of QuickLook impredicativity in CannotUnifyWithPolytype error (91028) #453

sheaf opened this issue Aug 23, 2023 · 1 comment · Fixed by #454

Comments

@sheaf
Copy link

sheaf commented Aug 23, 2023

As mentioned in GHC issue #20169, the error message with error code 91028 would benefit from a reference to quick look impredicativity. We decided not to suggest -XImpredicativeTypes in the error message as it often does not fix the problem, but in the context of the error message index it seems to make more sense to point users towards that extension and the quick look impredicativity paper.
@sheaf
Copy link
Author

sheaf commented Aug 23, 2023

This would be a follow-up task to #24.

david-christiansen added a commit that referenced this issue Aug 23, 2023
@david-christiansen
Document GHC-91028
a2283eb 
Fixes #24
Fixes #453
@david-christiansen david-christiansen mentioned this issue Aug 23, 2023
Merged
BinderDavid pushed a commit that referenced this issue Sep 1, 2023
@david-christiansen
Document GHC-91028 (#454)
fa5adac 
* Document GHC-91028

Fixes #24
Fixes #453

* Replace undefined with Proxy in GHC-91028 per suggestion
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

Successfully merging a pull request may close this issue.

Document GHC-91028 haskellfoundation/error-message-index
1 participant
@sheaf