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,MAILING_LIST_MULTI,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,92c39a3be0a7f17d
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-03-15 00:22:03 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!newsfeed00.sul.t-online.de!t-online.de!fr.usenet-edu.net!usenet-edu.net!enst!enst.fr!not-for-mail
From: Christoph Grein <christoph.grein@eurocopter.com>
Newsgroups: comp.lang.ada
Subject: Re: labeling (was: partitioning (was: Future))
Date: Fri, 15 Mar 2002 09:20:55 +0100 (MET)
Organization: ENST, France
Sender: comp.lang.ada-admin@ada.eu.org
Message-ID: <mailman.1016180522.31471.comp.lang.ada@ada.eu.org>
Reply-To: comp.lang.ada@ada.eu.org
NNTP-Posting-Host: marvin.enst.fr
Mime-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
X-Trace: avanie.enst.fr 1016180522 53186 137.194.161.2 (15 Mar 2002 08:22:02
 GMT)
X-Complaints-To: usenet@enst.fr
NNTP-Posting-Date: Fri, 15 Mar 2002 08:22:02 +0000 (UTC)
Return-Path: <christoph.grein@eurocopter.com>
Content-MD5: xoqLQV5u7za9MHqedu1Oig==
X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc 
Errors-To: comp.lang.ada-admin@ada.eu.org
X-BeenThere: comp.lang.ada@ada.eu.org
X-Mailman-Version: 2.0.8
Precedence: bulk
X-Reply-To: Christoph Grein <christoph.grein@eurocopter.com>
List-Help: <mailto:comp.lang.ada-request@ada.eu.org?subject=help>
List-Post: <mailto:comp.lang.ada@ada.eu.org>
List-Subscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=subscribe>
List-Id: comp.lang.ada mail<->news gateway <comp.lang.ada.ada.eu.org>
List-Unsubscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=unsubscribe>
Errors-To: comp.lang.ada-admin@ada.eu.org
X-BeenThere: comp.lang.ada@ada.eu.org
Xref: archiver1.google.com comp.lang.ada:21264
Date: 2002-03-15T09:20:55+01:00

This is getting more and more absurd. Why not stick to the current syntax:

[statement_identifier:] xxx
  ...
end xxx [identifier];

where xxx stands for:
  Ada95: loop_statement, block_statement
  Ada0Y: case_statement, if_statement, select_statement

Why on earth introduce new syntax? Please get the RM and see how it solves the 
present cases, and then try to take the syntax over to new cases. If you really 
want to have a chance of getting this thru, this is the way to go.

The ARG really has enough urgent problems to solve, and I bey they are reluctant 
to handle any such weird proposals.

> I would prefer
> 
>    case Animal label animal is
> 
> 
>    ......
> 
>     end animal;
> 
>     if Animal in Mammal label animal_if
>     then
> 
>     ...
>     end animal_if;
> 
> or possibly more readable:
> 
>     label animal_if
>     if Animal in Mammal
>     then
>     ...
>     end animal_if;
> 
> Prepending the statement which one want a named end for is perhaps easier to
> accomodate?
> 
> The label would not be available for anything else but end verification, so
> it would not be a problem that it has the same name as a variable or type.
> In other words; labels would have their own name space.
> 
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada