From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA09678 for caml-redistribution; Tue, 6 May 1997 14:41:03 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA08174 for ; Tue, 6 May 1997 13:41:38 +0200 (MET DST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by nez-perce.inria.fr (8.8.5/8.7.3) with ESMTP id NAA11402 for ; Tue, 6 May 1997 13:41:37 +0200 (MET DST) Received: from boole.logique.jussieu.fr (boole.logique.jussieu.fr [134.157.19.17]) by shiva.jussieu.fr (8.8.5/jtpda-5.2) with ESMTP id NAA18583 ; Tue, 6 May 1997 13:41:36 +0200 (METDST) Received: by boole.logique.jussieu.fr (8.8.5/jtpda-4.0); Tue, 6 May 1997 13:43:41 +0200 (MET DST) Date: Tue, 6 May 1997 13:43:41 +0200 (MET DST) Message-Id: <199705061143.NAA00635@boole.logique.jussieu.fr> From: Christophe Raffalli To: David.Monniaux@ens-lyon.fr CC: caml-list@inria.fr In-reply-to: (message from David Monniaux on Tue, 29 Apr 1997 22:08:15 +0200 (MET DST)) Subject: Re: initialization of arrays Sender: weis Hi, I agree with this, but more generally we need a syntactic sugar to copy a record and change some fields like { r with a = e; b = f; ... } Or anything like that ! (this would give record copy by removing the with part) When you use a record with many fields it makes the program much longer (and less readable) when you often need to change one or two field in a record. ---- Christophe Raffalli Universite Paris XII URL: http://www.logique.jussieu.fr/www.raffalli