> On May 4, 2018, at 10:01 PM, Travis Whitaker <[email protected]> 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
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
