Skip to content

Raise bound: QuickCheck#114

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

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

Conversation

@JackKelly-Bellroy

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

Copy link
Copy Markdown
Contributor

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
Copy Markdown
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
Copy Markdown
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
Copy Markdown

Pinging this - can it be merged?

@thomasjm

Copy link
Copy Markdown

Hello, another ping here. Would love to see this released.

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

4 participants