>
> You could do it like this:
>
> exception Propagate of exn
>
> try
>   ...
>   try ...
>   with x -> raise (Propagate x)
> with
>   | Propagate x -> raise x
>   | ...
>
does not work, calls in the second ... are not tail call. (no tail call 
in a try)

Christophe