Hello community, here is the log from the commit of package ghc-QuickCheck for openSUSE:Factory checked in at 2019-07-29 17:25:53 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-QuickCheck (Old) and /work/SRC/openSUSE:Factory/.ghc-QuickCheck.new.4126 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-QuickCheck" Mon Jul 29 17:25:53 2019 rev:18 rq:715407 version:2.13.2 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-QuickCheck/ghc-QuickCheck.changes 2019-06-19 21:11:50.822710248 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-QuickCheck.new.4126/ghc-QuickCheck.changes 2019-07-29 17:25:58.486311464 +0200 @@ -1,0 +2,9 @@ +Mon Jul 1 02:02:25 UTC 2019 - [email protected] + +- 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 + +------------------------------------------------------------------- Old: ---- QuickCheck-2.13.1.tar.gz QuickCheck.cabal New: ---- QuickCheck-2.13.2.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-QuickCheck.spec ++++++ --- /var/tmp/diff_new_pack.JwNYHy/_old 2019-07-29 17:25:59.154311216 +0200 +++ /var/tmp/diff_new_pack.JwNYHy/_new 2019-07-29 17:25:59.158311215 +0200 @@ -19,14 +19,13 @@ %global pkg_name QuickCheck %bcond_with tests Name: ghc-%{pkg_name} -Version: 2.13.1 +Version: 2.13.2 Release: 0 Summary: Automatic testing of Haskell programs License: BSD-3-Clause 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 -Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/2.cabal#/%{pkg_name}.cabal BuildRequires: ghc-Cabal-devel BuildRequires: ghc-containers-devel BuildRequires: ghc-deepseq-devel @@ -77,7 +76,6 @@ %prep %setup -q -n %{pkg_name}-%{version} -cp -p %{SOURCE1} %{pkg_name}.cabal %build %ghc_lib_build ++++++ QuickCheck-2.13.1.tar.gz -> QuickCheck-2.13.2.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/QuickCheck-2.13.1/QuickCheck.cabal new/QuickCheck-2.13.2/QuickCheck.cabal --- old/QuickCheck-2.13.1/QuickCheck.cabal 2019-03-29 06:56:48.000000000 +0100 +++ new/QuickCheck-2.13.2/QuickCheck.cabal 2019-06-30 21:57:31.000000000 +0200 @@ -1,5 +1,5 @@ Name: QuickCheck -Version: 2.13.1 +Version: 2.13.2 Cabal-Version: >= 1.8 Build-type: Simple License: BSD3 @@ -56,14 +56,22 @@ source-repository this type: git location: https://github.com/nick8325/quickcheck - tag: 2.13.1 + tag: 2.13.2 flag templateHaskell Description: Build Test.QuickCheck.All, which uses Template Haskell. Default: True library - Build-depends: base >=4.3 && <5, random, containers + Build-depends: base >=4.3 && <5, random >=1.0.0.3 && <1.2, containers + + -- random is explicitly Trustworthy since 1.0.1.0 + -- similar constraint for containers + -- Note: QuickCheck is Safe only with GHC >= 7.4 (see below) + if impl(ghc >= 7.2) + Build-depends: random >=1.0.1.0 + if impl(ghc >= 7.4) + Build-depends: containers >=0.4.2.1 -- Modules that are always built. Exposed-Modules: diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/QuickCheck-2.13.1/Test/QuickCheck/Function.hs new/QuickCheck-2.13.2/Test/QuickCheck/Function.hs --- old/QuickCheck-2.13.1/Test/QuickCheck/Function.hs 2019-01-19 22:22:47.000000000 +0100 +++ new/QuickCheck-2.13.2/Test/QuickCheck/Function.hs 2019-06-30 21:57:31.000000000 +0200 @@ -1,4 +1,4 @@ -{-# LANGUAGE TypeOperators, GADTs, CPP #-} +{-# LANGUAGE TypeOperators, GADTs, CPP, Rank2Types #-} #ifndef NO_SAFE_HASKELL {-# LANGUAGE Safe #-} #endif @@ -48,6 +48,7 @@ , functionIntegral , functionRealFrac , functionBoundedEnum + , functionVoid #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708 , pattern Fn , pattern Fn2 @@ -174,6 +175,13 @@ functionShow :: (Show a, Read a) => (a->c) -> (a:->c) functionShow f = functionMap show read f +-- | Provides a 'Function' instance for types isomorphic to 'Data.Void.Void'. +-- +-- An actual @'Function' 'Data.Void.Void'@ instance is defined in +-- @quickcheck-instances@. +functionVoid :: (forall b. void -> b) -> void :-> c +functionVoid _ = Nil + -- | The basic building block for 'Function' instances. -- Provides a 'Function' instance by mapping to and from a type that -- already has a 'Function' instance. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/QuickCheck-2.13.1/Test/QuickCheck/Gen.hs new/QuickCheck-2.13.2/Test/QuickCheck/Gen.hs --- old/QuickCheck-2.13.1/Test/QuickCheck/Gen.hs 2019-03-27 08:42:06.000000000 +0100 +++ new/QuickCheck-2.13.2/Test/QuickCheck/Gen.hs 2019-06-30 21:57:31.000000000 +0200 @@ -189,6 +189,11 @@ -- The input list must be non-empty. frequency :: [(Int, Gen a)] -> Gen a frequency [] = error "QuickCheck.frequency used with empty list" +frequency xs + | any (< 0) (map fst xs) = + error "QuickCheck.frequency: negative weight" + | all (== 0) (map fst xs) = + error "QuickCheck.frequency: all weights were zero" frequency xs0 = choose (1, tot) >>= (`pick` xs0) where tot = sum (map fst xs0) diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/QuickCheck-2.13.1/Test/QuickCheck/Monadic.hs new/QuickCheck-2.13.2/Test/QuickCheck/Monadic.hs --- old/QuickCheck-2.13.1/Test/QuickCheck/Monadic.hs 2018-09-03 00:28:43.000000000 +0200 +++ new/QuickCheck-2.13.2/Test/QuickCheck/Monadic.hs 2019-06-30 21:57:31.000000000 +0200 @@ -123,7 +123,9 @@ instance Monad m => Monad (PropertyM m) where return = pure (>>=) = bind +#if !MIN_VERSION_base(4,13,0) fail = fail_ +#endif #ifndef NO_MONADFAIL instance Monad m => Fail.MonadFail (PropertyM m) where diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/QuickCheck-2.13.1/Test/QuickCheck.hs new/QuickCheck-2.13.2/Test/QuickCheck.hs --- old/QuickCheck-2.13.1/Test/QuickCheck.hs 2019-03-22 16:01:07.000000000 +0100 +++ new/QuickCheck-2.13.2/Test/QuickCheck.hs 2019-06-30 21:57:31.000000000 +0200 @@ -171,6 +171,7 @@ , functionIntegral , functionRealFrac , functionBoundedEnum + , functionVoid #endif -- * The 'CoArbitrary' typeclass: generation of functions the old-fashioned way diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/QuickCheck-2.13.1/changelog new/QuickCheck-2.13.2/changelog --- old/QuickCheck-2.13.1/changelog 2019-03-29 06:20:20.000000000 +0100 +++ new/QuickCheck-2.13.2/changelog 2019-06-30 21:57:31.000000000 +0200 @@ -1,4 +1,10 @@ -QuickCheck 2.13.1 (release 2019-03-29) +QuickCheck 2.13.2 (released 2019-06-30) + * Compatibility with GHC 8.8 (thanks to Bodigrim) + * Improve error message when 'frequency' is used with only zero weights + * Add 'functionVoid' combinator (thanks to Oleg Grenrus) + * Tighten bounds for random package (thanks to Oleg Grenrus) + +QuickCheck 2.13.1 (released 2019-03-29) * A couple of bug fixes QuickCheck 2.13 (released 2019-03-26)
