[GHC] #7994: Make foldl into a good consumer

[GHC]

#7994: Make foldl into a good consumer
-------------------------------------+------------------------------------
        Reporter:  simonpj           |            Owner:
            Type:  bug               |           Status:  new
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.6.3
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by nomeata):

 Hmm, it seems that the oneShot-information is thrown away before
 generating the interface, so the use of `oneShot` does not help across
 module boundaries for now; this is the unfolding
 {{{
   foldl :: forall a b. (b -> a -> b) -> b -> [a] -> b
     {- Arity: 3, HasNoCafRefs, Strictness: <L,C(C1(U))><L,U><S,1*U>,
        Inline: INLINE (sat-args=3),
        Unfolding: InlineRule (3, False, False)
                   (\ @ a @ b k :: b -> a -> b z :: b xs :: [a] ->
                    GHC.Base.foldr
                      @ a
                      @ (b -> b)
                      (\ ds :: a ds1 :: b -> b tpl :: b -> ds1 (k tpl ds))
                      (GHC.Base.id @ b)
                      xs
                      z) -}
 }}}

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