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-Thread: 103376,1a4156f047b063f
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Forcing Exception Handling
Date: Tue, 1 Mar 2011 18:02:52 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <ikk1fi$528$1@munin.nbi.dk>
References: <02901b13-da72-48ae-9cb3-bf1a10144c44@u3g2000vbe.googlegroups.com>
 <4d6c07c1$0$6885$9b4e6d93@newsspool2.arcor-online.net>
 <e11ff7f8-a0bb-4dae-ac75-d00bb7895201@e11g2000prm.googlegroups.com>
 <195bsgigtzacu$.13u18z09ptrtw$.dlg@40tude.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1299024179 5192 69.95.181.76 (2 Mar 2011 00:02:59 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 2 Mar 2011 00:02:59 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931
X-RFC2646: Format=Flowed; Original
Xref: g2news2.google.com comp.lang.ada:18677
Date: 2011-03-01T18:02:52-06:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:195bsgigtzacu$.13u18z09ptrtw$.dlg@40tude.net...
...
> Also consider this:
>
>   declare
>      Foo : exception:
>   begin
>      ...
>      raise Foo;
>   end;  -- Foo propagates out its scope!!
>
> Unless Ada would have upward closures, that cannot work when Foo is a 
> type.
> I hope everybody agrees that upward closures should not be introduced.

Right; this was one of the reasons that the intended plan (in Ada 2005) to 
make exceptions extensible tagged types eventually got dropped. It just 
doesn't work very well for Ada (it could have if done initially, but it is 
too late now).

                                 Randy.