#5275: Data.Typeable not backwards compatible
---------------------------------+------------------------------------------
Reporter: augustss | Owner: simonmar
Type: bug | Status: new
Priority: high | Milestone: 7.2.1
Component: libraries/base | Version: 7.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by batterseapower):
Replying to [comment:2 simonpj]:
> Simon and I talked about this. We propose to change `Typeable.TyCon`
from this:
> {{{
> data TyCon = TyCon !Key String
> }}}
> to this:
> {{{
> data TyCon = TyCon !Key
> String -- Package name
> String -- Module name
> String -- TyCon name
> }}}
I don't think Lennart wanted a way to deconstruct a TyCon. He just wanted
equality on TyCon strings to be a) backward compatible and b) not reveal
implementation details about where "built-in" types like Int were actually
declared. Do you plan to do something separate to address that point?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5275#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
