Re: End_Of_File but not really

["Adam Beneschan" <adam@irvine.com>]

Jeffrey R. Carter wrote:
> Adam Beneschan wrote:
> >
> > If I try this on Linux, on a file whose bytes are abc<LF><LF>, then the
> > message "End_Of_File returned TRUE but Get_Line did not raise an
> > exception".  This strikes me as bizarre---if End_Of_File returns True,
> > then a subsequent read operation should raise an End_Error, but that
> > isn't what's happening.

> So the
> situation you describe is true even for a file written by Text_IO:
> End_Of_File returns True and Get_Line reads an empty string.

Yes, and for what it's worth, I just tested it, using Text_IO to create
and then reopen the file, and I'm still getting that message.

                 -- Adam