[Agda] Agda compile failure on GHC 7.4

Dominique Devriese dominique.devriese at cs.kuleuven.be
Sun Sep 23 19:42:26 CEST 2012


A student of mine signals that the current Agda code does not compile
on GHC 7.4.  The culprit seems to be the dependency on directory 1.2.*
in Agda.cabal. This package does not currently compile on GHC 7.4 (see
also the build failure log on its hackage page).

I propose the attached patch which makes Agda use v1.1.* of the
directory package on GHC 7.4.  I have not tested with GHC 7.6. Can
this (or an alternative fix) please be committed?

Thanks in advance,
Dominique
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Agda-ghc7.4-compile-fix.patch
Type: application/octet-stream
Size: 114151 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120923/3dd95d85/Agda-ghc7.4-compile-fix-0001.obj


More information about the Agda mailing list