[GHC] #3924: Strictness analyser missing useful strictness

[GHC]

#3924: Strictness analyser missing useful strictness
-------------------------------------+------------------------------------
        Reporter:  simonpj           |            Owner:
            Type:  bug               |           Status:  new
        Priority:  low               |        Milestone:  7.6.2
       Component:  Compiler          |          Version:  6.12.1
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------
Changes (by nomeata):

 * difficulty:   => Unknown


Comment:

 This looks like it could be solved by the new callartiy analysis. It does
 not, though, because
  * all the functions are top-level functions, and callartiy analysis only
 looks at local functions, and
  * they are mutually recursive, which the callarity analysis does not
 handle yet.

 Both could possibly be fixed, but both carry an implementation and
 maintenance cost, I’d like to do that lazily, i.e. depending on real-world
 use cases.

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