[Agda] New Agda dependencies cause conflict

[Andreas Abel]

Thanks.  I upgraded QuickCheck, but cabaling Agda still picked 2.1.0.3. 
  I had to modify Agda.cabal to require QuickCheck >= 2.3.  Then it worked.

Also, something was fishy with 2.1.0.3 because cabal would recompile it 
every time I was compiling Agda.

Cheers,
Andreas

On 11/16/10 9:26 PM, James Chapman wrote:
> Try upgrading QuickCheck.
>
> It might well be related to:
>
> http://code.google.com/p/agda/issues/detail?id=360
>
> Cabal's decision procedure isn't as decisive as it could be.
>
> James
>
> On , Nov 16, 2010 at 10:19 PM, Andreas Abel<andreas.abel at ifi.lmu.de>  wrote:
>> Trying to build the new darcs version I get in the end:
>>
>> ...
>> Installing library in /Users/abel/.cabal/lib/QuickCheck-2.1.0.3/ghc-6.12.1
>> Registering QuickCheck-2.1.0.3...
>> Configuring Agda-2.2.9...
>> Warning: This package indirectly depends on multiple versions of the same
>> package. This is highly likely to cause a compile failure.
>> package QuickCheck-2.1.0.3 requires mtl-1.1.0.2
>> package haskeline-0.6.3.2 requires mtl-2.0.1.0
>> package Agda-2.2.9 requires mtl-2.0.1.0
>> ...
>> cabal: dependencies conflict: Agda-2.2.9 requires mtl ==2.0.1.0 however
>> mtl-2.0.1.0 was excluded because Agda-2.2.9 requires mtl ==1.1.0.2
>>
>> Has anyone a clue what I should do about this?
>>
>> --
>> Andreas Abel<><        Du bist der geliebte Mensch.
>>
>> Theoretical Computer Science, University of Munich
>> Oettingenstr. 67, D-80538 Munich, GERMANY
>>
>> andreas.abel at ifi.lmu.de
>> http://www2.tcs.ifi.lmu.de/~abel/
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/