From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,2e69f8b2b50371a6
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: End_Of_Line, End_Of_File
Date: 1996/11/30
Message-ID: <dewar.849368006@merv>#1/1
X-Deja-AN: 201573786
references: <Pine.SUN.3.95.961130130247.261C-100000@tsc1>
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-11-30T00:00:00+00:00
List-Id: <comp.lang.ada>


Fernando says

"The problem is I do not know how to recognize when there is an End_Of_Line
followed by an End_Of_File or when there is and End_Of_File alone. The
problem seems to be that in Ada95 (I'm using gnat-3.01 compiler on a Unix
workstation) when End_Of_File returns true, End_Of_Line also returns true
and that need not be true. For example:"


Well GNAT is doing exactly what the Ada 95 reference manual requires.
What you are really discovering is that Text_IO is not an easy tool
for this sort of programming. I recommend you use Stream_IO instead, then
you know exactly what you are reading.