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

[Cezar Ionescu]

> > Did you mean that something like
> >
> > $ agda Foo.agda
> >
> > yields agda:<<loop>> ?
> 
> If that's the case, then I'd like to have some information, if possible:
> 
> * The file that causes the problem.

Every file causes the problem.

> * The output of "cabal install Agda-2.3.2 --dry-run -v3".

Here it is:


--------------- output of above command ------------

searching for ghc in path.
found ghc at /usr/local/bin/ghc
("/usr/local/bin/ghc",["--numeric-version"])
/usr/local/bin/ghc is version 7.4.2
looking for tool "ghc-pkg" near compiler in /usr/local/bin
found ghc-pkg in /usr/local/bin/ghc-pkg
("/usr/local/bin/ghc-pkg",["--version"])
/usr/local/bin/ghc-pkg is version 7.4.2
("/usr/local/bin/ghc",["--supported-languages"])
("/usr/local/bin/ghc",["--info"])
Reading installed packages...
("/usr/local/bin/ghc-pkg",["dump","--global","-v0"])
("/usr/local/bin/ghc-pkg",["dump","--user","-v0"])
("/usr/local/bin/ghc",["--print-libdir"])
Reading available packages...
Choosing modular solver.
Resolving dependencies...
[__0] trying: Agda-2.3.2/installed-45d...
[__1] rejecting: base-3.0.3.2, 3.0.3.1 (global constraint requires installed instance)
[__1] trying: base-4.5.1.0/installed-8a2...
[__2] trying: rts-1.0/installedbuil...
[__3] trying: integer-gmp-0.4.0.0/installed-c15...
[__4] trying: ghc-prim-0.2.0.0/installed-23f...
[__5] trying: zlib-0.5.3.3/installed-78d...
[__6] trying: xhtml-3000.2.1/installed-871...
[__7] trying: unordered-containers-0.2.2.1/installed-b58...
[__8] trying: text-0.11.2.0/installed-667...
[__9] trying: process-1.1.0.1/installed-c55...
[_10] trying: unix-2.5.1.1/installed-fcd...
[_11] trying: pretty-1.1.1.0/installed-867...
[_12] trying: parallel-3.2.0.3/installed-0c7...
[_13] trying: old-time-1.1.0.0/installed-3e0...
[_14] trying: old-locale-1.0.0.4/installed-b1d...
[_15] trying: mtl-2.1/installed-b3d...
[_16] trying: transformers-0.3.0.0/installed-288...
[_17] trying: haskell-src-exts-1.11.1/installed-ab7...
[_18] trying: cpphs-1.14/installed-315...
[_19] trying: haskeline-0.7.0.3/installed-4eb...
[_20] trying: terminfo-0.3.2.5/installed-e52...
[_21] trying: hashtables-1.0.1.6/installed-b90...
[_22] trying: vector-0.9.1/installed-c30...
[_23] trying: primitive-0.4.1/installed-768...
[_24] trying: hashable-1.1.2.5/installed-b3e...
[_25] trying: geniplate-0.6.0.3/installed-3de...
[_26] trying: template-haskell-2.7.0.0/installed-e05...
[_27] trying: filepath-1.3.0.0/installed-954...
[_28] trying: directory-1.1.0.2/installed-ef4...
[_29] trying: deepseq-1.3.0.0/installed-c8a...
[_30] trying: containers-0.4.2.1/installed-efa...
[_31] trying: bytestring-0.9.2.1/installed-ac1...
[_32] trying: binary-0.5.1.0/installed-d7c...
[_33] trying: array-0.4.0.0/installed-4f6...
[_34] trying: QuickCheck-2.4.2/installed-ce0...
[_35] trying: random-1.0.1.1/installed-de8...
[_36] trying: time-1.4/installed-b8e...
[_37] trying: extensible-exceptions-0.1.1.4/installed-3d9...
[_38] done
All the requested packages are already installed:
Agda-2.3.2
Use --reinstall if you want to reinstall anyway.


--------------- end of above command --------

Best,
Cezar.