-
Notifications
You must be signed in to change notification settings - Fork 18
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
Make it build with ghc-9.6 #81
Conversation
SRP has been removed. |
eb048e6
to
620d335
Compare
cabal.project
Outdated
@@ -37,6 +37,19 @@ test-show-details: direct | |||
-- Always write GHC env files, because they are needed for ghci. | |||
write-ghc-environment-files: always | |||
|
|||
-- https://github.com/obsidiansystems/dependent-sum-template/issues/5 | |||
if impl(ghc >= 9.2) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Does this mean this is necessary also for ghc-9.4?
Flake is busted because of input-output-hk/haskell.nix#. To push this forward, I am changing the lock file to just before the broken commit in haskell.nix. Edit: PR merged, bumped haskell.nix input again. |
Using github:input-output-hk/haskell.nix/50e7b671ca73ea9ab350d7f18ba434bf8393051a until input-output-hk/haskell.nix#2003 gets merged.
Changelog