Hi, I don't think I am familiar enough with QuickCheck 2. But there seems to be no verboseCheck like function, and sample and sample' is useful to printing test cases. ghci> sample (arbitrary :: Gen Int) 1 0 1 -2 -2 -5 -16 -9 -57 -115 -94 ghci> sample (arbitrary :: Gen (Int,Int)) (0,1) (-1,-1) (1,2) (3,-4) (-4,5) (11,-9) (-2,8) (18,17) (-63,-32) (-117,-71) (195,-198) ghci> f <- fmap head $ sample' (arbitrary :: Gen (Int -> Maybe Int)) ghci> map f [1..10] [Nothing,Just (-1),Just 1,Nothing,Nothing,Just 1,Nothing,Nothing,Just 1,Just 1] Thanks, Hashimoto On 2009/05/26, at 11:54, Shin-Cheng Mu wrote:
Hi,
I believe this must have been raised before but I did some searching to no avail, so please allow me..
It seems that verboseCheck is gone in QuickCheck 2. In QuickCheck 2, how do we print the test cases, specify the number of tests, or the sizes of test cases, etc.?
Thank you very much..
sincerely, Shin _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe