From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 C2CE5BB9C for ; Wed, 14 Sep 2005 10:49:05 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8E8n5v9029957 for ; Wed, 14 Sep 2005 10:49:05 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA30361 for ; Wed, 14 Sep 2005 10:49:04 +0200 (MET DST) Received: from triton.rz.uni-saarland.de (triton.rz.uni-saarland.de [134.96.7.25]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8E8n4uQ029954 for ; Wed, 14 Sep 2005 10:49:04 +0200 Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by triton.rz.uni-saarland.de (8.12.10/8.12.10) with ESMTP id j8E8n1n83214308 for ; Wed, 14 Sep 2005 10:49:01 +0200 (CEST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.13.4/2005060800) with ESMTP id j8E8n0YK028469 for ; Wed, 14 Sep 2005 10:49:01 +0200 (CEST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.13.4/2005033000) with ESMTP id j8E8mx9e006052 for ; Wed, 14 Sep 2005 10:49:00 +0200 (CEST) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.13.4/2005091300) with ESMTP id j8E8mxjN008406 for ; Wed, 14 Sep 2005 10:48:59 +0200 (CEST) X-Authentication-Warning: mail.cs.uni-sb.de: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from [134.96.186.112] (groove.ps.uni-sb.de [134.96.186.112]) by ps.uni-sb.de (8.12.10/8.12.10) with ESMTP id j8E8mx9s005707 for ; Wed, 14 Sep 2005 10:48:59 +0200 Message-ID: <4327E3FA.7010002@ps.uni-sb.de> Date: Wed, 14 Sep 2005 10:48:58 +0200 From: Andreas Rossberg User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050317) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml users Subject: Re: [Caml-list] Records misbehaviour References: <4a708d205091316156a6e5108@mail.gmail.com> In-Reply-To: <4a708d205091316156a6e5108@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.5.1 (triton.rz.uni-saarland.de [134.96.7.25]); Wed, 14 Sep 2005 10:49:01 +0200 (CEST) X-AntiVirus: checked by AntiVir Milter 1.0.6; AVE 6.32.0.2; VDF 6.32.0.6 X-Miltered: at concorde with ID 4327E401.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4327E400.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; rossberg:01 rossberg:01 caml-list:01 lukasz:01 wrote:01 uni-sb:01 uni-sb:01 andreas:01 andreas:01 int:01 int:01 thread:02 guess:02 programming:03 let:03 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Lukasz Stafiniak wrote: > While I haven't encounter this in my programming, it popped out in > another thread and I think something might be done about it: > > #type t1 = {fst:int;snd:int};; > #let p1 = {fst=1; snd=2};; > #type t2 = {snd:int};; > #{p1 with snd=4};; > - : t2 = {snd = 4};; I guess this is just an instance of the following: # type t = {a:int};; type t = { a : int; } # {"hi" with a=5};; - : t = {a = 5} -- Andreas Rossberg, rossberg@ps.uni-sb.de Let's get rid of those possible thingies! -- TB