|
|
|
|
Changelog for ghc-QuickCheck-devel-2.14.2-8.171.x86_64.rpm :
* Thu Dec 17 2020 Ondřej Súkup - disable %{ix86} build * Sun Nov 15 2020 psimonsAATTsuse.com- Update QuickCheck to version 2.14.2. Upstream has edited the change log file since the last release in a non-trivial way, i.e. they did more than just add a new entry at the top. You can review the file at: http://hackage.haskell.org/package/QuickCheck-2.14.2/src/changelog * Tue Aug 18 2020 Peter Simons - Replace %setup -q with the more modern %autosetup macro. * Mon Jul 06 2020 psimonsAATTsuse.com- Update QuickCheck to version 2.14.1. Upstream has edited the change log file since the last release in a non-trivial way, i.e. they did more than just add a new entry at the top. You can review the file at: http://hackage.haskell.org/package/QuickCheck-2.14.1/src/changelog * Tue Jun 09 2020 psimonsAATTsuse.com- Update QuickCheck to version 2.14. QuickCheck 2.14 (release 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). * Fri Nov 08 2019 Peter Simons - Drop obsolete group attributes. * Mon Jul 01 2019 psimonsAATTsuse.com- Update QuickCheck to version 2.13.2. Upstream has edited the change log file since the last release in a non-trivial way, i.e. they did more than just add a new entry at the top. You can review the file at: http://hackage.haskell.org/package/QuickCheck-2.13.2/src/changelog * Tue Jun 11 2019 Peter Simons - Update Cabal file for more accurate build dependencies. * Sat Mar 30 2019 psimonsAATTsuse.com- Update QuickCheck to version 2.13.1. QuickCheck 2.13.1 (release 2019-03-29) * A couple of bug fixes QuickCheck 2.13 (released 2019-03-26) * Properties with multiple arguments now shrink better. Previously, the first argument was shrunk, then the second, and so on. Now, the arguments are shrunk as a whole, so shrink steps for different arguments can be interleaved. * New features: - New modifiers Negative and NonPositive - A Testable instance for Maybe prop (where Nothing means \'discard the test case\') * Dependencies on C code removed: - Use splitmix instead of tf-random for random number generation - Remove dependency on \'erf\' package * Small changes: - Say \'Falsified\' instead of \'Falsifiable\' when a property fails * Compatibility improvements: - Explicitly derive instance Typeable Args - Lower bound on deepseq - A script for building Hugs packages * Wed Oct 10 2018 psimonsAATTsuse.com- Update QuickCheck to version 2.12.6.1. QuickCheck 2.12.6 (released 2018-10-02) * Make arbitrarySizedBoundedIntegral handle huge sizes correctly. * Add changelog for QuickCheck 2.12.5 :) QuickCheck 2.12.5 (released 2018-09-30) * Export isSuccess from Test.QuickCheck. * Export CoArbitrary even when generics are disabled (bugfix). * Fix bug in shrinkDecimal. * Include Test.QuickCheck.Gen in exposed modules for Haddock. QuickCheck 2.12.3, 2.12.4 (released 2018-09-12) * Shrinking for Float and Decimal now works by reducing the number of digits in the number. The new function shrinkDecimal implements this shrinking behaviour. * Shrinking for Rational now tries to make the numerator and denominator of the number smaller. Previously it tried to reduce the magnitude of the number. QuickCheck 2.12.2 (released 2018-09-10) * Fix infinite shrinking loop for fractional types. * Add SortedList modifier. QuickCheck 2.12.1 (released 2018-09-06) * Fix bug in \'classify\'. QuickCheck 2.12 (released 2018-09-03) * Silently breaking changes! - The Arbitrary instance for Word now generates only small values, the same as Int - cover no longer causes a property failure if coverage is insufficient. It just prints a warning. (But see next item!) * Overhaul of label/cover family of combinators: - New property combinator checkCoverage, which checks coverage requirements in a statistically sound way, and *does * fail if they are not met. - Order of arguments to cover swapped, to make it easier to switch between classify and cover - New combinators tabulate and coverTable, for reporting test case distribution more flexibly than label. - When label is called multiple times in a property, each call produces a separate table of frequencies. * New functions: - (=/=): like (/=), but prints a counterexample (thanks to tom-bop) - forAllShow/forAllShrinkShow: quantification using an explicit show function (thanks to Stevan Andjelkovic) - forAllBlind/forAllShrinkBlind: quantification without printing anything - verboseShrinking: see how a counterexample is shrunk - labelledExamples: given a property which uses label, generate an example test case for each label - idempotentIOProperty: a variant of ioProperty which shrinks better but only works for idempotent I/O actions * Other improvements: - MonadFix Gen instance (thanks to Jon Fowler) - Rational numbers shrink using continued fractions (thanks to Justus Sagemüller) - Function instances for Const, Identity, and the types in Data.Monoid; instance Functor Fun (thanks to Erik Schnetter and Xia Li-yao) - More of Test.QuickCheck.Function is exported from Test.QuickCheck - Semantics of .||. changed to improve short-circuiting: if the left argument\'s precondition is false, the right argument is not evaluated and the whole disjunction is considered to have a false precondition - Bug fix: suchThatMaybe always increased size to at least 1 * Miscellaneous API changes: - Result type has changed a bit: - InsufficientCovered constructor is gone - Type of labels has changed - New fields classes, tables
|
|
|