#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