[Agda] Fwd: Fix for `geniplate' to build with `template-haskell-', too

Nils Anders Danielsson nad at chalmers.se
Sat May 5 14:21:41 CEST 2012

On 2012-05-05 12:55, Wojciech Jedynak wrote:
> For what it's worth, I also asked to fix geniplate so that it would
> work with GHC 7.0 :-)

A couple of weeks ago I sent a patch to Lennart which makes geniplate
build under GHC 6.12.3, 7.0.1, 7.2.2 and 7.4.1. (We no longer support
GHC 6.10.4.)


More information about the Agda mailing list