#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