[GHC] #15560: Full laziness destroys opportunities for join points

[GHC]

#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