quickcheck and ghci

Marco Túlio Gontijo e Silva marcot at debian.org
Tue Apr 26 13:10:59 BST 2011


Excerpts from Koen Claessen's message of Ter Abr 26 04:39:15 -0300 2011:
> The dependency on TH was introduced when we added support for
> "QuickCheck all properties in this module" functionality.
> So, the TH dependency is restricted to only one QuickCheck module,
> which you do not have to use if you do not want to. I am not sure what
> the right way is to express this dependency in cabal (or debian!), but
> I am sure that Nick Smallbone does (CC-ed).

He is not on Cc list.  Maybe you forgot to include him, or he is in Bcc.

> Do you have a suggestion of how to do this?

You can include a Cabal flag for this to make it possible to disable it while
building the Cabal package.  This would also make it easy to disable it on the
Debian package.

A second approach is to split this module in another package, for example,
quickcheck-th.  The advantage is that, with the first approach, we either
remove this module from Debian or keep the undesired dependency in TH.  With
the second approach, the module can be kept in Debian without requiring the
dependency in TH for the quickcheck package.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: not available
URL: <http://projects.haskell.org/pipermail/quickcheck/attachments/20110426/c33f75e0/attachment.pgp>

More information about the QuickCheck mailing list