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

Update cabal.project.freeze for GHC 9.10.1 update #3035

Merged
merged 4 commits into from
Sep 13, 2024
Merged

Conversation

paulcadman
Copy link
Collaborator

@paulcadman paulcadman commented Sep 13, 2024

This PR updates the cabal freeze file to reflect the changes to dependencies after the GHC 9.10.1 stack.yaml update.

@janmasrovira can you check this? The last time I think you updated this and the freeze file was much smaller for you.

I downloaded the stack2cabal binary from https://github.com/hasufell/stack2cabal/releases/latest and ran stack2cabal in the root of our repo.

@paulcadman paulcadman added this to the 0.6.7 milestone Sep 13, 2024
@paulcadman paulcadman self-assigned this Sep 13, 2024
@paulcadman paulcadman marked this pull request as draft September 13, 2024 14:25
@paulcadman
Copy link
Collaborator Author

After updating the freeze file the cabal build fails:

$ cabal build --minimize-conflict-set
Resolving dependencies...
Error: cabal: Could not resolve dependencies:
[__0] trying: juvix-0.6.6 (user goal)
[__1] trying: ghc-9.10.1/installed-64dd (dependency of juvix)
[__2] next goal: containers (dependency of juvix)
[__2] rejecting: containers-0.7/installed-622f, containers-0.7 (constraint
from project config /Users/paul/heliax/juvix/cabal.project.freeze requires
==0.6.8)
[__2] rejecting: containers-0.6.8 (conflict: ghc =>
containers==0.7/installed-622f)
[__2] rejecting: containers-0.6.7, containers-0.6.6, containers-0.6.5.1,
containers-0.6.4.1, containers-0.6.3.1, containers-0.6.2.1,
containers-0.6.1.1, containers-0.6.0.1, containers-0.5.11.0,
containers-0.5.10.2, containers-0.5.10.1, containers-0.5.9.2,
containers-0.5.8.2, containers-0.5.7.1, containers-0.5.7.0,
containers-0.5.6.3, containers-0.5.6.2, containers-0.5.6.1,
containers-0.5.6.0, containers-0.5.5.1, containers-0.5.5.0,
containers-0.5.4.0, containers-0.5.3.1, containers-0.5.3.0,
containers-0.5.2.1, containers-0.5.2.0, containers-0.5.1.0,
containers-0.5.0.0, containers-0.4.2.1, containers-0.4.2.0,
containers-0.4.1.0, containers-0.4.0.0, containers-0.3.0.0,
containers-0.2.0.1, containers-0.2.0.0, containers-0.1.0.1,
containers-0.1.0.0, containers-0.5.9.1, containers-0.5.8.1 (constraint from
project config /Users/paul/heliax/juvix/cabal.project.freeze requires ==0.6.8)
[__2] fail (backjumping, conflict set: containers, ghc, juvix)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: containers, ghc, juvix

I suspect that the stack2cabal tool is using the explicit extra-dep versions and not taking account of the allow-newer: true flag in stack.yaml.

We are setting an explicit containers-0.6.8@sha256:bb2bec1bbc6b39a7c97cd95e056a5698ec45beb5d8feb6caae12af64e4bd823c,2670 version, but this conflicts with the version required by the ghc package according to the cabal solver.

@lukaszcz
Copy link
Collaborator

Maybe it'd be most efficient to freeze this till GHC 9.10.1 is supported by stack. Until then we suspend cabal support.

@paulcadman
Copy link
Collaborator Author

Maybe it'd be most efficient to freeze this till GHC 9.10.1 is supported by stack. Until then we suspend cabal support.

This would be fine, but Jan and I use cabal with LSP (LSP is more stable for me when using cabal). I think I have a way to make it work.

@paulcadman paulcadman marked this pull request as ready for review September 13, 2024 16:48
@paulcadman paulcadman merged commit a63314d into main Sep 13, 2024
4 checks passed
@paulcadman paulcadman deleted the cabal-freeze-update branch September 13, 2024 18:50
paulcadman added a commit that referenced this pull request Sep 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

The project cannot be built with cabal
3 participants