[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