[GHC] #9764: Home package modules silently override available modules from package database

[GHC]

#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