![[BACK]](/icons/back.gif){kind=icon}
Up to [cvs.NetBSD.org] / pkgsrc / devel / hs-QuickCheck
Request diff between arbitrary revisions
Keyword substitution: kv
Default branch: MAIN
recursive revbump after patching lang/ghc910
Bump all Haskell packages after switching the default compiler.
devel/hs-QuickCheck: update to QuickCheck-2.15.0.1 No release notes have been provided by the upstream.
Recursive revbump after changing the default Haskell compiler
devel/hs-QuickCheck: Update to 2.15 QuickCheck 2.15 * BREAKING: properties without quantification are no longer implicitly wrapped in once * Add witness property modifier and witnesses field in result on compilers that support Typeable to allow conveniently exposing counterexamples * Add assertException, assertExceptionIO, assertDeepException, and assertDeepExceptionIO (thanks to Alexey Kuleshevich) * Add withMaxSize, withMaxShrinks, and withMaxDiscardRatio combinators * Add recheck * Add HasCallStack to partial top-level functions * Updated some documentation * Fix overflow bug when calculating discard ratio * Fix error printing bug when shrinks are discarded * Fix withMaxSuccess not working when checkCoverage is turned on * Fix a bug whereby an unfortunately timed discard could unduly fail a property running with checkCoverage * Fix Arbitrary intance for Map breaking invariants from Data.Map.Strict (thanks to Neil Mayhew) * Fix non-covered classes not showing up in output as 0% covered * Fix Negative's Arbitrary instance discarding an unnecessary number of generated values. * Fix promote doing an unnecessary seed split * Fix a bug whereby maxSuccess and discardRatio would interact poorly to produce too few size increases. * Fix a couple of underflow bugs in generators for Small Natural and Ratio Natural * Fix a bug whereby the internal DISCARDED exception would show up user-side in sample
Revbump all Haskell after updating lang/ghc96
devel/hs-QuickCheck: Update to 2.14.3 QuickCheck 2.14.3 (released 2023-05-31) * Add shrinkBoundedEnum (thanks to Jonathan Knowles) * Add discardAfter for discarding tests on timeout (thanks to Justus Sagemüller) * Add assertWith for monadic testing (thanks to KtorZ) * Add functionElements to Test.QuickCheck.Function (thanks to Oleg Grenrus) * Add Arbitrary instance for Newline (thanks to Daniel Bramucci) * Improve Arbitrary instances for Float and Double (thanks to Oleg Grenrus) * Improve arbitrarySizedFractional (thanks to Bodigrim) * Fix shrinkRealFrac and shrinkDecimal, which were broken * Speed up printing of progress messages (thanks to Bodigrim) * Add COMPLETE pragmas for Fn and family (thanks to ilkecan) * Make templateHaskell flag manual (thanks to Oleg Grenrus)
Bump Haskell packages after updating lang/ghc94
revbump all the Haskell packages after modifying the runtime system of lang/ghc94
Bump all Haskell packages after enabling "split sections" in mk/haskell.mk
revbump after changing the default Haskell compiler
Bump packages that depends on GHC
*: Bump PKGREVISION for ghc-9.0.1
Update to QuickCheck-2.14.2
QuickCheck 2.14.2 (released 2020-11-14)
* Add Arbitrary instances for Tree (thanks to Oleg Grenrus)
* GHC 9.0 compatibility (thanks to Vilem-Benjamin Liepelt)
QuickCheck 2.14.1 (released 2020-07-05)
* Compatibility with random >= 1.2.
QuickCheck 2.14 (released 2020-03-28)
* QuickCheck is now much faster at generating test data!
As a result, many properties can now be tested a lot faster; the
examples distributed with QuickCheck run about twice as fast as
before, for example. Of course, your mileage may vary.
The reason for this is that there are now specialised versions of
the 'choose' combinator for various types. These are: chooseInt,
chooseInteger, chooseBoundedIntegral, and chooseEnum. These
combinators are identical to 'choose' but much faster. All
QuickCheck combinators, with the exception of 'choose' itself, use
the new combinators behind the scenes.
You should see a speedup without doing anything, but to get a
further speedup, consider replacing any uses of 'choose' in your own
generators with the new combinators.
We are hoping that future releases of the 'random' library may speed
up 'choose', in which case these combinators may no longer be
needed.
Thanks to Oleg Grenrus for suggesting to bypass 'choose' for random
number generation, and providing the appropriate primitive in his
'splitmix' random number library.
* Smaller changes and bugfixes:
- RecursivelyShrink and GSubterms are exported from
Test.QuickCheck.Test (thanks to Tom Mortiboy).
- Don't generate invalid unicode characters (thanks to Boris
Stepanov).
- When a call to 'within' fails, include the duration of the timeout
in the failure report (thanks to William Rusnack).
- In Gen, avoid splitting the seed in the implementation of >>, *>
and <* (thanks to David Feuer).
- Fix a couple of bugs with shrinking of floating-point numbers.
- Export functionMapWith, functionEitherWith and functionPairWith
from Test.QuickCheck.Function (thanks to Oleg Grenrus).
- Remove redundant RealFloat constraint from Arbitrary/CoArbitrary
instances for Complex (thanks to Bodigrim).
Update to QuickCheck-2.13.2 Changes: http://hackage.haskell.org/package/QuickCheck-2.13.2/changelog
Bump PKGREVISION for hs-primitive-0.6.1.0 || hs-vector-0.11.0.0 || hs-mwc-random-0.13.3.2 || hs-vector-algorithms-0.7.0.1
Because this error: ERROR: hs-primitive>=0.5.4 is not installed; can't buildlink files. Bump PKGREVISION for hs-primitive-0.5.4.0
Forgot to add a dependency on devel/hs-transformers. Bump revision I badly want buildlink for Haskell packages, though it's not very easy to implement...
Import QuickCheck-2.7.6 from wip/hs-QuickCheck QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.