Re: Get_Line problem (GNAT bug?)

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

Adam Beneschan wrote:
> Bj�rn Persson wrote:
>> 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."
> 
> I meant to type End_Of_File.

So did I. I didn't even notice your mistake, and what I quoted was the
definition of End_Of_File. Oops! :-)

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