[Agda] problem in installing QuickCheck

[Andrea Vezzosi]

In the same way as cabal-install prefers base-3 over base-4 it also prefers
QuickCheck < 2, so

  cabal install QuickCheck

will try to install the 1.2.0.0 version, but you can still use

  cabal install QuickCheck-2.1.0.0

to override this preference.
Also, if you just run "cabal install" from a directory containing a .cabal
file it will install the required versions of the dependencies
automatically, before building the package in it.

On Sun, Nov 16, 2008 at 10:37 AM, Nils Anders Danielsson
<nad at cs.nott.ac.uk>wrote:

> On 2008-11-16 05:07, Gyesik Lee wrote:
>
>> Test/QuickCheck/Exception.hs:12:31:
>>   Class `Exception' used as a type
>>   In the type `Exception'
>>   In the type `Either Exception a'
>>   In the type `IO (Either Exception a)'
>>
>
> You get these problems when you are using the new base-4 library (which
> comes with GHC 6.10) instead of the old base-3 (which also comes with
> GHC 6.10). If you are using a new version of cabal-install to install
> things, then it should automatically select base-3 for you here. So, I
> would try
>
>  cabal upgrade cabal-install
>
> followed by
>
>  cabal --version
>
> to make sure that the version that you just installed is used, and then
>
>  cabal install QuickCheck.
>
> --
> /NAD
>
>
> This message has been checked for viruses but the contents of an attachment
> may still contain software viruses, which could damage your computer
> system:
> you are advised to perform your own checks. Email communications with the
> University of Nottingham may be monitored as permitted by UK legislation.
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20081120/63bd11a6/attachment.html