ReadLine
Current description of ReadLine: Page 308 of 1076-2019: Procedures READLINE, WRITELINE, and TEE declared in package TEXTIO read and write entire lines of a file of type TEXT. Procedure READLINE causes the next line to be read from the file and returns as the value of parameter L an access value that designates an object representing that line. If parameter L contains a non-null access value at the start of the call, the procedure may deallocate the object designated by that value. The representation of the line does not contain the representation of the end of the line.
In the last line, I don't think "may deallocate" is sufficient. It needs to convey that it is the responsibility of the implementation to prevent memory leaks here - not the user. 1076-2008 changed it to this - maybe they were thinking of garbage collection at that time.
1076-2002 was more clear with: If parameter L contains a nonnull access value at the start of the call, the object designated by that value is deallocated before the new object is created.
However, this did not allow for garbage collection.
I think it should say, "If parameter L contains a non-null access value at the start of the call, an implementation shall deallocate the object designated by that value either immediately or at its convenience."
The last line is a requirement, but is missing shall. Perhaps it should be: "The representation of the line shall not contain the representation of the end of the line."
Most vendors who have been at it for a while already know this, but new ones may not.
Maybe add the note: x - ReadLine shall remove end of line representations from a line.
OK the note is not quite right as it cannot be stated as a requirement.