D2038: [WIP] TysPrim: Generalize kind of (->)

Wed Feb 1 13:53:53 UTC 2017

> On Feb 1, 2017, at 3:34 AM, Simon Peyton Jones <simonpj at microsoft.com> wrote:
> 
>   Who is acting there.  Just Ben?  Or are there bits Richard needs to help with?

Ben has done the real heavy lifting, with me opining on this bit or that. From what Ben says, it's very close.

There is a small bit of new work to be done to prefer Type over Constraint when solving for Typeable (my step 2), but that can't be hard.

If I'm released (for now) from #11715, what's the next priority for me?

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