QuickCheck 2 (Was: Next major platform release? Date planning.)

[Johan Tibell]

Adding the real platform mailing list this time.

On Thu, Feb 4, 2010 at 1:08 PM, Don Stewart <dons at galois.com> wrote:

> johan.tibell:
> > On Sun, Jan 31, 2010 at 2:49 PM, Don Stewart <dons at galois.com> wrote:
> >
> >     The existing release timetable is here:
> >
> >      http://trac.haskell.org/haskell-platform/wiki/ReleaseTimetable
> >
> >     But GHC 6.12 is out, and the time has come to prepare for the next
> >     release. In fact, some distros have already moved to 6.12, and the
> >     usual issues with parsec/QuickCheck are still there.
> >
> >     Let's make this release one to really clean up the QuickCheck and
> parsec
> >     mess!!
> >
> >
> > QuickCheck 2 has some really nice features, like automatic test case
> shrinking.
> >
> > However, before QuickCheck 2 can get into the platform it needs better
> > documentation. Several of the modules have nothing but type signatures in
> the
> > Haddock documentation and there's a severe lacks of examples. I was
> trying to
> > figure out how to test monadic code, using QuickCheck 2, earlier today
> but
> > after checking out the documentation and googling around some I decided I
> was
> > better off procrastinating instead. ;)
>
> What's the status of QuickCheck 1 documentation?
>

Well, there's a somewhat hard to find but good manual:

http://www.cs.chalmers.se/~rjmh/QuickCheck/manual.html

Lots of what's in there could be ported over to QC2. We need new
documentation for the new features though.

Cheers,
Johan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://projects.haskell.org/pipermail/haskell-platform/attachments/20100204/93747c53/attachment.htm