[Agda] Agda compile failure on GHC 7.4

Dominique Devriese dominique.devriese at cs.kuleuven.be
Mon Sep 24 11:17:51 CEST 2012


Nils,

2012/9/24 Nils Anders Danielsson <nad at chalmers.se>:
> On 2012-09-23 19:42, Dominique Devriese wrote:
>> 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).
>
>
> This sounds like a bug in directory's Cabal file. If it is, can you
> please report this to directory's maintainers? If they fix this quickly,
> then perhaps we don't need to take any action.

OK, I have sent a mail to libraries at haskell.org.

Thanks
Dominique


More information about the Agda mailing list