Reification of out-of-scope variables?
eir at cis.upenn.edu
Wed Apr 13 02:25:51 UTC 2016
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.
More information about the ghc-devs