Availability of Coercible Instances at TH Runtime

Mon May 7 02:39:36 UTC 2018

> On May 4, 2018, at 10:01 PM, Travis Whitaker <pi.boy.travis at gmail.com> wrote:
> 
> I'm curious what it'd take to add a qReifyCoercible method; does the renamer know anything about Coercible?

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...

Richard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180506/2c1a692f/attachment.html>