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@cs.brynmawr.edu]
Sent: 01 February 2017 13:54
To: Simon Peyton Jones
Cc: ghc-devs@haskell.org
Subject: Re: D2038: [WIP] TysPrim: Generalize kind of (->)
On Feb 1, 2017, at 3:34 AM, Simon Peyton Jones mailto:simonpj@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
