From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca1.giganews.com!nntp.giganews.com!newspeer1.nac.net!newsfeed.xs4all.nl!newsfeed3.news.xs4all.nl!xs4all!rt.uk.eu.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Comments requested for a couple of Ada-Comments submissions
Date: Fri, 11 Jul 2014 21:35:21 +0200
Organization: cbb software GmbH
Message-ID: <8i33i8zoqsn0.eq47w8qioofx.dlg@40tude.net>
References: <lpn9ic$acs$1@dont-email.me> <58Kvv.9105$Zt3.1101@fx02.iad>
 <aecf81df-dc39-4bbf-9990-c8367587daba@googlegroups.com>
 <c2al2lFj394U1@mid.individual.net>
 <f8bc1877-bc06-43a9-bc92-82783dec7741@googlegroups.com>
 <lyfvi73hdu.fsf@pushface.org> <61zr552fwaif$.1gzem1sdpvtac.dlg@40tude.net>
 <c2arghFkdkcU1@mid.individual.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: qHNcUCBwwd01dPSBp/L1cg.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: number.nntp.dca.giganews.com comp.lang.ada:187532
Date: 2014-07-11T21:35:21+02:00
List-Id: <comp.lang.ada>

On Fri, 11 Jul 2014 22:16:32 +0300, Niklas Holsti wrote:

> On 14-07-11 22:10 , Dmitry A. Kazakov wrote:
>> On Fri, 11 Jul 2014 19:00:29 +0100, Simon Wright wrote:
>> 
>>> Adam Beneschan <adambeneschan@gmail.com> writes:
>>>
>>>>     (C => D, E => F, use all others in A)
>>>
>>>    (A with new C => D, E => F)
>> 
>> A'Update (C => D, E => F)
> 
> Is that an assignment to A, or an expression yielding a value without
> altering A? If the former, I'm against it, because it would solve only
> the "atomic update" problem and would not have other uses.

Expression:

   X := Y'Update (C => D, E => F);

What about arrays?

   Text := Text'Update (1..3 => ' ');

Containers?

Maybe 'Replace or 'Substitute.

However, I don't see how this should resolve the problem of atomic
operations. It is not only atomic update it is, and more important, atomic
test and conditional update, atomic increment and decrement, atomic test
and conditional increment, atomic swap etc.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de