#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