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.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id EFF1BBC69 for ; Tue, 21 Aug 2007 15:34:47 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.176]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7LDYkSU004075 for ; Tue, 21 Aug 2007 15:34:47 +0200 Received: by wa-out-1112.google.com with SMTP id m28so1064624wag for ; Tue, 21 Aug 2007 06:34:46 -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:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Ita3hNAuwgLWIaPbEg4HruC0D5A4XXx55KkYRJvmCFiWI6IEUh0vy0H5qPaiTnNZriwy6xgPt8OsIaAPlvZRqVLOifHYn4v+iYlYzPwbx3zRpvI9Aofdy6ghD7LrD8Wz2+9NmTnmmpSUlc25J/3yfefPW4qXD8a8v0tHcJW8Kas= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=bvfu0NzrSNbpdHeyqYplb5w0ZLce8TEdGOvBk4xVj7HSAJCmsMuuC2gTRuOctRrkKUnUIOM15V7xeEXpfuOMjnss9rDmfuYPkOGAH17/LbjelAIWnjvpVd9WbRtDTcCKJzqxcn2oEXmNaVsxeNSr9rmrNJsh0AuM5KLS9kXYa9U= Received: by 10.114.153.18 with SMTP id a18mr1176807wae.1187703285810; Tue, 21 Aug 2007 06:34:45 -0700 (PDT) Received: by 10.114.57.9 with HTTP; Tue, 21 Aug 2007 06:34:45 -0700 (PDT) Message-ID: <95513600708210634q236768efjbfda6cd844e498c1@mail.gmail.com> Date: Tue, 21 Aug 2007 15:34:45 +0200 From: "Olivier Andrieu" To: "Yitzhak Mandelbaum" Subject: Re: [Caml-list] "opening" record types Cc: caml-list@yquem.inria.fr In-Reply-To: <67ECB685-E69A-43CA-867D-30B879DB0510@research.att.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <67ECB685-E69A-43CA-867D-30B879DB0510@research.att.com> X-j-chkmail-Score: MSGID : 46CAE9F6.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46CAE9F6.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrieu:01 oandrieu:01 yitzhak:01 mandelbaum:01 yitzhak:01 foo:01 struct:01 foo:01 wrote:01 caml-list:01 int:01 int:01 module:03 module:03 let:03 On 8/21/07, Yitzhak Mandelbaum wrote: > module Foo = > struct > type t = {a: int; b:int} > end > > without copying the type: > > let y = {Foo.a=3; Foo.b=4} actually, you can write let y = {Foo.a=3; b=4} i.e. you only need the module name on one field of the record, not all -- Olivier