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

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Tue Nov 13 15:52:51 CET 2012


On Tue, Nov 13, 2012 at 9:35 AM, Nils Anders Danielsson <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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121113/a4000830/attachment-0001.html


More information about the Agda mailing list