Skip to content

Raise bound: QuickCheck#114

Open
JackKelly-Bellroy wants to merge 1 commit intobiocad:masterfrom
bellroy:quickcheck-bound-bump
Open

Raise bound: QuickCheck#114
JackKelly-Bellroy wants to merge 1 commit intobiocad:masterfrom
bellroy:quickcheck-bound-bump

Conversation

@JackKelly-Bellroy
Copy link
Contributor

@JackKelly-Bellroy JackKelly-Bellroy commented Aug 21, 2025

Tested with:

  • cabal test --constraint 'QuickCheck ^>=2.16'.
  • cabal test --constraint 'QuickCheck ^>=2.17' --allow-newer=aeson:QuickCheck

Could we please have a metadata revision also?

Fixes #112

@ysangkok
Copy link
Contributor

Now QuickCheck 2.17 is released, so it probably would make sense to raise the bound to include that version too.

@JackKelly-Bellroy
Copy link
Contributor Author

We can propose a bound-raising here, but we can't solve without allow-newer because aeson won't raise bounds just yet: haskell/aeson#1147 (comment)

Since tests passed with cabal test --constraint 'QuickCheck ^>=2.17' --allow-newer=aeson:QuickCheck, I have rebased and updated this commit.

@Tristano8
Copy link

Pinging this - can it be merged?

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.

allow QuickCheck 2.16

3 participants