On 12/20/05, skaller <skaller@users.sourceforge.net> wrote:
> If x is a record then { x } should be a copy of it. But this
> doesn't work, I am using this ugly workaround instead:
>
> { x with dummy_field = x.dummy_field }
>
> Surely there is a better way?

Perhaps:

let copy (x:'a) = (Obj.obj (Obj.dup (Obj.repr x)) : 'a)