Data.Dynamic

Simon Peyton-Jones simonpj at microsoft.com
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...

John:

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?

Simon

| -----Original Message-----
| From: libraries-bounces at haskell.org [mailto:libraries-bounces at haskell.org] On Behalf Of John
| Meacham
| Sent: 04 March 2005 07:25
| To: libraries at haskell.org
| 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 - ⑆repetae.net⑆john⑈


More information about the Libraries mailing list