[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