Hi
It would be nice if the packages in the Haskell Platform met some minimum standards for documentation.
Shrinking is explained in the original QC papers -- it is a killer feature that we somehow lived without.
QuickCheck 2 is an amazing piece of work. My experience is that it finds bugs in properties that QuickCheck could never find counter-examples for. Shrinking is also fantastic. However, the change from QuickCheck 1.x to QuickCheck 2.x is a big one - it's probably of the same magnitude as haskell-src to haskell-src-exts, just with a coincidence of using the same package name. At the same time I couldn't figure out how to QuickCheck IO properties so just used unsafePerformIO - I think the pieces are there but the documentation isn't. I'm not sure if QuickCheck 2 is right to go in the HP at this particular moment - but I know I'm never using QuickCheck 1 again. Thanks, Neil