Simon Peyton-Jones simonpj at
Mon Mar 7 07:52:53 EST 2005

Library folk: does anyone consider themselves responsible for Data.Dynamic and Data.Typeable?  It would help if someone would volunteer...


This looks fine:  dynTypeRep :: Dynamic -> TypeRep 
we'll add it.

but typeRepIndex :: TypeRep -> IO Int
looks stranger.  It breaks the TypeRep abstraction.  Would you care to argue for it?


| -----Original Message-----
| From: libraries-bounces at [mailto:libraries-bounces at] On Behalf Of John
| Meacham
| Sent: 04 March 2005 07:25
| To: libraries at
| Subject: Re: Data.Dynamic
| Actually, could this patch be applied?
| it also provides a routine to get the index of a typerep for efficient
| hashing. It is in the IO monad because the index may change between
| runs.
|         John
| --
| John Meacham - ⑆⑆john⑈

More information about the Libraries mailing list