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=AWL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 9309BBBAF for ; Sat, 4 Oct 2008 10:23:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUDANrE5kjAXQImiGdsb2JhbACTYQEBARUipXiBaA X-IronPort-AV: E=Sophos;i="4.33,360,1220220000"; d="scan'208";a="17652814" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2008 10:23:48 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m948NlVZ004714 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 4 Oct 2008 10:23:48 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUDAP/E5khQRFuwiGdsb2JhbACTYQEBARUipXCBaA X-IronPort-AV: E=Sophos;i="4.33,360,1220220000"; d="scan'208";a="18190434" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 04 Oct 2008 10:23:47 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1Km2QU-0004sP-CZ for caml-list@inria.fr; Sat, 04 Oct 2008 09:23:46 +0100 Date: Sat, 4 Oct 2008 09:23:46 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] Metaprogramming features Message-ID: <20081004082346.GA18277@annexia.org> References: <48E62D5B.3060400@mcmaster.ca> <20081004004908.GA32229@usha.takhisis.invalid> <200810040303.04559.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200810040303.04559.jon@ffconsultancy.com> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Miltered: at discorde with ID 48E72813.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0100,:01 zacchiroli:01 metaocaml:01 compiler:01 implements:01 wrote:01 wrote:01 caml-list:01 caml:02 patches:03 vanilla:03 usefulness:04 fix:05 stefano:05 implement:06 On Sat, Oct 04, 2008 at 03:03:04AM +0100, Jon Harrop wrote: > On Saturday 04 October 2008 01:49:08 Stefano Zacchiroli wrote: > > Sorry if I'm being too frank, but I don't see the usefulness of your > > post. I would love to see basic meta-programming feature in vanilla > > Caml, but the way to make it happen is for sure not lobbying / making > > noise. The way is provide patches which implement the requested > > feature. > > If try..finally will not be accepted what makes you think that a MetaOCaml > patch would be accepted? Where did you post the working compiler patch that implements try/finally? Where did you nurse the patch through many iterations, as the language designers asked you to fix one thing and another, before the final patch was rejected? Rich. -- Richard Jones Red Hat