clone_unsafe.ml

effect E : unit

let foo () =
  let r = Atomic.make 0 in
  perform E;
  Atomic.set r (Atomic.get r + 1);
  Atomic.get r

let bar () =
  let r = ref 0 in
  perform E;
  r := !r + 1;
  !r

let run f = match f () with
| v -> v
| effect E k ->
    let k' = Obj.clone_continuation k in
    let r1 = continue k () in
    let r2 = continue k' () in
    Printf.printf "%d %d\n" r1 r2;
    0

let _ = print_endline "----Expected----"
let _ = print_endline "1 2"
let _ = print_endline "----Atomic.ref----"
let _ = run foo
let _ = print_endline "----ref----"
let _ = run bar