You can't overwrite an entry with a value of a different type, because the keys are typed! Any more than you can overwrite an IORef with a value of a different type. S
| -----Original Message----- | From: Ralf Hinze [mailto:[EMAIL PROTECTED] | Sent: 06 June 2003 15:01 | To: Simon Peyton-Jones; Tim Sweeney; [EMAIL PROTECTED]; Ashley Yakeley | Subject: Re: Typesafe MRef with a regular monad | | Am Freitag, 6. Juni 2003 15:47 schrieb Simon Peyton-Jones: | > Yes, one *could* use dynamic types. But the check would always succeed! | | Why is that? If I overwrite an entry with a value of a different type, | then the check fails. I am certainly missing something ... | | Cheers, Ralf | _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
