Hello community, here is the log from the commit of package ghc-QuickCheck for openSUSE:Factory checked in at 2018-10-25 08:18:00 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-QuickCheck (Old) and /work/SRC/openSUSE:Factory/.ghc-QuickCheck.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-QuickCheck" Thu Oct 25 08:18:00 2018 rev:15 rq:642889 version:2.12.6.1 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-QuickCheck/ghc-QuickCheck.changes 2018-07-21 10:21:19.615013759 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-QuickCheck.new/ghc-QuickCheck.changes 2018-10-25 08:18:33.896012332 +0200 @@ -1,0 +2,81 @@ +Wed Oct 10 19:24:03 UTC 2018 - [email protected] + +- 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 + +------------------------------------------------------------------- Old: ---- QuickCheck-2.11.3.tar.gz New: ---- QuickCheck-2.12.6.1.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-QuickCheck.spec ++++++ --- /var/tmp/diff_new_pack.zZxGto/_old 2018-10-25 08:18:34.936011875 +0200 +++ /var/tmp/diff_new_pack.zZxGto/_new 2018-10-25 08:18:34.936011875 +0200 @@ -12,13 +12,14 @@ # license that conforms to the Open Source Definition (Version 1.9) # published by the Open Source Initiative. -# Please submit bugfixes or comments via http://bugs.opensuse.org/ +# Please submit bugfixes or comments via https://bugs.opensuse.org/ # %global pkg_name QuickCheck +%bcond_with tests Name: ghc-%{pkg_name} -Version: 2.11.3 +Version: 2.12.6.1 Release: 0 Summary: Automatic testing of Haskell programs License: BSD-3-Clause @@ -28,30 +29,40 @@ BuildRequires: ghc-Cabal-devel BuildRequires: ghc-containers-devel BuildRequires: ghc-deepseq-devel +BuildRequires: ghc-erf-devel BuildRequires: ghc-random-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-template-haskell-devel BuildRequires: ghc-tf-random-devel BuildRequires: ghc-transformers-devel +%if %{with tests} +BuildRequires: ghc-process-devel +%endif %description -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. - -The <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official -QuickCheck manual> explains how to write generators and properties; it is -out-of-date in some details but still full of useful advice. - -A user of QuickCheck has written an unofficial, but detailed, tutorial which -you can find at -<https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>. +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 provided by QuickCheck. +QuickCheck provides combinators to define properties, observe the distribution +of test data, and define test data generators. + +Most of QuickCheck's functionality is exported by the main "Test.QuickCheck" +module. The main exception is the monadic property testing library in +"Test.QuickCheck.Monadic". + +If you are new to QuickCheck, you can try looking at the following resources: + +* The <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official +QuickCheck manual>. It's a bit out-of-date in some details and doesn't cover +newer QuickCheck features, but is still full of good advice. * +<https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>, a detailed +tutorial written by a user of QuickCheck. + +The <http://hackage.haskell.org/package/quickcheck-instances +quickcheck-instances> companion package provides instances for types in Haskell +Platform packages at the cost of additional dependencies. %package devel Summary: Haskell %{pkg_name} library development files @@ -73,6 +84,9 @@ %install %ghc_lib_install +%check +%cabal_test + %post devel %ghc_pkg_recache ++++++ QuickCheck-2.11.3.tar.gz -> QuickCheck-2.12.6.1.tar.gz ++++++ ++++ 2974 lines of diff (skipped)
