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=0.0 required=5.0 tests=none 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 A4407BC6B for ; Mon, 9 Jul 2007 11:43:13 +0200 (CEST) Received: from hades.snarc.org (hades.snarc.org [212.85.152.11]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l699hDKN009740 for ; Mon, 9 Jul 2007 11:43:13 +0200 Received: by hades.snarc.org (Postfix, from userid 1000) id 0F5311B4D7; Mon, 9 Jul 2007 11:33:36 +0200 (CEST) Date: Mon, 9 Jul 2007 11:33:35 +0200 To: Jeremy Yallop Cc: Jon Harrop , caml-list@yquem.inria.fr Subject: Re: [Caml-list] try .. finally using new camlp4 Message-ID: <20070709093335.GA18467@snarc.org> References: <200707080114.42213.jon@ffconsultancy.com> <20070709090131.GA17462@snarc.org> <46920328.2080509@ed.ac.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <46920328.2080509@ed.ac.uk> X-Warning: Email may contain unsmilyfied humor and/or satire. User-Agent: Mutt/1.5.13 (2006-08-11) From: tab@snarc.org (Vincent Hanquez) X-Miltered: at discorde with ID 46920331.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 0100,:01 endline:01 endline:01 wrote:01 avoids:01 caml-list:01 int:01 int:01 writes:01 string:02 string:02 unit:03 let:03 let:03 On Mon, Jul 09, 2007 at 10:43:04AM +0100, Jeremy Yallop wrote: > Jon's version avoids name capture. If the user writes > > let r = 1 in > try > 2 > finally > print_endline (string_of_int r) > > then your version (modulo the unit arguments) expands into > > let r = 1 in > let r = try 2 > with e -> > print_endline (string_of_int r); > raise e in > print_endline (string_of_int r); > r > > which prints "2" instead of "1". indeed, Thanks, -- Vincent Hanquez