For example, currently we can't lift functions that occur in argument
#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. 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