Skip to content

WIP: Preliminary ghc 9.14 support #7335

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
Draft
wants to merge 2 commits into
base: master
Choose a base branch
from
Draft

WIP: Preliminary ghc 9.14 support #7335

wants to merge 2 commits into from
+288 −25

Conversation

@erikd
Copy link
Contributor

@erikd erikd commented Sep 14, 2025 •
edited
Loading

  • Currently using ghc-9.14.0.20250908.
  • This GHC has a bug that needs to be fixed before the real 9.14 release.
  • This bug required the adding of a large number of CPP guarded -Wno-redundant-constraints which need to be removed.
  • Huge number of allow-newers, the majority of which need to be removed.

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Changelog fragments have been written (if appropriate)
    • Relevant tickets are mentioned in commit messages
    • Formatting, PNG optimization, etc. are updated
  • PR
    • (For external contributions) Corresponding issue exists and is linked in the description
    • Targeting master unless this is a cherry-pick backport
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

@erikd erikd marked this pull request as draft September 14, 2025 21:50
@erikd erikd self-assigned this Sep 14, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Sep 14, 2025 •
edited
Loading

PR Preview Action v1.6.2

🚀 View preview at
https://IntersectMBO.github.io/plutus/pr-preview/pr-7335/

Built to branch gh-pages at 2025-09-17 02:21 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

@erikd erikd force-pushed the erikd/ghc-9.14 branch 4 times, most recently from af84d28 to 6440a7b Compare October 19, 2025 21:09
@erikd erikd force-pushed the erikd/ghc-9.14 branch 3 times, most recently from 3007831 to 9891761 Compare October 26, 2025 23:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@erikd erikd

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@erikd