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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca1.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!news2.arglkargh.de!newsfeed.fsmpi.rwth-aachen.de!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Comments requested for a couple of Ada-Comments submissions
Date: Fri, 11 Jul 2014 16:24:03 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lppklk$rek$1@loke.gir.dk>
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>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1405113844 28116 69.95.181.76 (11 Jul 2014 21:24:04 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 11 Jul 2014 21:24:04 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: number.nntp.dca.giganews.com comp.lang.ada:187535
Date: 2014-07-11T16:24:03-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:61zr552fwaif$.1gzem1sdpvtac.dlg@40tude.net...
> 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)

This is roughly what GNAT is doing, and I think this is horrible. An 
attribute is some sort of function, and it would never be possible to write 
a function that works like this. I don't want more magic in the language if 
we can help it. Moreover, this ought to have the semantics of an aggregate 
(vis-a-vis temporaries, build-in-place, and the like), and as such it ought 
to look like an aggregate.

                                 Randy.