Hello community, here is the log from the commit of package ghc-QuickCheck for openSUSE:Factory checked in at 2018-05-30 11:54:56 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-QuickCheck (Old) and /work/SRC/openSUSE:Factory/.ghc-QuickCheck.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-QuickCheck" Wed May 30 11:54:56 2018 rev:13 rq:607863 version:2.11.3 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-QuickCheck/ghc-QuickCheck.changes 2017-03-14 10:04:16.359700125 +0100 +++ /work/SRC/openSUSE:Factory/.ghc-QuickCheck.new/ghc-QuickCheck.changes 2018-05-30 12:22:40.915222041 +0200 @@ -1,0 +2,78 @@ +Mon May 14 17:02:11 UTC 2018 - [email protected] + +- Update QuickCheck to version 2.11.3. + * New features: + - InfiniteList modifier generates infinite lists and shows + only the relevant part. + - applyArbitrary2/3/4 for applying a function to random + arguments. + - Template Haskell function allProperties returns all + properties in a module. + * Applicative Gen instances do less splitting. + * Property now has a Typeable instance. + * (===) now prints correct output when the property is true. + * Test.QuickCheck now exports Fun constructor. + * verboseCheck output is now slightly less confusing. + * Arbitrary instances for Foreign.C.Types are available in more + GHC versions. + * Fixed a bug where withMaxSuccess didn't adjust the allowed + number of discarded tests. + * Remove quadratic behaviour in terminal output. + * New combinators: + - withMaxSuccess sets the maximum number of test cases for a property. + - shrinkMap/shrinkMapBy are helpers for defining shrink functions. + - total checks that a value is non-crashing. + - suchThatMap is similar to 'suchThat' + but takes a Maybe-returning function instead of a predicate. + - getSize returns the current test case size. + * Random strings and characters now include Unicode characters by + default. To generate only ASCII characters, use the new + ASCIIString modifier or arbitraryASCIIChar generator. + The following modifiers and generators also control the + kind of strings generated: UnicodeString, PrintableString, + arbitraryUnicodeChar, arbitraryPrintableChar. + * QuickCheck no longer catches asynchronous exceptions, which + means that pressing ctrl-C will now cancel testing without + printing a counterexample. If you are debugging an infinite loop, + please use the 'within' combinator or 'verboseCheck' instead. + ('within' is better as it allows the counterexample to be + shrunk.) + * Much of Test.QuickCheck.Function (showable random functions) + is now exported from Test.QuickCheck. + - Test.QuickCheck.Function now defines functions and + pattern synonyms which simplify testing functions of + more than one argument: apply2, apply3, Fn2, Fn3. + * New typeclasses Arbitrary1 and Arbitrary2 which lift Arbitrary + to unary/binary type constructors, like in Data.Functor.Classes. + * Some Arbitrary instances have been removed: NonEmpty, Natural. + This is because they resulted in a lot of extra dependencies. + You can now find them in the quickcheck-instances package. + Alternatively, use the NonEmptyList and NonNegative modifiers. + * New Arbitrary instances for the following types: Proxy, ExitCode, + WrappedMonad, WrappedArrow, QCGen, and the types in + Foreign.C.Types and Data.Functor.{Product,Compose}. + Also a Function instance for Word. + * The functions in Test.QuickCheck.Monadic which take an argument + of type PropertyM m a now expect that 'a' to be Testable, and test it. + To reduce breakage from this, () is now an instance of Testable which + always succeeds. + - PropertyM now has a MonadFail instance on recent GHCs. + Furthermore, the constraints on some instances were loosened. + * Miscellaneous API changes: + - Result now returns the counterexample as a list of strings. + See the "failingTestCase" field. + - Args now has a `maxShrinks` argument, the maximum number of + shrinks to try before giving up shrinking. + - The 'labels' field of Result now encodes frequencies as Doubles + rather than Ints. + * Bugfixes: + - 'Test.QuickCheck.Function', 'Test.QuickCheck.Poly', and + 'Test.QuickCheck.Monadic' are now Safe modules. + - Result.theException and Result.reason were taken from + the pre-shrunk counterexample, not the shrunk one. + - The Testable Property instance improperly used 'again'. + - Gen.>>= is strict in the result of split, fixing a space leak. + - within now gives a better error message on timeout + * Some more examples and links have been added to the documentation. + +------------------------------------------------------------------- Old: ---- QuickCheck-2.9.2.tar.gz New: ---- QuickCheck-2.11.3.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-QuickCheck.spec ++++++ --- /var/tmp/diff_new_pack.EJT4LJ/_old 2018-05-30 12:22:41.623201305 +0200 +++ /var/tmp/diff_new_pack.EJT4LJ/_new 2018-05-30 12:22:41.627201188 +0200 @@ -1,7 +1,7 @@ # # spec file for package ghc-QuickCheck # -# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany. +# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany. # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -17,26 +17,22 @@ %global pkg_name QuickCheck -%bcond_with tests Name: ghc-%{pkg_name} -Version: 2.9.2 +Version: 2.11.3 Release: 0 Summary: Automatic testing of Haskell programs License: BSD-3-Clause -Group: Development/Languages/Other -Url: https://hackage.haskell.org/package/%{pkg_name} +Group: Development/Libraries/Haskell +URL: https://hackage.haskell.org/package/%{pkg_name} Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz BuildRequires: ghc-Cabal-devel BuildRequires: ghc-containers-devel +BuildRequires: ghc-deepseq-devel BuildRequires: ghc-random-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-template-haskell-devel BuildRequires: ghc-tf-random-devel BuildRequires: ghc-transformers-devel -BuildRoot: %{_tmppath}/%{name}-%{version}-build -%if %{with tests} -BuildRequires: ghc-test-framework-devel -%endif %description QuickCheck is a library for random testing of program properties. @@ -49,12 +45,17 @@ QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. -You can find a (slightly out-of-date but useful) manual at -<http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html>. +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>. %package devel Summary: Haskell %{pkg_name} library development files -Group: Development/Libraries/Other +Group: Development/Libraries/Haskell Requires: %{name} = %{version}-%{release} Requires: ghc-compiler = %{ghc_version} Requires(post): ghc-compiler = %{ghc_version} @@ -72,9 +73,6 @@ %install %ghc_lib_install -%check -%cabal_test - %post devel %ghc_pkg_recache @@ -82,11 +80,9 @@ %ghc_pkg_recache %files -f %{name}.files -%defattr(-,root,root,-) -%doc LICENSE +%license LICENSE %files devel -f %{name}-devel.files -%defattr(-,root,root,-) %doc README changelog examples %changelog ++++++ QuickCheck-2.9.2.tar.gz -> QuickCheck-2.11.3.tar.gz ++++++ ++++ 4303 lines of diff (skipped)
