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

[Simon Peyton Jones]

Check out
    https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.2.1

There are several tickets you own in highest or high prio.  Notably #12919 (an outright bug).  And #12670, #13160, #13202

BEN: yell for whatever help you need with (->) and Typable

Simon

From: Richard Eisenberg [mailto:rae at cs.brynmawr.edu]
Sent: 01 February 2017 13:54
To: Simon Peyton Jones <simonpj at microsoft.com>
Cc: ghc-devs at haskell.org
Subject: Re: D2038: [WIP] TysPrim: Generalize kind of (->)


On Feb 1, 2017, at 3:34 AM, Simon Peyton Jones <simonpj at microsoft.com<mailto: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/3524a83b/attachment.html>