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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: comp.lang.ada
Subject: Re: stopping a loop iteration without exiting it
Date: Fri, 05 Jan 2018 16:53:40 -0800
Organization: None to speak of
Message-ID: <lna7xraju3.fsf@kst-u.example.com>
References: <bc57c2d8-ed05-4e8b-b7db-440984976364@googlegroups.com>
	<81971548-23c9-4927-a6a8-6f0f1dba896b@googlegroups.com>
	<p2jhdl$da4$1@franka.jacob-sparre.dk> <wccr2r6ttuh.fsf@TheWorld.com>
	<p2kufi$f1l$1@dont-email.me> <p2l1kr$11p4$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org;
 posting-host="104bc7c9e93083c3140695cb14d39700";
	logging-data="22515"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19M+3SW3Ic/ES0DH7xaX+0G"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:WCvMsZivTvVG5sqIoWxuibpUKcI=
	sha1:o7oCZiQdY8DsKA2yMlUMsZsSWdk=
Xref: reader02.eternal-september.org comp.lang.ada:49776
Date: 2018-01-05T16:53:40-08:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
[...]
> P.S. What I don't understand is why loop names cannot serve as labels. 
> Why this:
>
> loop
>     ...
>     goto Continue;
>     ...
>     <<Continue>>
> end loop;
>
> Instead of simple:
>
> Process : loop
>     ...
>     goto Process;
>     ...
> end loop Process;

So you want "goto Loop_Name" to branch to the *bottom* of the loop, not
the top?  I think that would confuse a lot of people.  If such a feature
were to be added, you might as well call it "continue".

> P.P.S. When-for-everyone is long overdue:
>
>     goto <label> when <condition>;
>     return [<result>] when <condition>;
>     raise <exception> [with <message>] when <condition>;

One data point: Perl has a postfix if.

    if ($condition) {
        do_something();
    }

    do_something() if $condition;

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Working, but not speaking, for JetHead Development, Inc.
"We must do something.  This is something.  Therefore, we must do this."
    -- Antony Jay and Jonathan Lynn, "Yes Minister"