Re: splicing varPs in quasi-quote brackets

Yes, pattern splices are indeed new in 7.8. See: https://www.cs.drexel.edu/~mainland/2013/05/31/type-safe-runtime-code-genera... Cheers, Geoff On 03/15/2014 10:08 AM, Christian Höner zu Siederdissen wrote:

Thanks Adam,

It indeed does work with a lambda, should've thought about it. So, it seems splices in patterns are new in 7.8 (hadn't seen it in the notes).

Gruss, Christian

* adam vogt [15.03.2014 05:12]:

...

Hello Christian,

It seems new to me that $( ) is allowed in patterns. I would have used lamE in something like:

[| $(varE v) >>= return . SM.concatMapM $(lamE [varP v] (buildRns f (xs++[w]) ys))) |]

Regards, Adam