[GHC] #11547: Accessing shadowed definitions in GHCi

[GHC]

#11547: Accessing shadowed definitions in GHCi
-------------------------------------+-------------------------------------
        Reporter:  mniip             |                Owner:  mniip
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  GHCi              |              Version:  8.0.1-rc1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D2447
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"59d7ee53906b9cee7f279c1f9567af7b930f8636/ghc" 59d7ee5/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="59d7ee53906b9cee7f279c1f9567af7b930f8636"
 GHCi: Don't remove shadowed bindings from typechecker scope.

 The shadowed out bindings are accessible via qualified names like
 Ghci1.foo.  Since they are accessable in the renamer the typechecker
 should be able to see them too.  As a consequence they show up in :show
 bindings.

 This fixes T11547

 Test Plan:
 Fixed current tests to accomodate to new stuff in :show bindings
 Added a test that verifies that the typechecker doesn't crash

 Reviewers: austin, bgamari, simonpj

 Reviewed By: simonpj

 Subscribers: simonpj, thomie

 Differential Revision: https://phabricator.haskell.org/D2447

 GHC Trac Issues: #11547
 }}}

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