From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Create and Append_File
Date: Sat, 8 Jun 2019 00:00:11 -0500
Date: 2019-06-08T00:00:11-05:00 [thread overview]
Message-ID: <qdffcr$6ip$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: qde1g7$s9n$1@dont-email.me
"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message
news:qde1g7$s9n$1@dont-email.me...
> On 6/6/19 11:24 PM, Randy Brukardt wrote:
>> I believe it means the same as Out_File. Other requirements in RM (not
>> very
>> clear ones, I'm afraid) require the file opened by Create to be empty,
>> whether or not the file previously existed. So, if Create allows
>> (re)creating an existing file (it doesn't have to, it could raise
>> Use_Error), that file will be empty. In that case, Out_File and
>> Append_File
>> are the same.
>
> Thanks for the clarification. Which parts of the standard state that
> requirement unclearly?
I couldn't find them quickly, which I way I wrote the above that
unsatisfying way. And if it was too hard yesterday, it will remain that way
today. Sorry.
Randy.
prev parent reply other threads:[~2019-06-08 5:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-06-06 20:45 Create and Append_File Jeffrey R. Carter
2019-06-06 21:24 ` Randy Brukardt
2019-06-07 8:01 ` Simon Wright
2019-06-07 15:59 ` Jeffrey R. Carter
2019-11-27 21:40 ` Simon Wright
2019-06-07 15:56 ` Jeffrey R. Carter
2019-06-08 5:00 ` Randy Brukardt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox