[Agda] Important: Remove mtl-2.1 from your system!!
Andreas Abel
andreas.abel at ifi.lmu.de
Tue Nov 13 17:16:32 CET 2012
Agda does not work at all if the version of mtl cabal selects is 2.1.
On 13.11.2012 17:14, Andreas Abel wrote:
> mtl-2.1 is severly broken.
>
> I got <<loop>> on one of the systems I tried and found that the problem
> is in mtl-2.1. Took me 2 days of shrinking Agda to a few lines of
> Haskell code.
>
> cabal install mtl-2.1.2
> cabal install Agda
>
> should fix this. (Maybe you have to remove mtl-2.1 before, which is a
> good idea anyway.)
>
> Cheers,
> Andreas
>
> On 13.11.2012 15:52, Andrés Sicard-Ramírez wrote:
>>
>>
>> On Tue, Nov 13, 2012 at 9:35 AM, Nils Anders Danielsson <nad at chalmers.se
>> <mailto:nad at chalmers.se>> wrote:
>>
>> On 2012-11-13 14:28, Cezar Ionescu wrote:
>>
>> /usr/local/bin/ghc is version 7.4.2
>>
>>
>> I tried to compile Agda 2.3.2 using GHC 7.4.2, and didn't get this
>> behaviour. Then I made sure to use exactly the same versions of the
>> dependencies as you used, and then I /did/ get this behaviour.
>>
>> Differences:
>>
>> Works: Broken:
>>
>> cpphs-1.13.3 cpphs-1.14
>> hashable-1.1.2.3 hashable-1.1.2.5
>> haskeline-0.7.0.2 haskeline-0.7.0.3
>> haskell-src-exts-1.13.3 haskell-src-exts-1.11.1
>> mtl-2.1.1 mtl-2.1
>> terminfo-0.3.2.3 terminfo-0.3.2.5
>> text-0.11.2.1 text-0.11.2.0
>> unordered-containers-0.2.1.0 unordered-containers-0.2.2.1
>>
>>
>> In my case using Cezar's dependencies with the following exceptions it
>> works:
>>
>> Works Broken
>>
>> mtl-2.1.1 mtl-2.1
>> haskell-src-exts-1.13.5 haskell-src-exts-1.11.1
>> hashtables-1.0.1.8 hashtables-1.0.1.6
>> QuickCheck-2.5 QuickCheck-2.4.2
>>
>> --
>> Andrés
--
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/
More information about the Agda
mailing list