Re: Re-write a file in Ada

[Anh Vo <anhvofrcaus@gmail.com>]

On Tuesday, January 19, 2016 at 8:54:41 AM UTC-8, Jeffrey R. Carter wrote:
> On 01/19/2016 07:35 AM, Simon Wright wrote:
> > 
> > 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);
> 
> In fact, it's less simple, because it involves thinking about the continuation
> condition and using negative logic. It's more natural to think about the exit
> condition than the continuation condition, and positive logic is simpler than
> negative.
> 
> At the Ada Launch on 1980 Dec 10, Ichbiah said that Ada had a while loop to
> facilitate automatic translation from other languages, but new code should use exit.

After reading it a couple more times, the explicit exit statement is clearer. Thus, I would like to retract my suggestion.

Anh Vo