[Agda] problem in installing QuickCheck

[Nils Anders Danielsson]

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.