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.

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

ghc 8.10 #376

Merged
merged 12 commits into from
Jun 16, 2020
Merged

ghc 8.10 #376

merged 12 commits into from
Jun 16, 2020

Conversation

robrix
Copy link
Contributor

@robrix robrix commented Mar 30, 2020

Currently blocked on:

  • inspection-testing

@@ -23,8 +23,16 @@
:seti -Wno-name-shadowing
:seti -Wno-safe
:seti -Wno-unsafe

-- ghc 8.6+
:seti -Wno-star-is-type
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could we ditch this particular clause entirely, since I think we've switched to using Type everywhere?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We did this on master for 1.1, this PR is going to release 1.0.2.1.

@patrickt patrickt marked this pull request as ready for review April 17, 2020 17:52
@patrickt
Copy link
Collaborator

I’m not sure why the CI isn’t running 😕 Maybe closing and reopening the PR would help? In any case, this is ready to go; it compiles fine with 8.10.

@joshvera joshvera merged commit 0d0c68f into master Jun 16, 2020
@joshvera joshvera deleted the ghc-8.10 branch June 16, 2020 16:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Widen base bounds to admit GHC 8.10.
3 participants