From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Create and Append_File
Date: Fri, 7 Jun 2019 17:56:55 +0200
Date: 2019-06-07T17:56:55+02:00 [thread overview]
Message-ID: <qde1g7$s9n$1@dont-email.me> (raw)
In-Reply-To: <qdc0b4$3in$1@franka.jacob-sparre.dk>
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?
--
Jeff Carter
"You couldn't catch clap in a brothel, silly English K...niggets."
Monty Python & the Holy Grail
19
next prev parent reply other threads:[~2019-06-07 15:56 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 [this message]
2019-06-08 5:00 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox