Major commit to the constraint solver

[Simon Peyton Jones]

Friends

I've pushed branch wip/new-flatten-skolems-Oct14.  (It has some rebasing near the top.)

It branches off master some a few days ago; i.e. it is almost completely up to date.

Can you try building it?  I want to push it to HEAD, but would like some independent validation first.

Three things don't validate for me:

*         Several tests fail with ioManagerWakeup problems: reported as Trac #9722

*         ghcirun002 experiences stack overflow in the bytecode interpreter, but so does HEAD: Trac #9741

*         I get an odd wibble in safePk01, see this thread<https://www.haskell.org/pipermail/ghc-devs/2014-November/007065.html> with Edward

I'd like to push to master soon.

Thanks

Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20141103/43a2254c/attachment.html>