3 Dec
2007
3 Dec
'07
4:58 p.m.
On 12/3/07, Henning Thielemann
And it doesn't even return IO Bool, so I can't use quickCheck to write my own function that calls System.Exit.exitFailure
This problem was discussed recently: http://www.haskell.org/pipermail/haskell-cafe/2007-November/034811.html
Yes, quickCheck' from QuickCheck 2 (http://darcs.haskell.org/QuickCheck/Test/QuickCheck/Test.hs) would do the trick. Are there any plans to upgrade Test.QuickCheck to version 2 in GHC?