On 10/21/06, Christophe Raffalli <raffalli@univ-savoie.fr> wrote:

  try
    ...
  end
    ... (* the exception raised here are not handles by with but
propagated *)
  with
    ...

You could do it like this:

exception Propagate of exn

try
...
try ...
with x -> raise (Propagate x)
with
| Propagate x -> raise x
| ...