[Agda] Building Agda with ghc-6.12.3: build failure on geniplate
Guillaume Brunerie
guillaume.brunerie at gmail.com
Wed Oct 10 22:21:03 CEST 2012
Hello,
I’m trying to build Agda with ghc-6.12.3 (on the computers of the
Institute for Advanced Study), but geniplate-0.6.0.2 fails to build.
I’ve searched on Internet and it seems that this problem is known and
that Nils Anders Danielsson has already sent a patch to make geniplate
build with ghc-6.12.3 but this patch does not seem to have been
applied upstream and I can’t find it anywhere.
Where can I find this patch?
Thank you,
Guillaume Brunerie
More information about the Agda
mailing list