[Agda] problem in installing QuickCheck

[Gyesik Lee]

Hi Andrea,

thank you for the nice tip.
Indeed I got the solution from the developer directly. He says,

=====
If you change "import Control.Exception" to "import
Control.OldException" everything should work.
=====
And it worked.

For the installation of Agda, there were another problem with 'readline', but
with the help of haskell-community, it is also solved now.

Gyesik

On Thu, Nov 20, 2008 at 11:24 AM, Andrea Vezzosi <sanzhiyan at gmail.com> wrote:
> 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
>
>