I hope Iavor will forgive me for stealing his thunder, but given the looming 7.10 branch I thought I'd pick this up. I've created a Phab revision (https://phabricator.haskell.org/D489) with the latest typechecker plugins implementation, and updated the wiki page (https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker). Adam On 17/11/14 15:45, Austin Seipp wrote:
This looks excellent! Thank you Adam and Eric for helping Iavor with this.
But I'm slightly confused by the git history since it seems to be cluttered with a few merges, and it seems like Eric has pushed the latest changes to all this. The branch is also a little bit behind master too.
Iavor, would you like to:
1) Incorporate all of the changes from Eric and Adam, 2) Rebase your work on HEAD so we can read it in a digestible way?
I still need to read over all the changes since my first review, since Adam addressed them. The 7.10 branch is at the end of this week, but this would be a really cool feature to have.
Thanks!
The branch for 7.10 is now the end of this week! It would be nice to get this in
-- Adam Gundry, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/