-
Notifications
You must be signed in to change notification settings - Fork 476
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 9.2.4 #4887
GHC 9.2.4 #4887
Conversation
|
||
constraints: | ||
dependent-sum >= 0.7.1.0, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is annoying. It would be much better if we could put this in a cabal file somewhere, but I'm not sure we can without adding a dead package dependency...
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
tag: 3825d3abf75f83f406c1f7161883c438dac7277d | ||
|
||
-- Needed for ghc-9.2.4 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hmm. Should we push a patched version to CHaP? upstream looks fairly dead. Perhaps we can remove the dependency, but it is useful
78f8e9a
to
20dd887
Compare
…ecessarily generate the required GEq instances.
20dd887
to
26f6c65
Compare
Pre-submit checklist: