Typesafe MRef's

George Russell ger@tzi.de
Mon, 16 Jun 2003 12:57:54 +0200


Keith Wansbrough wrote (snipped)

> I think I'm missing something... why is this?  Do you only allow one
> value of each type?  It seems to me that updating k1's value should
> not affect k2's.

Perhaps you could explain what "insert" is meant to do, since it doesn't
cite a key value.