[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