#5275: Data.Typeable not backwards compatible
---------------------------------+------------------------------------------
Reporter: augustss | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: libraries/base | Version: 7.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by 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
}}}
and add accessors for these fields. Then you can get the bits you want.
It's not enough to keep just the loacl name (like Integer) because there
might be many types with the same name.
A the same time we propose to get rid of the side-effected cache and use
MD5 checksums instead.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5275#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
