From: mfb@mbunix.mitre.org (Michael F Brenner)
Subject: Re: GNAT's Text_IO & empty files
Date: 1998/07/07
Date: 1998-07-07T00:00:00+00:00 [thread overview]
Message-ID: <6ntttq$40n@top.mitre.org> (raw)
In-Reply-To: 35A21B66.1509490B@cl.cam.ac.uk
> ... just stating that every line ends with an end-of-line ...
Just stating that every (line/page) end with an end-of-(line/page)
does not quite answer the question of whether a file with zero lines
and zero pages is permitted.
The manual should explicitly state that the user may create lines with no
characters other than the end-of-line sequence, pages with no lines,
and files with no pages, to make it perfectly clear what is required in
order to faithfully copy files.
next prev parent reply other threads:[~1998-07-07 0:00 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-07-06 0:00 GNAT's Text_IO & empty files Gautier de Montmollin
1998-07-06 0:00 ` Pascal MALAISE
1998-07-07 0:00 ` Kevin Radke
1998-07-07 0:00 ` Gautier
1998-07-06 0:00 ` Robert Dewar
1998-07-07 0:00 ` Gautier
1998-07-07 0:00 ` Robert Dewar
1998-07-07 0:00 ` Robert I. Eachus
1998-07-07 0:00 ` Markus Kuhn
1998-07-07 0:00 ` Gautier
1998-07-07 0:00 ` Samuel Tardieu
1998-07-08 0:00 ` Aaro Koskinen
1998-07-09 0:00 ` Samuel Tardieu
1998-07-09 0:00 ` Gautier.DeMontmollin
1998-07-08 0:00 ` dennison
1998-07-07 0:00 ` Markus Kuhn
1998-07-07 0:00 ` Michael F Brenner [this message]
1998-07-07 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox