Re: Attempting to create file i task

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 3/17/21 3:47 PM, AdaMagica wrote:
> 
> RM A.10.2(2) For the procedures Create and Open: After a file with mode Out_File or Append_File is opened, the page length and line length are unbounded (both have the conventional value zero). After a file (of any mode) is opened, the current column, current line, and current page numbers are set to one. If the mode is Append_File, it is implementation defined whether a page terminator will separate preexisting text in the file from the new text to be written.
> 
> Doesn't sound like the contents are overwritten. The counting starts with 1, OK, but the old contents should be presevered for Append. Only the presence of a page terminator is implementation defined.

ARM A.8.2 says that Create "Establishes a new external file". A new file has no 
contents.

You might also want to look at this discussions here on c.l.a

https://groups.google.com/g/comp.lang.ada/c/2JYJeBtpm2g/m/H2TAaPlcBgAJ

where Randy Brukardt says that Create with Append_File is defined by the ARM to 
be the same as Out_File.

You might also want to experiment with various compilers and see what they do.

-- 
Jeff Carter
"In our experiments, the [Ada] compile[r] was able to find not
just typographical errors, but also conceptual errors in the
development of the code."
Scott and Bagheri
161