Hi,

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
  | ...