Stack overflow

stack-overflow.ml

effect E1 : unit
effect E2 : unit

let foo f = 
  try f () with effect E1 k -> continue k ()

let bar () =
  for i = 0 to 1000000 do
    Printf.printf "bar %d\n%!" i;
    perform E1
  done

let () = foo 
  (fun () -> try bar () with effect E2 k -> ())