[Agda] Agda compile failure on GHC 7.4

[Nils Anders Danielsson]

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.

In the meantime you can force the use of the old directory package by
using "cabal install -fold-time".

-- 
/NAD