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

Support ghc-9.12 #94

Closed
wants to merge 1 commit into from
Closed

Support ghc-9.12 #94

wants to merge 1 commit into from

Conversation

erikd
Copy link
Member

@erikd erikd commented Oct 17, 2024

The first alpha of ghc-9.12 has just been released.

Can be fixed on Hackage with a metadata edit.

@erikd erikd requested a review from andreasabel October 17, 2024 02:45
@andreasabel
Copy link
Member

andreasabel commented Oct 17, 2024 •
edited
Loading

Thanks!
Let's wait a bit with the merge until 9.12 is covered by CI here.

@phadej
Copy link
Contributor

phadej commented Oct 18, 2024 •
edited
Loading

In hsc2hs in GHC tree there is a commit (at ghc-9.12.1-alpha1 tag)

commit c3b21800a67366c9591dc85a471d1dfdb1efcf29 (HEAD, origin/ghc-9.12)
Author: Zubin Duggal <[email protected]>
Date:   Fri Oct 11 16:39:49 2024 +0530

    Bump base bound to 4.21 for GHC 9.12

@wz1000 why it's not in this repository?

@andreasabel andreasabel mentioned this pull request Oct 25, 2024
Merged
@andreasabel
Copy link
Member

With CI available, I pushed #95, superseding this PR here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@andreasabel andreasabel Awaiting requested review from andreasabel

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@erikd @andreasabel @phadej