#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