[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: quickcheck and ghci



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?

/Koen

On Tue, Apr 26, 2011 at 6:46 AM, Joachim Breitner <nomeata@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. 2.1.0.3 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@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
>  JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
>
> _______________________________________________
> QuickCheck mailing list
> QuickCheck@projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/quickcheck
>
>


Reply to: