Re: Comments requested for a couple of Ada-Comments submissions

["Randy Brukardt" <randy@rrsoftware.com>]

"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.