Simon Peyton Jones via ghc-devs
Edward, Ben, others I have just pushed a patch series
2209d5e6 Comments only
4eeb3273 Drop redundant import
2d3cb34a Define TcSimplify.simplifyTopImplic and use it
af6ed4a6 Fix constraint simplification in rules
48d1866e Improve error messages for skolems
7e96526a Fix TcSimplify.decideQuantification for kind variables
bc0f3abd Deal with JoinIds before void types
900cfdc2 Do not generate a data-con wrapper for !Int# Issues:
* bkpcabal03 is failing... I don't see how it can possibly have anything to do with me, so I've pushed anyway. Edward, might you look?
* I get these stat failures - all improvements
perf/compiler/T13035.run T13035 [stat too good] (normal)
perf/compiler/T12425.run T12425 [stat too good] (optasm)
perf/compiler/T9675.run T9675 [stat too good] (optasm)
perf/space_leaks/T4029.run T4029 [stat too good] (ghci)
perf/should_run/T10359.run T10359 [stat too good] (normal)
perf/compiler/T1969.run T1969 [stat too good] (normal)
Some of them are from before (I reported this and suggested re-centreing the numbers), but the last two are new, I think. Hurrah! Ben: might you look?
Sure.