Hello caml-list,
I want to implement a copy/paste buffer for arbitrary polymorphic variants. Is the following code safe?

"
let buffer : 'a = Obj.magic (ref None)

let _ = buffer := Some `Foo
let _ = buffer := Some `Bar

let _ =
match !buffer with
      Some (`Bar x) -> print_endline "matches"
    | _ -> ()
"

also, how would I refine the buffer type a little more? Every time I try, I run into the value restriction
cheers
--Jacques L.