[GHC] #4978: Continuation passing style loop doesn't compile into a loop

[GHC]

#4978: Continuation passing style loop doesn't compile into a loop
---------------------------------+------------------------------------------
    Reporter:  tibbe             |        Owner:              
        Type:  bug               |       Status:  new         
    Priority:  normal            |    Milestone:              
   Component:  Compiler          |      Version:  7.0.1       
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by tibbe):

 That looks much better. I'll stil need to figure out if I can get `test2`
 to be strict in the buffer, as there's lots of reboxing going on. That's
 outside the scope of this ticket.

 Could we get this example turned into a test case? I'm not sure how to
 write one, otherwise I would do so myself. We'll likely depend on the
 arity analysis in the future, both in `binary` and `attoparsec`, and it
 would be nice to be confident that the performance of those libraries
 don't degrade dramatically in some future GHC version.

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