[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