From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=2.0 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,NO_REAL_NAME autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id C5A05BC69 for ; Sun, 5 Aug 2007 17:29:51 +0200 (CEST) Received: from resmaa02.ono.com (smtp.ono.com [62.42.230.12]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l75FTpxp009210 for ; Sun, 5 Aug 2007 17:29:51 +0200 Received: from [192.168.1.33] (81.38.190.181) by resmaa02.ono.com (7.3.118.8) (authenticated as tmp123@menta.net) id 46AEF7A7001F2404 for caml-list@yquem.inria.fr; Sun, 5 Aug 2007 17:29:45 +0200 Message-ID: <46B5ECE4.2050208@menta.net> Date: Sun, 05 Aug 2007 17:29:40 +0200 From: tmp123@menta.net User-Agent: Mozilla Thunderbird 1.0 (X11/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: try with Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 46B5ECEF.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; exception:01 exception:01 exceptions:01 let:03 let:03 raise:03 tmp:05 overloaded:07 correct:08 question:13 something:15 code:17 code:17 thanks:17 hello:17 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.