[Haskell-beginners] `coarbitrary' is not a (visible) method of
class `Arbitrary'
Amy de Buitléir
amy at nualeargais.ie
Sat Dec 19 09:30:10 EST 2009
Thank you Daniel, that solved it. In case anyone else is struggling
with this, here's a revised version of Test.hs which works fine for
me.
import Char
import List
import Test.QuickCheck
import Text.Printf
main = mapM_ (\(s,a) -> printf "%-25s: " s >> a) tests
-- reversing twice a finite list, is the same as identity
prop_reversereverse s = (reverse . reverse) s == id s
where _ = s :: [Int]
-- and add this to the tests list
tests = [("reverse.reverse/id", quickCheck prop_reversereverse)]
More information about the Beginners
mailing list