Re: Better way to fill Storage_IO?

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 2021-05-19 23:18, Björn Lundin wrote:
> Den 2021-05-19 kl. 21:25, skrev J-P. Rosen:
>> ....
>> 'Image was not intended for regular IO.
>>
> 
> If a function/procedure is public, users will use them.


I agree, and I use 'Image a lot.


> And very likely in ways 'not intended',
> So there should be a clear statement in the RM making it clear
> that using 'Image is not for regular IO.


What could the RM say, as motivation? Your karma will decrease 5 points 
every time you use 'Image for regular IO? Or every such use brings a 
1/10000 chance of aborting the program or producing wrong results? :-)


> We use tons of it for writing to log files
> This is why I want 'image for record types.
> It would save me from writing To_String functions dumping record values 
> into the log. I think it made it into 202x but I am not sure.


It is in the 202x proposal, RM 4.10 (32/5). See 
http://www.ada-auth.org/standards/2xaarm/html/AA-4-10.html.