Re: initialization of arrays

From: Christophe Raffalli (raffalli@logique.jussieu.fr)
Date: Tue May 06 1997 - 13:43:41 MET DST

Date: Tue, 6 May 1997 13:43:41 +0200 (MET DST)
Message-Id: <199705061143.NAA00635@boole.logique.jussieu.fr>
From: Christophe Raffalli <raffalli@logique.jussieu.fr>
To: David.Monniaux@ens-lyon.fr
Subject: Re: initialization of arrays

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

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:10 MET