On Jan 26, 2016, at 10:34 AM, Simon Peyton Jones <simonpj@microsoft.com> wrote:

·         Richard: the ReturnTv stuff (branch wip/exp-types)

Yes. I just pushed a candidate patch that may well validate. I'll merge tomorrow (Wed) on success.

·         Richard: #11471 (levity)

This should hopefully be much easier than ExpTypes. Next Friday is a reasonable deadline.

·         Richard: documentation for TypeInType

Sure.

·         Geoff: #11487

·         Simon PJ: #11339

Richard, also if you look at https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.0.1 you can see “highest” priority tickets with you as owner, that are to do with TypeInType and TypeApplications.


There's a bunch here. Believe me -- I'm working as fast as I can to wrap up these bugs. Unfortunately, our release cycle overlaps with the critical time for the academic job market, so GHC is competing with my need to get a job. If anyone reading this wants to offer me a job, that could indeed have a tangible effect on how quickly I scoop up these bugs! :)

Richard

Thanks

Simon