Hello,

Sorry for an easy question about exceptions:

If in a code like:

let v1 = f1 () in
f2 v1

I like to handle in a different way an exception (like Not_found) 
produced inside f1 of the same one produced in f2 (or even not treat the 
one produced in f2), which one is a correct way to write the code?

Because the only thing I see up to now is something so overloaded as:

exception Skip;
try
  let v1 =
    try
      f1()
    with
      Not_found -> handle_f1_exception();
                   raise Skip
  in
    f2 v1
with
  Skip -> ();


Thanks again.