[GHC] #10346: Cross-module SpecConstr

[GHC]

#10346: Cross-module SpecConstr
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  ckoparkar
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.10.1
      Resolution:                    |             Keywords:  SpecConstr,
                                     |  newcomer
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Runtime           |  Unknown/Multiple
  performance bug                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #13016            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by ckoparkar):

 * owner:  (none) => ckoparkar


Comment:

 I'd like to work on this. The updated example is what helped me understand
 what the expected Core output should be. Thanks for that! (I'm relatively
 new to GHC hacking.) So far, I've read the `SpecConstr` paper, and am
 reading the source code now. My hunch is that we need to change the
 `Propagation` phase somehow to include the proper rewrite rules across
 modules. Is this correct ? Other than that, I don't have any specific
 questions at the moment.

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