[GHC] #1600: Optimisation: CPR the results of IO

[GHC]

#1600: Optimisation: CPR the results of IO
-------------------------------------+-------------------------------------
        Reporter:  simonmar          |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  lowest            |            Milestone:
       Component:  Compiler          |              Version:  6.6.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Runtime           |  Unknown/Multiple
  performance bug                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #8598             |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * cc: nomeata (added)


Comment:

 I still feel that this is the Right Thing To Do.  The performance results
 are not so exciting... but it would not surprise me if there was more to
 be had.

 >  I'm currently cleaning up the branch before submitting a Diff.

 Great.  I'd like Joachim to review your code, if he is willing; after all,
 he had the first go at this.  And sometimes a review leads to improvements
 and clean ups.

 On your wiki page [wiki:NestedCPR/Akio2017] you speak of "nested
 strictness", "more aggressive worker/wrapper", "correct handling of strict
 contructor field", etc, but in each case I have little idea of what you
 mean.  Could you expand with more specifics?

 Really I'd like to have a page describing the ''design''.  (E.g. do you
 have a convergence analyser?  Could we use that for other things?)  Having
 such a description would make it much easier to read the code.

 There's a paper in here somewhere.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1600#comment:76>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler