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=1.3 required=5.0 tests=AWL,SPF_NEUTRAL 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 54CC5BC99 for ; Fri, 1 Jun 2007 08:06:31 +0200 (CEST) Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.179]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5166UYk008979 for ; Fri, 1 Jun 2007 08:06:30 +0200 Received: by py-out-1112.google.com with SMTP id u52so749650pyb for ; Thu, 31 May 2007 23:06:30 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; b=c9BwVR1W2iuqwhZPVEX4kgrTTEy2SV+eWcIuTXFtuGZAGerjmB1E+VgPHnBz3jnI50ISbwwSzQYRRk4zg2Qb/xhPpxzIZCvkksBFrjxqlihxRH6QeNO/S2r16T0JzmGAun8bsO3UR2CZaqEM2A0oydyP0O4OAdK2SrLg7ffqj1A= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; b=lHG7s3g5gx0drWeDKpgQ8x01vyPmc/RMdLaDeCql3TmhZpAAC3cQJLIqbXvITY00Dx7YxqR6c8FddKcTvtbAfHBY0zpi/dhYpvZ1jJ3NNAQKYhUXSlN8eKExev8Jz/+MzSD7A1fRXDpLY3BxtQokE3qy4K1z93yQjv1AetJ/9Uw= Received: by 10.65.159.3 with SMTP id l3mr2384897qbo.1180677989908; Thu, 31 May 2007 23:06:29 -0700 (PDT) Received: from ?192.168.0.7? ( [70.243.139.152]) by mx.google.com with ESMTP id e14sm338280qba.2007.05.31.23.06.28; Thu, 31 May 2007 23:06:28 -0700 (PDT) Message-ID: <465FB7D6.1090805@gmail.com> Date: Fri, 01 Jun 2007 01:08:22 -0500 From: Edgar Friendly User-Agent: Thunderbird 2.0.0.0 (X11/20070326) MIME-Version: 1.0 To: Joel Reymont Cc: Nicolas Pouillard , OCaml List Subject: Re: [Caml-list] Re: GenerateFold References: <5F8F1647-A4A8-4C71-9958-9370C44ECB84@gmail.com> <979C8DFA-180A-4AA2-8D5A-63083BDDAEE7@gmail.com> <534D9E1D-8F72-4972-8F53-DA64CA2DD20B@gmail.com> In-Reply-To: <534D9E1D-8F72-4972-8F53-DA64CA2DD20B@gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-j-chkmail-Score: MSGID : 465FB766.002 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 465FB766.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 edgar:98 wrote:01 caml-list:01 reproduce:01 variable:06 manual:06 cloning:07 mean:08 object:09 instance:09 doesn't:12 issue:12 issue:12 but:14 Joel Reymont wrote: > I thought I would try to reproduce the issue but I can't. > > I get a different issue instead. It doesn't like the following line > > | `FunArgDecl _ -> {< found = true >} > > or `FunargDecl to be precise. > > Also, what does {< found = true >} mean? > > Thanks, Joel Obscure functionality. It's object cloning (of self), with a modified instance variable. See 3.14 of the ocaml manual E.