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

[Dirk Ullrich]

FYI ...


---------- Forwarded message ----------
From: Lennart Augustsson <lennart at augustsson.net>
Date: 2012/5/5
Subject: Re: Fix for `geniplate' to build with `template-haskell-2.7.0.0', 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-0.6.0.0' 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