#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):
-fstg-lift-lams-known: Allow turning known into unknown calls.
In your example, you say that we might float f but not g. But why don't we float g? Anyway, I agree; it is Very Bad to turn known into unknown calls. Let's not do that. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9476#comment:28 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler