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

[Wojciech Jedynak]

For what it's worth, I also asked to fix geniplate so that it would
work with GHC 7.0 :-)

Wojciech

2012/5/5 Dirk Ullrich <dirk.ullrich at googlemail.com>:
> 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda