On Apr 12, 2016, at 5:35 PM, Facundo Domínguez <facundo.doming...@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 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs