[GHC] #2754: Strictness analyzer fails on an implementation of foldl

[GHC]

#2754: Strictness analyzer fails on an implementation of foldl
-----------------------------+----------------------------------------------
 Reporter:  nimnul           |          Owner:         
     Type:  feature request  |         Status:  closed 
 Priority:  normal           |      Milestone:         
Component:  Compiler         |        Version:  6.8.3  
 Severity:  normal           |     Resolution:  invalid
 Keywords:                   |     Difficulty:  Unknown
 Testcase:                   |   Architecture:  x86    
       Os:  Windows          |  
-----------------------------+----------------------------------------------
Comment (by duncan):

 I've often wanted to write rules that match on strictness properties. This
 is one good example where it'd be useful. If (c) is possible then (a) and
 (b) can be done by the lib author (as with other rules).

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