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

Dirk Ullrich dirk.ullrich at googlemail.com
Sat May 5 10:14:44 CEST 2012

FYI ...

---------- Forwarded message ----------
From: Lennart Augustsson <lennart at augustsson.net>
Date: 2012/5/5
Subject: Re: Fix for `geniplate' to build with `template-haskell-', too
To: Dirk Ullrich <dirk.ullrich at googlemail.com>

Thanks.  I will apply and upload a new version.

On May 5, 2012 2:40 AM, "Dirk Ullrich" <dirk.ullrich at googlemail.com> wrote:
> Hello Lennart,
> your Haskell package `geniplate-' does not build with GHC 7.4.
> This seems to be caused by the `template-haskell-2.7.x' package used
> in this GHC version: `template-haskell-2.7.x' has changed the
> definition of its `Quasi' class. To fix it I've wrapped the
> differences using CPP macros.
> The patch attached contains this change.
> I've succeeded to build the patched versions with both GHC 7.2 and
> 7.4. In both case the example program `examples/Main.hs' produces the
> same output like for the unpatched `geniplate'. And the newest version
> of Agda 2 from its darcs repository - using `geniplate' - seems to
> work, too.
> Dirk

More information about the Agda mailing list