[GHC] #13966: Skip-less stream fusion

[GHC]

#13966: Skip-less stream fusion
-------------------------------------+-------------------------------------
        Reporter:  jmspiewak         |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1-rc3
      Resolution:                    |             Keywords:  JoinPoints
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by jmspiewak):

 Thank you for your detailed comment.

 The paper specifically mentions fusing Skip-less filter so indeed I was
 expecting this example to work.

 I brought up the typeclass approach because it's very inefficient on 8.0
 but on 8.2 it's close to hand written recursion. It seems recursive join
 points can be used to fuse this stream, but only with the help of some
 typeclass-specific optimization.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13966#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler