#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