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=ham
	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:04:01 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!newsfeed.cwix.com!newsfeed.icl.net!lnewspeer00.lnd.ops.eu.uu.net!emea.uu.net!news.kvaerner.com!news@kvaerner.com
From: "Tarjei T. Jensen" <tarjei.jensen@kvaerner.com>
Newsgroups: comp.lang.ada
Subject: Re: labeling (was: partitioning (was: Future))
Date: Fri, 15 Mar 2002 09:00:26 +0100
Organization: KOGAS
Message-ID: <a6s9n2$rh413@news.kvaerner.com>
References: <mailman.1005328653.20306.comp.lang.ada@ada.eu.org>
   <3C7B0B13.3080003@worldnet.att.net> <3C7D1C89.2000803@home.com>
 <mailman.1014918362.4599.comp.lang.ada@ada.eu.org>
 <3C7E7CAD.7070504@mail.com> <3C7FB9D2.D9C6E055@boeing.com>
 <3C81DF1F.9000503@mail.com> <a5tmpv$aek$1@msunews.cl.msu.edu>
 <3C83A112.6080302@mail.com> <3C84223C.A356F466@adaworks.com>
 <3C853A04.34826F39@despammed.com> <a63fda$er$1@nh.pace.co.uk>
 <a65gj5$n73$1@a1-hrz.uni-duisburg.de> <a65jhi$112$1@nh.pace.co.uk>
 <a6831k$3ls$1@a1-hrz.uni-duisburg.de> <a68599$8na$1@nh.pace.co.uk>
 <3C8D0D70.BB09F3DA@despammed.com> <a6jg6p$iec$1@nh.pace.co.uk>
 <3C8E3110.F36F2DC8@despammed.com> <a6lfgd$gj6$1@nh.pace.co.uk>
 <3C8F575D.61EE90A9@despammed.com>
NNTP-Posting-Host: 155.209.159.73
Mime-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
Xref: archiver1.google.com comp.lang.ada:21262
Date: 2002-03-15T09:00:26+01:00
List-Id: <comp.lang.ada>


Wes Groleau wrote
> We veered off on another topic, but while there
> I discovered another possibility for labeling:
>
>     case Animal is
>
>        ......
>
>     end case (Animal);

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.