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.0 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 4DEADBC69 for ; Tue, 26 Jun 2007 19:07:49 +0200 (CEST) Received: from an-out-0708.google.com (an-out-0708.google.com [209.85.132.250]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5QH7m54016302 for ; Tue, 26 Jun 2007 19:07:48 +0200 Received: by an-out-0708.google.com with SMTP id b15so490012ana for ; Tue, 26 Jun 2007 10:07:48 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=PaEnM0ebVDOFDmtFl44NFQ18y62ZEiHT14v0NGcHcxotQgGj+4mwZX05WODTvqHK1xF04n5pqRbNqleznMCA0nVgCKs/DNCDcyoI1ykLjF/5AikO1689TmUjGJzUdp6wGYZ0+O3I0lOdM+CMF2cAu4AgJL6Ft4hXDIw4s5xaHls= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=D6L8AZYyA25GcIQ0xqi7MLGsFPvvZaL5BxRx+e2lVxCVKpuK7LSQt9qPq4nBs8Uqyf+YCZEk1ETUZtvCxODLzuALh6U+kZVEAlMeGtxW54NVPI5gOFrSvtzasKz3ExR7G8uEy+TKFt5gaKoHP9VPD9YFr74RsACrlzUSY1qyCR4= Received: by 10.100.96.9 with SMTP id t9mr3974811anb.1182877667610; Tue, 26 Jun 2007 10:07:47 -0700 (PDT) Received: by 10.100.33.15 with HTTP; Tue, 26 Jun 2007 10:07:47 -0700 (PDT) Message-ID: <6f9f8f4a0706261007p2434e916tf4d426be48869a7b@mail.gmail.com> Date: Tue, 26 Jun 2007 19:07:47 +0200 From: "Loup Vaillant" To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Execution time of class versus record In-Reply-To: <200706260802.52941.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <467E8A6E.9050700@menta.net> <875c7e070706251715x61893212k62c9a15ce8e08989@mail.gmail.com> <6f9f8f4a0706252353g47af2ed6v8049476a71404add@mail.gmail.com> <200706260802.52941.jon@ffconsultancy.com> X-j-chkmail-Score: MSGID : 468147E4.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 468147E4.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; constructors:01 26,:98 wrote:01 partial:01 caml-list:01 int:01 int:01 discussion:06 written:07 nope:08 err:09 execution:10 type:14 type:14 thanks:17 2007/6/26, Jon Harrop : > On Tuesday 26 June 2007 07:53:01 Loup Vaillant wrote: > > Err, I don't get it : I see exactly the same thing (written twice) here. > > > > Are you telling that : > > type t = A of int * int <==> type t = (A of int) * int > > Nope: > > # type t1 = A1 of int * int;; > type t1 = A1 of int * int > # type t2 = A2 of (int * int);; > type t2 = A2 of (int * int) > [...] OK, this time, I got it, thanks. You also made me understand why there have been any discussion about partial application of constructors. Loup