Availability of Coercible Instances at TH Runtime

[Shayan Najd]

> I think this may be waiting for the trees-that-grow work to be completed, and as far as I know, no one is actively working on this.

We've just got a new Google SoC project accepted to push this forward :)

/Shayan

On Mon, May 7, 2018 at 3:14 PM, Richard Eisenberg <rae at cs.brynmawr.edu> wrote:
> Yes: https://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Introspective
>
> I think this may be waiting for the trees-that-grow work to be completed, and as far as I know, no one is actively working on this. But I still think it would be a Good Thing.
>
> Richard
>
>> On May 7, 2018, at 12:37 AM, David Kraeutmann <kane at kane.cx> wrote:
>>
>> Tangentially related, but wasn't there a plan at some point to integrate TH more tightly with GHC?
>>
>> On 5/7/2018 4:39 AM, Richard Eisenberg wrote:
>>>
>>> No, it doesn't, but the Q monad is actually a wrapper around TcM, the type-checker monad. I don't think it would be all that hard to do this. Could be a suitable project for someone new to GHC hacking...
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs