Hello community,
here is the log from the commit of package ghc-quickcheck-special for
openSUSE:Factory checked in at 2017-07-11 08:26:51
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-quickcheck-special (Old)
and /work/SRC/openSUSE:Factory/.ghc-quickcheck-special.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-quickcheck-special"
Tue Jul 11 08:26:51 2017 rev:3 rq:509059 version:0.1.0.5
Changes:
--------
---
/work/SRC/openSUSE:Factory/ghc-quickcheck-special/ghc-quickcheck-special.changes
2017-05-10 20:48:40.530442777 +0200
+++
/work/SRC/openSUSE:Factory/.ghc-quickcheck-special.new/ghc-quickcheck-special.changes
2017-07-11 08:26:52.550726849 +0200
@@ -1,0 +2,5 @@
+Fri Jun 30 03:01:59 UTC 2017 - [email protected]
+
+- Update to version 0.1.0.5.
+
+-------------------------------------------------------------------
Old:
----
quickcheck-special-0.1.0.4.tar.gz
New:
----
quickcheck-special-0.1.0.5.tar.gz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ ghc-quickcheck-special.spec ++++++
--- /var/tmp/diff_new_pack.EkqtQE/_old 2017-07-11 08:26:54.546445351 +0200
+++ /var/tmp/diff_new_pack.EkqtQE/_new 2017-07-11 08:26:54.546445351 +0200
@@ -18,7 +18,7 @@
%global pkg_name quickcheck-special
Name: ghc-%{pkg_name}
-Version: 0.1.0.4
+Version: 0.1.0.5
Release: 0
Summary: Edge cases and special values for QuickCheck Arbitrary
instances
License: MIT
++++++ quickcheck-special-0.1.0.4.tar.gz -> quickcheck-special-0.1.0.5.tar.gz
++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/quickcheck-special-0.1.0.4/quickcheck-special.cabal
new/quickcheck-special-0.1.0.5/quickcheck-special.cabal
--- old/quickcheck-special-0.1.0.4/quickcheck-special.cabal 2017-03-05
13:44:33.000000000 +0100
+++ new/quickcheck-special-0.1.0.5/quickcheck-special.cabal 2017-06-24
11:41:11.000000000 +0200
@@ -1,9 +1,9 @@
--- This file has been generated from package.yaml by hpack version 0.15.0.
+-- This file has been generated from package.yaml by hpack version 0.17.0.
--
-- see: https://github.com/sol/hpack
name: quickcheck-special
-version: 0.1.0.4
+version: 0.1.0.5
synopsis: Edge cases and special values for QuickCheck Arbitrary
instances
description: The standard Arbitrary instances of QuickCheck don't generate
special values. This is fixed by this package which provides the newtype
Special with an Arbitrary instance. The special values are given by the
SpecialValues typeclass.
category: Testing
@@ -29,7 +29,7 @@
build-depends:
base < 6
, bytestring >= 0.9 && < 0.11
- , QuickCheck >= 2.1 && < 2.10
+ , QuickCheck >= 2.1 && < 2.11
, scientific >= 0.2 && < 0.4
, text >= 0.7 && < 1.3
, ieee754 >= 0.8 && < 0.9
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/quickcheck-special-0.1.0.4/src/Test/QuickCheck/Special.hs
new/quickcheck-special-0.1.0.5/src/Test/QuickCheck/Special.hs
--- old/quickcheck-special-0.1.0.4/src/Test/QuickCheck/Special.hs
2017-03-05 12:22:50.000000000 +0100
+++ new/quickcheck-special-0.1.0.5/src/Test/QuickCheck/Special.hs
2017-04-10 15:43:49.000000000 +0200
@@ -59,17 +59,17 @@
instance SpecialValues Double where specialValues = specialIEEE
instance SpecialValues Integer where
- specialValues = [ 0, 1, -1
+ specialValues = [ 0, 1, -1, 2, -2
, fromIntegral (minBound :: Int64) - 1
, fromIntegral (maxBound :: Int64) + 1
, fromIntegral (maxBound :: Word64) + 1
]
instance SpecialValues Natural where
- specialValues = [ 0, 1, fromIntegral (maxBound :: Word64) + 1 ]
+ specialValues = [ 0, 1, 2, fromIntegral (maxBound :: Word64) + 1 ]
instance SpecialValues Rational where
- specialValues = [ 0, 1, -1, 0 % 1, - 0 % 1]
+ specialValues = [ 0, 1, -1, 2, -2, 0 % 1, - 0 % 1]
instance SpecialValues Char where
specialValues = specialBoundedEnum ++ "\0\a\b\f\n\r\t\v\'\"\\aä "
@@ -115,10 +115,22 @@
specialIEEE :: IEEE a => [a]
specialIEEE = list ++ map negate list
- where list = [nan, 0, 1, epsilon, infinity, minDenormal, minNormal,
maxFinite]
+ where list = [ nan, 0, 1, epsilon, infinity
+ , minDenormal, succIEEE minDenormal
+ , minNormal, succIEEE minNormal
+ , succIEEE minNormal
+ , maxFinite, predIEEE maxFinite
+ , 0x1000000, predIEEE 0x1000000, succIEEE 0x1000000 -- Integer
range representable by Float
+ , 0x20000000000000, predIEEE 0x20000000000000, succIEEE
0x20000000000000 -- Integer range representable by Double
+ , 0x7FFFFFFFFFFFFC00, predIEEE 0x7FFFFFFFFFFFFC00, succIEEE
0x7FFFFFFFFFFFFC00 -- Largest Int64 value representable by Double
+ , 0x8000000000000000, predIEEE 0x8000000000000000, succIEEE
0x8000000000000000 -- Largest Word64 value representable by Float and Double
+ , 0x7000000000000000, predIEEE 0x7000000000000000, succIEEE
0x7000000000000000 -- Largest Int64 value representable by Float
+ , 0x7000000, predIEEE 0x7000000, succIEEE 0x7000000 -- Largest
Int32 value representable by Float and Double
+ , 0x8000000, predIEEE 0x8000000, succIEEE 0x8000000 -- Largest
Word32 value representable by Float and Double
+ ]
specialInt :: (Num a, Bounded a) => [a]
-specialInt = [0, 1, -1, minBound, maxBound, minBound + 1, maxBound - 1]
+specialInt = [0, 1, -1, 2, -2, minBound, maxBound, minBound + 1, maxBound - 1,
minBound + 2, maxBound - 2]
specialBoundedEnum :: (Enum a, Bounded a) => [a]
specialBoundedEnum = [minBound, maxBound, succ minBound, pred maxBound]
