#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