[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