[GHC] #855: Improvements to SpecConstr

[GHC]

#855: Improvements to SpecConstr
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:  ⊥
       Component:  Compiler          |              Version:  6.4.2
      Resolution:                    |             Keywords:  SpecConstr
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Runtime           |  Unknown/Multiple
  performance bug                    |            Test Case:  N/A
      Blocked By:                    |             Blocking:  915
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 > Include call-pattern specialisation in the Simplifier, for a radical
 change

 I'm not keen on this

 * The Simplifier and `SpecConstr` are both very complex passes.  Combining
 them would be ... difficult.

 * `SpecConstr` relies on a pretty elaborate form of occurrence analysis,
 which I'm not sure we'd want to replicated in the simplifier.

 Let's be really sure that nothing else will work first.

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