From: Simon Wright <simon@pushface.org>
Subject: Re: Re-write a file in Ada
Date: Tue, 19 Jan 2016 14:35:10 +0000
Date: 2016-01-19T14:35:10+00:00 [thread overview]
Message-ID: <lysi1tfxi9.fsf@pushface.org> (raw)
In-Reply-To: 8c53de6d-5e52-4aaa-b49e-bc541270af5c@googlegroups.com
Anh Vo <anhvofrcaus@gmail.com> writes:
>> loop exit when End_Of_File( this_file );
>> skip_line( this_file );
>> count := count + 1 ;
>> end loop ;
>
> This loop can be simplified by replacing exit when by not.
I think you must mean
while not End_Of_File (This_File) loop
which isn't really much simpler than
loop
exit when End_Of_File (This_File);
next prev parent reply other threads:[~2016-01-19 14:35 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-01-06 15:55 Re-write a file in Ada comicfanzine
2016-01-07 13:02 ` comicfanzine
2016-01-08 20:35 ` comicfanzine
2016-01-09 9:50 ` Brian Drummond
2016-01-08 21:22 ` Randy Brukardt
2016-01-08 22:08 ` Anh Vo
2016-01-10 16:54 ` comicfanzine
2016-01-10 18:59 ` Björn Lundin
2016-01-11 17:16 ` Brian Drummond
2016-01-18 15:05 ` gautier_niouzes
2016-01-19 12:24 ` Brian Drummond
2016-01-19 16:52 ` gautier_niouzes
2016-01-21 12:26 ` Brian Drummond
2016-01-10 22:57 ` comicfanzine
2016-01-11 1:59 ` Anh Vo
2016-01-11 10:09 ` Björn Lundin
2016-01-18 0:22 ` comicfanzine
2016-01-18 9:50 ` AdaMagica
2016-01-18 17:27 ` Björn Lundin
2016-01-18 11:52 ` Brian Drummond
2016-01-18 17:30 ` Björn Lundin
2016-01-18 17:25 ` comicfanzine
2016-01-18 17:49 ` J-P. Rosen
2016-01-18 18:37 ` Simon Wright
2016-01-19 12:33 ` Brian Drummond
2016-01-19 14:40 ` Simon Wright
2016-01-21 12:31 ` Brian Drummond
2016-01-19 12:04 ` comicfanzine
2016-01-19 14:29 ` Anh Vo
2016-01-19 14:35 ` Simon Wright [this message]
2016-01-19 16:54 ` Jeffrey R. Carter
2016-01-19 17:32 ` Anh Vo
2016-01-19 16:53 ` Stephen Davies
2016-01-20 1:12 ` comicfanzine
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox