Re: Forcing Exception Handling

["Randy Brukardt" <randy@rrsoftware.com>]

"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.