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.3 required=5.0 tests=MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 2E89FBC68 for ; Mon, 18 Sep 2006 23:18:17 +0200 (CEST) Received: from ron.emn.fr (sicnat2.emn.fr [193.54.76.193]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8ILIE6w010265 for ; Mon, 18 Sep 2006 23:18:16 +0200 Received: from spip.dsic.emn.fr (root@spip.dsic.emn.fr [193.104.32.156]) by ron.emn.fr (8.9.3/jtpda-5.3.1) with ESMTP id XAA02378 ; Mon, 18 Sep 2006 23:16:57 +0200 (CEST) Received: from ifs.emn.fr (ifs.emn.fr [193.54.76.100]) by spip.dsic.emn.fr (8.13.8/8.12.1) with ESMTP id k8ILI4Yx025486; Mon, 18 Sep 2006 23:18:04 +0200 Received: from localhost.localdomain (pad@dhcp95.rech18.emn.fr [192.168.18.95]) by ifs.emn.fr (8.9.3/jtpda-5.1) with ESMTP id XAA16726 ; Mon, 18 Sep 2006 23:16:29 +0200 (MEST) To: "Denis Bueno" Cc: "Martin Jambon" , OCaml Mailing List Subject: Re: [Caml-list] Record field update using 'with' syntax References: <6dbd4d000609181322t787162anf370923383727626@mail.gmail.com> <6dbd4d000609181400m4fed986csad9f39a4c2c7f97@mail.gmail.com> From: Yoann Padioleau Date: Mon, 18 Sep 2006 23:16:51 +0200 In-Reply-To: <6dbd4d000609181400m4fed986csad9f39a4c2c7f97@mail.gmail.com> (Denis Bueno's message of "Mon, 18 Sep 2006 17:00:04 -0400") Message-ID: <87k640ooxo.fsf@wanadoo.fr> User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 450F0D16.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; syntax:01 inference:01 beginner's:01 ocaml:01 bug:01 1977:98 2006,:98 beginners:01 wrote:01 wrote:01 arbitrary:01 caml-list:01 caml-list:01 writes:01 expression:01 "Denis Bueno" writes: > 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. Still, the machine could infer this information. Do we not all like type inference ? Why not extend it to this problem ? >> > > Makes sense. Thanks. > > -Denis > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs