[GHC] #11547: Accessing shadowed definitions in GHCi

[GHC]

#11547: Accessing shadowed definitions in GHCi
-------------------------------------+-------------------------------------
        Reporter:  mniip             |                Owner:
            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):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Is it desirable:
  * To provide full access, using qualified names, to shadowed data types
 (and maybe values), or
  * To consistently ''not'' provide it?

 I rather assume the former.  After all if you say
 {{{
 > data A = A
 > let f A = Int
 > data A = XX
 > :type f
 }}}
 then we have to print some sensible type for `f`, but it clearly can't
 mention the new data type `A`; it must somehow mention the old data type
 `A`. And then you might want to know more about that data type.

 So it would be good to document this behaviour, and to make it work
 consistently. I know how some, but not all, of the moving parts work, so I
 can advise.

 Simon

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