Re: Reification of out-of-scope variables?

On Apr 12, 2016, at 5:35 PM, Facundo Domínguez wrote:

Hello Richard,

...

TH will offer a new function `addGroupFinalizer :: Q () -> Q ()` that runs its argument in the local typing environment available when addGroupFinalizer is called.

When considering this approach, how could one capture the local typing environment given that the untyped splices are run in the renamer where no such environment is populated yet?

Ah. Excellent point. I hadn't quite thought it through. Not sure, off the top of my head, how to get around this. Richard