[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


I’m trying to build Agda with ghc-6.12.3 (on the computers of the
Institute for Advanced Study), but geniplate- 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