Reification of out-of-scope variables?

[Richard Eisenberg]

On Apr 12, 2016, at 5:35 PM, Facundo Domínguez <facundo.dominguez at tweag.io> 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