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