Re: Weird Bug in Get_Line

[Brian Kolden <bakolden5@gmail.com>]

 
> According to the ARM (A.10), Text_IO operates on "text files" as defined there. 
> Part of that definition is that "the end of a line is marked by a _line 
> terminator_" and "the end of a file is marked by the combination of a line 
> terminator immediately followed by a page terminator and then a _file 
> terminator_" [A.10(7)]. So technically, an implementation of Text_IO is not 
> required to work on files that aren't valid Text_IO text files, and the error is 
> that your file is not a valid Text_IO text file.
> 
> However, such an implementation of Text_IO is pretty useless on most systems, 
> and compiler writers usually try hard to make sure that Text_IO works on foreign 
> files.

That's fair, however, the functionality of Text_IO is currently inconsistent. I feel that it should either be reworked to always throw the exception or not. At the moment, it comes across as a logical error since it will only complain at a few, very specific line lengths.