spawn continue

spawn.ml

effect Wut : unit
effect Wat : unit

let rec foo n =
  Printf.printf "[%d] foo\n%!" @@ Domain.self ();
  Unix.sleep 1;
  if n == 0 then
    (perform Wat; foo 1)
  else
    (perform Wut; foo 1)

let rec bar () =
  Printf.printf "[%d] bar\n%!" @@ Domain.self ();
  Unix.sleep 1;
  bar ()

let () =
  match foo 0 with
  | v -> v
  | effect Wut k -> continue k ()
  | effect Wat k ->
      Domain.spawn (continue k);
      bar ()