On Sat, Nov 8, 2014 at 5:15 AM, Iavor Diatchki <iavor.diatchki@gmail.com> wrote:

Hello,

I'd like to get the type-checker plugin code in 7.10. I've been waiting for Simon PJ to merge in his constraint solver changes in HEAD, which I believe is very close to happening, and then I'll redo my work on top of that.

Looks like you can start right away, see http://git.haskell.org/ghc.git/commit/5770029a1f8509a673b2277287fc8fe90b9b6002

Aka "Simon's major commit to re-engineer the constraint solver"