#15560: Full laziness destroys opportunities for join points -------------------------------------+------------------------------------- Reporter: AndreasK | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 (CodeGen) | Resolution: | Keywords: JoinPoints Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #14287 #13286 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by AndreasK): Replying to [comment:14 simonpj]:
(comment:11) Another possibility that looks unattractive, ... The obvious solution seems to me is to simply limit this to cases where all branches allocate
Perhaps, but I think the other 1,2,3 possibilities look as if they'll have more payoff per hour invested. Once they are done, maybe come back to this.
Hard to judge given that the heap check issue also arises in code not using join points at all. But it certainly seems like an orthogonal issue. I will open a seperate ticket for this so we don't get too much noise on this ticket. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15560#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler