Reification of out-of-scope variables?

Richard Eisenberg eir at
Wed Apr 13 02:25:51 UTC 2016

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


More information about the ghc-devs mailing list