[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):

 Good stuff on the paper.  I'll try to look.

 >  For example, currently we can't lift functions that occur in argument
 position, i.e.

 That seems correct doesn't it? i.e. the implementation doesn't lift such
 functions, and it shouldn't.  So why do you say "I realised a few things
 here and there that I could change in the transformation"?

 What about the implementation. Are you done?  Ready to submit a Phab patch
 for review?  With an up-to-date wiki page describing what it does?

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