Re: Parameterised 'Image Attributes

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2023-08-28 19:58, Niklas Holsti wrote:
> On 2023-08-28 13:58, Dmitry A. Kazakov wrote:
>> On 2023-08-28 11:18, Stephen Davies wrote:
>>
>>> I did read Randy's response, he explained the difficulty in adding
>>> parameters to 'Image,
>>
>> He rather explained that this will never happen... (:-))
>>
>> There is no good reason why attributes should not have the same 
>> parameter syntax as subprograms and entry calls.
> 
> Yes in principle, but it is understandble that making this happen now 
> could impact both the language definition and various implementations in 
> non-trivial ways.

Comparing to the useless and damaging sediments the language collects 
with each new release? (:-))

>> Neither there is one why 'Image must be a non-overridable attribute
> 
> In Ada 2022, 'Image is defined to call the new attribute 'Put_Image, 
> which can be specified (ie. overridden) by the programmer for any type.
> 
> See http://www.ada-auth.org/standards/22rm/html/RM-4-10.html.

Ah, thanks. I vaguely remembered that there was a yet another ugly hack 
that does not really solves anything significant, but could not find it.

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