Re: Get_Line

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Jeffrey Carter <jrcarter@acm.org> writes:

> ...What you want to do is call Skip_Line if
> Get_Line has not skipped the line terminator, which happens if the input
> is >= Buffer'Length characters:
> ...

This group seems to get an endless series of posts indicating confusion
about Get_Line.  Jeffrey Carter and others kindly give helpful answers,
which is good.

But isn't the *real* problem that the design of Text_IO is broken?  For
example, why is there no Get_Line function:

    function Get_Line(...) return String;

that returns the entire contents of the next line, no matter how long it
is, and without fussing about with fixed-length (i.e. wrong length!)
buffers?

- Bob