RE: [commit: base] master: Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning (365b9d8)

2013-07-25 Thread Richard Eisenberg
Re-jig done and committed. On 2013-07-25 04:06, Simon Peyton-Jones wrote: Hs-boot files tend to get in the way of optimisation. Moreover, sometimes they are truly necessary, and if there are un-necessary ones that can greatly complicate adding necessary ones. There are already LOTS of data typ

Re: Patch/feature proposal: "Source plugins"

2013-07-25 Thread Edsko de Vries
Ok, I have now finally got managed to compile and test my code against ghc head. I have created a wiki page for the proposal http://ghc.haskell.org/trac/ghc/wiki/FrontendPluginsProposal and have attached patches against both 7.4.2 and against HEAD. Hopefully this is now a good starting point for

whitehole_spin: always 0?

2013-07-25 Thread Patrick Palka
It seems that the value of the whitehole_spin counter (as viewable by +RTS -s) is always zero, which oddly suggests that there is never any contention on the particular atomic operation whitehole_spin is tracking (located in copyPart in Evac.c). This may be a symptom of a bug, or it may be the case