From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: Better way to fill Storage_IO?
Date: Thu, 20 May 2021 08:38:55 +0300 [thread overview]
Message-ID: <igmavfFqf2mU1@mid.individual.net> (raw)
In-Reply-To: <s83rr7$krq$1@dont-email.me>
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.
next prev parent reply other threads:[~2021-05-20 5:38 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-17 18:44 Better way to fill Storage_IO? Michael Hardeman
2021-05-17 19:14 ` Simon Wright
2021-05-17 19:23 ` Michael Hardeman
2021-05-18 20:39 ` Simon Wright
2021-05-19 6:24 ` Dmitry A. Kazakov
2021-05-19 7:17 ` J-P. Rosen
2021-05-19 8:26 ` Björn Lundin
2021-05-19 19:25 ` J-P. Rosen
2021-05-19 19:58 ` Dmitry A. Kazakov
2021-05-19 20:18 ` Björn Lundin
2021-05-20 5:38 ` Niklas Holsti [this message]
2021-05-20 6:50 ` J-P. Rosen
2021-05-20 22:24 ` Randy Brukardt
2021-05-19 15:39 ` Simon Wright
2021-05-17 20:20 ` Dmitry A. Kazakov
2021-05-17 20:48 ` Michael Hardeman
2021-05-18 14:00 ` Per Sandberg
2021-05-18 9:08 ` J-P. Rosen
2021-05-18 10:10 ` Jeffrey R. Carter
2021-05-18 16:50 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox