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:[email protected]]
Sent: 01 February 2017 13:54
To: Simon Peyton Jones <[email protected]>
Cc: [email protected]
Subject: Re: D2038: [WIP] TysPrim: Generalize kind of (->)
On Feb 1, 2017, at 3:34 AM, Simon Peyton Jones
<[email protected]<mailto:[email protected]>> 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
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
