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,MAILTO_TO_SPAM_ADDR, 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 D9BA4BC68 for ; Mon, 18 Sep 2006 23:00:05 +0200 (CEST) Received: from nz-out-0102.google.com (nz-out-0102.google.com [64.233.162.202]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8IL05bR008814 for ; Mon, 18 Sep 2006 23:00:05 +0200 Received: by nz-out-0102.google.com with SMTP id m22so1393850nzf for ; Mon, 18 Sep 2006 14:00:04 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=tQIePh2gw48A35GwAUmZ+J4jrxFYrjlX0CO0t5ScGiQWUv9xv9p2khtneO/lYiaYaA2PKdMjdlvYeXZ4qUX149wRPrUzp7QhWsDpeFIt0Mnj4XKjxRMEBAv6l0XK6yv/z3XduY71xv5kHVQuPbzPgfgdbu0W+7+NVcm45uP/mY8= Received: by 10.65.114.16 with SMTP id r16mr16156902qbm; Mon, 18 Sep 2006 14:00:04 -0700 (PDT) Received: by 10.65.151.17 with HTTP; Mon, 18 Sep 2006 14:00:04 -0700 (PDT) Message-ID: <6dbd4d000609181400m4fed986csad9f39a4c2c7f97@mail.gmail.com> Date: Mon, 18 Sep 2006 17:00:04 -0400 From: "Denis Bueno" To: "Martin Jambon" Subject: Re: [Caml-list] Record field update using 'with' syntax Cc: "OCaml Mailing List" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <6dbd4d000609181322t787162anf370923383727626@mail.gmail.com> X-j-chkmail-Score: MSGID : 450F08D5.000 on discorde : j-chkmail score : X : 0/20 1 X-Miltered: at discorde with ID 450F08D5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; syntax:01 1977:98 2006,:98 wrote:01 wrote:01 arbitrary:01 caml-list:01 expression:01 jambon:01 defined:02 module:03 specify:05 sep:06 function:08 sense:09 On 9/18/06, Martin Jambon wrote: > On Mon, 18 Sep 2006, Denis Bueno wrote: > > Why doesn't the following work in a function? > > > > {M1.instance with x = 20} > ^^^^^^^^^^^ > this is an arbitrary expression, it doesn't have to come from the > module where the record type is defined, so you need to specify it > too. > Makes sense. Thanks. -Denis