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

Nils Anders Danielsson nad at chalmers.se
Tue Nov 13 15:35:06 CET 2012

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.


Works:                          Broken:

cpphs-1.13.3                    cpphs-1.14
hashable-                hashable-
haskeline-               haskeline-
haskell-src-exts-1.13.3         haskell-src-exts-1.11.1
mtl-2.1.1                       mtl-2.1
terminfo-                terminfo-
text-                   text-
unordered-containers-    unordered-containers-


More information about the Agda mailing list