proposal for updates in next major HP release

Duncan Coutts duncan.coutts at worc.ox.ac.uk
Fri Aug 14 15:28:03 EDT 2009


On Fri, 2009-08-14 at 16:46 +0100, Neil Mitchell wrote:
> 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.

Yes, it is a significant update. That's why we're asking people to think
about it and decide if they want it updated now or later.

My personal opinion is that QC2 is great and we should update to it now.

Duncan



More information about the Libraries mailing list