#9764: Home package modules silently override available modules from package database -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: feature | Status: closed request | Milestone: Priority: normal | Version: 7.9 Component: Compiler | Keywords: Resolution: wontfix | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: accepts invalid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by ezyang): * status: new => closed * resolution: => wontfix Comment: Our resolution for 7.10 and the indefinite future is this: 1. Normal modules do NOT warn about shadowing, so we don't break Wall'd code. 2. Signature modules silently get merged with the available modules in the context. So we just treat normal modules differently from signature modules. This is a little different from how the Backpack paper works, but I don't think there is any difference in expressivity. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9764#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler