[GHC] #9476: Implement late lambda-lifting

[GHC]

#9476: Implement late lambda-lifting
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  sgraf
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.8.2
      Resolution:                    |             Keywords:  LateLamLift
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Runtime           |  Unknown/Multiple
  performance bug                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #8763 #13286      |  Differential Rev(s):
       Wiki Page:  LateLamLift       |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 > In the process of writing the paper, I repeatedly had to double-check
 what the transformation does and that it actually does the right thing.
 For example, thinking about how to formulate the function computing
 closure growth resulting from a lifting decision lead me to realise that
 we in fact could make better use of strictness in addition to usage (i.e.
 one-shot) information

 Great. So did you update the impl to take advantage of these new insights?

 I'll look forwards to the patch.  An up to date nofib comparison would be
 good.

 And please yell when you are ready for me to take a proper sweep through
 the paper.  Thanks!

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