[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