QuickCheck compilation broken for GHC-7.4.0

Herbert Valerio Riedel hvriedel at gmail.com
Sat Dec 17 17:41:01 GMT 2011


Hello QC Devs,

Due to the Num-typeclass not having the Show superclass anymore, the
following minor fix is required to make QuickCheck compile w/ the latest
GHC-7.4.0 nightly builds:


diff -ru QuickCheck-2.4.1.1/Test/QuickCheck/Text.hs QuickCheck-2.4.1.1-fixed/Test/QuickCheck/Text.hs
--- QuickCheck-2.4.1.1/Test/QuickCheck/Text.hs	2011-12-17 18:32:44.505727472 +0100
+++ QuickCheck-2.4.1.1-fixed/Test/QuickCheck/Text.hs	2011-12-17 18:29:37.245732115 +0100
@@ -40,7 +40,7 @@
 instance Show Str where
   show (MkStr s) = s
 
-ranges :: Integral a => a -> a -> Str
+ranges :: (Show a, Integral a) => a -> a -> Str
 ranges k n = MkStr (show n' ++ " -- " ++ show (n'+k-1))
  where
   n' = k * (n `div` k)




PS: ...and btw, "darcs get http://code.haskell.org/QuickCheck/" as
announced on http://hackage.haskell.org/package/QuickCheck-2.4.1.1
doesn't seem to work; it bails out with

darcs failed:  Not a repository: http://code.haskell.org/QuickCheck
(Failed to download URL
http://code.haskell.org/QuickCheck/_darcs/inventory: HTTP response code
said error)




More information about the QuickCheck mailing list