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

Support building with GHC 9.4 #1499

Merged
merged 4 commits into from
Feb 27, 2023
Merged

Support building with GHC 9.4 #1499

merged 4 commits into from
Feb 27, 2023

Commits on Feb 13, 2023

  1. Support building with GHC 9.4

    This contains a varity of changes needed to make the libraries in the `cryptol`
    repo compile with GHC 9.4:
    
    * GHC 9.4 is pickier about requiring the use of the `FlexibleContexts`
      extension, that is now enabled in more places.
    * I bumped the upper version bounds of various dependencies to allow them to
      build with GHC 9.4.
    
    Fixes #1487.
    RyanGlScott committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    5f36807 View commit details
    Browse the repository at this point in the history
  2. Fix -Wtype-equality-requires-operators warnings

    GHC 9.4 adds `-Wtype-equality-requires-operators` to `-Wall`, which warns about
    certain uses of type equalities that are not forward-compatible with planned
    changes in GHC. See [this
    section](https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.4?version_id=b60e52482a666d25638d59cd7e86851ddf971dc1#-is-now-a-type-operator)
    of the GHC 9.4 Migration Guide. These warnings are easily fixed by enabling the
    `TypeOperators` extension.
    RyanGlScott committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    b88a3d9 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    845c468 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    cda2576 View commit details
    Browse the repository at this point in the history