[GHC] #10346: Cross-module SpecConstr

[GHC]

#10346: Cross-module SpecConstr
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Compiler          |                 Version:  7.10.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by Simon Peyton Jones <simonpj@…>):

 In [changeset:"b61562feb87689a202118ca08ef270422c69dcc2/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="b61562feb87689a202118ca08ef270422c69dcc2"
 Seed SpecConstr from local calls

 Seed SpecConstr based on *local* calls as well as *RHS* calls.
 See Note [Seeding top-level recursive groups].  The change here
 is mentioned here:

    NB: before Apr 15 we used (a) only, but Dimitrios had an example
        where (b) was  crucial, so I added that.

 This is a pretty small change, requested by Dimitrios, that adds
 SpecConstr call patterns from the rest of the module, as well as ones
 from the RHS.

 Still to come: #10346.
 }}}

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