Closed erikd closed 2 weeks ago
ghc-9.12
has now been branched. The code in this PR still builds.
@erikd I'm afraid it's not that straightforward, see https://github.com/ndmitchell/extra/issues/112 for discussion.
Thanks for the PR, I've done something a bit different so that we have the same API on all versions of extra. I'll make a release of this shortly.
ghc-9.12
has not even had a release candidate yet, nor has theghc
been forked.I I try to built
extra
with currentghc@HEAD
I need this.Thanks for the pull request!
By raising this pull request you confirm you are licensing your contribution under all licenses that apply to this project (see LICENSE) and that you have no patents covering your contribution.
If you care, my PR preferences are at https://github.com/ndmitchell/neil#contributions, but they're all guidelines, and I'm not too fussy - you don't have to read them.