From b1146d97194acf6806d20d43d6ba50265aa1425c Mon Sep 17 00:00:00 2001 From: Herbert Valerio Riedel Date: Sat, 28 Nov 2015 13:27:34 +0100 Subject: [PATCH] Remove redundant constraints GHC 8 will complain about also tested this still works with the older QuickCheck 2.6 --- src/Data/Ranged/RangedSet.hs | 4 ++-- src/Data/Ranged/Ranges.hs | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Data/Ranged/RangedSet.hs b/src/Data/Ranged/RangedSet.hs index df2f382..f6777b3 100644 --- a/src/Data/Ranged/RangedSet.hs +++ b/src/Data/Ranged/RangedSet.hs @@ -249,7 +249,7 @@ rSetUnfold bound upperFunc succFunc = RSet $ normalise $ ranges1 bound -- QuickCheck Generators -instance (Arbitrary v, DiscreteOrdered v, Show v) => +instance (Arbitrary v, DiscreteOrdered v) => Arbitrary (RSet v) where arbitrary = frequency [ @@ -266,7 +266,7 @@ instance (Arbitrary v, DiscreteOrdered v, Show v) => rangeList (b1:b2:bs) = Range b1 b2 : rangeList bs rangeList _ = [] -instance (CoArbitrary v, DiscreteOrdered v, Show v) => +instance (CoArbitrary v, DiscreteOrdered v) => CoArbitrary (RSet v) where coarbitrary (RSet ls) = variant (0 :: Int) . coarbitrary ls diff --git a/src/Data/Ranged/Ranges.hs b/src/Data/Ranged/Ranges.hs index 5ff8c05..fb1d453 100644 --- a/src/Data/Ranged/Ranges.hs +++ b/src/Data/Ranged/Ranges.hs @@ -215,7 +215,7 @@ rangeDifference r1@(Range lower1 upper1) (Range lower2 upper2) = -- QuickCheck generators -instance (Arbitrary v, DiscreteOrdered v, Show v) => +instance (Arbitrary v, DiscreteOrdered v) => Arbitrary (Range v) where arbitrary = frequency [ @@ -234,7 +234,7 @@ instance (Arbitrary v, DiscreteOrdered v, Show v) => (1, return fullRange) ] -instance (CoArbitrary v, DiscreteOrdered v, Show v) => +instance (CoArbitrary v, DiscreteOrdered v) => CoArbitrary (Range v) where coarbitrary (Range lower upper) =