Re: Get_Line problem (GNAT bug?)

["Björn Persson" <spam-away@nowhere.nil>]

Adam Beneschan wrote:
> After the
> first Get_Line has consumed the characters M a c i e k <CR>, then, when
> End_Of_Line looks ahead and sees that the next character is <CR>, it
> should be able to return False immediately without needing to look
> ahead to see whether <CR> is immediately followed by EOF.  And I don't
> see why this wouldn't apply to an interactive file as well.

I agree that that's how it should be, but it's not how End_Of_Line is
defined: "Returns True if a file terminator is next, or if the combination
of a line, a page, and a file terminator is next; otherwise returns False."

-- 
Bj�rn Persson                              PGP key A88682FD
                   omb jor ers @sv ge.
                   r o.b n.p son eri nu