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

Update to build under GHC-9.2.5, and hopefully 9.4.4 #1487

Closed
mouse07410 opened this issue Jan 4, 2023 · 1 comment · Fixed by #1499
Closed

Update to build under GHC-9.2.5, and hopefully 9.4.4 #1487

mouse07410 opened this issue Jan 4, 2023 · 1 comment · Fixed by #1499

Comments

@mouse07410
Copy link

GHC-9.2.5 is a bug-fix release for the supported 9.2.4, so there's no reason cryptol can't support it out of box. In fact, I built it successfully with GHC-9.2.5.

It would also be nice to extend support to the current GHC-9.4.4.
@RyanGlScott
Copy link
Contributor

We are working towards making Cryptol compile with GHC 9.4. We need to update some dependencies first, however. See GaloisInc/what4#224, for instance.

RyanGlScott added a commit that referenced this issue Feb 13, 2023
@RyanGlScott
Support building with GHC 9.4
5f36807 
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 RyanGlScott mentioned this issue Feb 13, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Support building with GHC 9.4 GaloisInc/cryptol
2 participants
@RyanGlScott @mouse07410