Skip to content

Fix testLawsGroup failing to compile with QuickCheck < 2.18 - #704

Open
koslambrou wants to merge 1 commit into
masterfrom
koslambrou/fix-testlawsgroup
Open

koslambrou wants to merge 1 commit into
masterfrom
koslambrou/fix-testlawsgroup

Conversation

@koslambrou

Copy link
Copy Markdown
Contributor

The imports that testLawsGroup needs were only brought into scope inside the #if MIN_VERSION_QuickCheck(2, 18, 0) branch, even though testLawsGroup itself is defined unconditionally. Move those imports out of the CPP guard, which only needs to gate the withNumTests/withMaxSuccess compatibility shim.

Bump to 0.1.7.1, since 0.1.7.0 was already released to CHaP with this bug.

Description

Checklist

  • Commit sequence broadly makes sense and commits have useful messages
  • New tests are added if needed and existing tests are updated
  • All visible changes are prepended to the latest section of a CHANGELOG.md for the affected packages.
    New section is never added with the code changes. (See RELEASING.md)
  • When applicable, versions are updated in .cabal and CHANGELOG.md files according to the
    versioning process.
  • The version bounds in .cabal files for all affected packages are updated.
    If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
  • Self-reviewed the diff

@koslambrou
koslambrou requested a review from lehins October 13, 2026 19:36
The imports that `testLawsGroup` needs were only brought into scope
inside the `#if MIN_VERSION_QuickCheck(2, 18, 0)` branch, even though
`testLawsGroup` itself is defined unconditionally. Move those imports
out of the CPP guard, which only needs to gate the
`withNumTests`/`withMaxSuccess` compatibility shim.

Bump to 0.1.7.1, since 0.1.7.0 was already released to CHaP with
this bug.
@koslambrou
koslambrou force-pushed the koslambrou/fix-testlawsgroup branch from 1366667 to c79b5f1 Compare October 14, 2026 12:14

This branch has not been deployed

No deployments
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.

1 participant