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

[Nils Anders Danielsson]

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

-- 
/NAD