quickcheck and ghci

Koen Claessen koen at chalmers.se
Tue Apr 26 08:39:15 BST 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). Do you have a suggestion
of how to do this?


On Tue, Apr 26, 2011 at 6:46 AM, Joachim Breitner <nomeata at debian.org> wrote:
> Hi Joey,
> Am Montag, den 25.04.2011, 15:29 -0400 schrieb Joey Hess:
>> Joachim Breitner wrote:
>> > unfortunately, that seems to be the case. Or, if you want to go through
>> > the trouble, make a build-time check whether to build and run the tests.
>> >
>> > Additionally, it could help if occasionaly people let upstream know that
>> > we would be glad to have TH support on all arches. But without people
>> > actually tackling the issues, I don’t expect much changes.
>> Isn't this a regression from ghc 6? libghc6-quickcheck2-dev was available
>> everywhere.
> unfortunately, yes. was not using QuickCheck yet.
> I’m adding the quickcheck developers to the CC (I hope their mailing
> list accepts non-subscriber posts). Here is the issue:
> Quickcheck started to use TH which is not available on all
> architectures, which causes problems. Do you really _need_ TH or could
> you, using some copy’n’pasting, achieve the same without? And if you
> really need it, could you imagine making it optional, via a flag?
> Thanks,
> Joachim
> --
> Joachim "nomeata" Breitner
> Debian Developer
>  nomeata at debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
>  JID: nomeata at joachim-breitner.de | http://people.debian.org/~nomeata
> _______________________________________________
> QuickCheck mailing list
> QuickCheck at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/quickcheck

More information about the QuickCheck mailing list