Typesafe MRef's

[Keith Wansbrough]

> 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.

I'm thinking newSTRef - allocate a new cell.

--KW 8-)
-- 
Keith Wansbrough <kw217@cl.cam.ac.uk>
http://www.cl.cam.ac.uk/users/kw217/
University of Cambridge Computer Laboratory.