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

GHC ghc-devs at haskell.org
Tue Jan 28 16:28:58 UTC 2014


#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):

 JFTR: Simon discussed this with me and encouraged me to pursue the
 analysis (but don’t merge it before 7.8 has been branched off).

 But even more so I’d like to record a few things about the `oneShot`
 approach:
  * Would also be nice, and can still be revived if we find cases where the
 analysis fails.
  * It should always be inlined when passed two arguments.
  * Could be made to inline very very late, but then it should have a
 strictness signature.
  * In that case, one would have to make sure it does not get in the way of
 CPR or other analysis.

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


More information about the ghc-tickets mailing list