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

Revert a commit once we drop support for GHC 8 #4786

Open
Soupstraw opened this issue Dec 6, 2024 · 0 comments
Open

Revert a commit once we drop support for GHC 8 #4786

Soupstraw opened this issue Dec 6, 2024 · 0 comments

Comments

@Soupstraw
Copy link
Contributor

I had to revert some type refinements in commit c4bb012 because the ImpredicativeTypes is not fully supported in GHC 8 and was not passing type checking.

We should revert that commit once we get rid of ghc-8.10.7
@Soupstraw Soupstraw changed the title Revert a commit using ImpredicativeTypes once we drop support for GHC 8 Revert a commit once we drop support for GHC 8 Dec 6, 2024
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
1 participant
@Soupstraw