From b51f0e80edd68bdf26eddb9c9af953ab2d103b6e Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 20 Mar 2014 11:08:40 -0400 Subject: [PATCH] fix build with QuickCheck 2.7.1 For some reason this was working w/o a cast before, despite POSIXTime etc being newtypes. It stopped working with the new QuickCheck: Utility/QuickCheck.hs:31:33: No instance for (Integral POSIXTime) arising from a use of `arbitrarySizedIntegral' Possible fix: add an instance declaration for (Integral POSIXTime) In the first argument of `nonNegative', namely `arbitrarySizedIntegral' In the expression: nonNegative arbitrarySizedIntegral In an equation for `arbitrary': arbitrary = nonNegative arbitrarySizedIntegral --- Utility/QuickCheck.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Utility/QuickCheck.hs b/Utility/QuickCheck.hs index e2539f3d69..7f7234c7c9 100644 --- a/Utility/QuickCheck.hs +++ b/Utility/QuickCheck.hs @@ -28,10 +28,10 @@ instance (Arbitrary v, Eq v, Ord v) => Arbitrary (S.Set v) where {- Times before the epoch are excluded. -} instance Arbitrary POSIXTime where - arbitrary = nonNegative arbitrarySizedIntegral + arbitrary = fromInteger <$> nonNegative arbitrarySizedIntegral instance Arbitrary EpochTime where - arbitrary = nonNegative arbitrarySizedIntegral + arbitrary = fromInteger <$> nonNegative arbitrarySizedIntegral {- Pids are never negative, or 0. -} instance Arbitrary ProcessID where