[GHC] #7261: ghci's :info and :browse break encapsulation

GHC cvs-ghc at haskell.org
Fri Apr 12 16:25:14 CEST 2013


#7261: ghci's :info and :browse break encapsulation
---------------------------------+------------------------------------------
    Reporter:  Feuerbach         |       Owner:                  
        Type:  feature request   |      Status:  new             
    Priority:  normal            |   Milestone:  _|_             
   Component:  GHCi              |     Version:  7.6.1           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  Other           
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by igloo):

  * difficulty:  => Unknown
  * type:  bug => feature request
  * milestone:  => _|_


Comment:

 Hmm, so I guess you'd get:

 {{{
 Prelude> :i IO
 data IO a
         -- Defined in ‛GHC.Types’
 }}}

 {{{
 Prelude> :i GHC.IO.IO
 newtype IO a
   = GHC.Types.IO (GHC.Prim.State# GHC.Prim.RealWorld
                   -> (# GHC.Prim.State# GHC.Prim.RealWorld, a #))
         -- Defined in ‛GHC.Types’
 }}}

 and presumably you would still get:

 {{{
 $ ghci Unique.hs
 *Data.Unique> :i Unique
 newtype Unique = Unique Integer         -- Defined at Unique.hs:42:9
 }}}

 I'm rather ambivalent about this.

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



More information about the ghc-tickets mailing list