Skip to content

fix: relax hashable constraint upper bound#13

Merged
ollef merged 1 commit intoollef:masterfrom
thelissimus:relax-hashable-constraints
Oct 24, 2025
Merged

fix: relax hashable constraint upper bound#13
ollef merged 1 commit intoollef:masterfrom
thelissimus:relax-hashable-constraints

Conversation

@thelissimus
Copy link
Copy Markdown
Contributor

Building rock with GHC 9.12.2 fails due to two issues:

  1. foldl' ambiguity in dependent-hashmap, which should be fixed by this PR: add: NoImplicitPrelude to fix the ambigious foldl' issue dependent-hashmap#4

  2. Overly strict hashable upper bound.

The package dependent-hashmap-0.1.0.1 allows hashable >= 1.3, so Cabal selects 1.5.0.0. Since rock-0.3.1.2 limits hashable < 1.5, the solver backtracks to rock-0.3.1.1, which then fails due to the missing MonadFix (which is not a problem in 0.3.1.2).

@ollef ollef merged commit 2b007b7 into ollef:master Oct 24, 2025
4 checks passed
@ollef
Copy link
Copy Markdown
Owner

ollef commented Oct 24, 2025

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants