[Agda] Problems with emacs agda-mode after upgrading to 2.3.2

Andreas Abel andreas.abel at ifi.lmu.de
Tue Nov 13 17:14:19 CET 2012


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
>
>
>
> _______________________________________________
> 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/


More information about the Agda mailing list