darcs patch: GenT monad transformer variant of Gen (QuickCheck 2)

[Duncan Coutts]

On Sun, 2007-08-12 at 21:36 +0100, Ian Lynagh wrote:

> I'm not sure
> * why extralibs still uses QC1,
> * whether QC2 is ready for production use, or
> * whether QC is actively maintained.
> Any light would be greatly appreciated!

And one thing about it which concerns me somewhat is that it seems to
want to remain compatible with old versions of things at the expense of
taking advantage of new features in the current libraries. That might
make sense for a package that is independently distributed but not for
one that is bundled with Haskell implementations and the latest versions
of all dependent libraries.

My concrete example is that I submitted patches to make Gen an instance
of Applicative but was told this wasn't ok since it needed to remain
compatible with ghc-6.2 or something.

IMOH, if it's part of the core set of packages it should be ok to depend
on those packages. If QC (either 1 or 2) it is governed by the library
submission process then I'll resubmit my patches with an appropriate
proposal.

Duncan