From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Forcing Exception Handling
Date: Tue, 1 Mar 2011 07:23:56 -0800 (PST)
Date: 2011-03-01T07:23:56-08:00 [thread overview]
Message-ID: <fa1a4004-b346-46f7-b8a0-e32af90ae455@o21g2000prh.googlegroups.com> (raw)
In-Reply-To: 195bsgigtzacu$.13u18z09ptrtw$.dlg@40tude.net
On Mar 1, 1:56 am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
>
> Also consider this:
>
> declare
> Foo : exception:
> begin
> ...
> raise Foo;
> end; -- Foo propagates out its scope!!
>
What's wrong with handling it with OTHERS?
> A possibility to handle this is exception promotion, e.g. Foo to
> Program_Error, when Foo gets finalized.
A third is to convert Exceptions to a hierarchy as stated in my last
post.
I'm not sure that's a Good Thing, but I think it's actually better
than
type extension; which I thought would be nice earlier... but the more
I
think on the problem the more it seems it would be utterly burdensome
for
implementors as well as possibly impossible-to-get-right.
next prev parent reply other threads:[~2011-03-01 15:23 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-28 17:27 Forcing Exception Handling iloAda
2011-02-28 17:32 ` Simon Clubley
2011-02-28 18:33 ` onox
2011-02-28 19:10 ` Simon Clubley
2011-02-28 18:34 ` Vinzent Hoefler
2011-02-28 20:20 ` Florian Weimer
2011-02-28 20:35 ` Ludovic Brenta
2011-03-01 3:54 ` Randy Brukardt
2011-03-01 8:34 ` Dmitry A. Kazakov
2011-03-02 0:00 ` Randy Brukardt
2011-03-02 8:28 ` Dmitry A. Kazakov
2011-02-28 20:38 ` Georg Bauhaus
2011-03-01 0:19 ` Shark8
2011-03-01 8:56 ` Dmitry A. Kazakov
2011-03-01 9:34 ` iloAda
2011-03-01 9:47 ` Vinzent Hoefler
2011-03-01 9:51 ` Dmitry A. Kazakov
2011-03-01 10:07 ` iloAda
2011-03-01 13:27 ` Mark Lorenzen
2011-03-01 16:11 ` J-P. Rosen
2011-03-02 0:11 ` Randy Brukardt
2011-03-01 15:23 ` Shark8 [this message]
2011-03-01 15:44 ` Dmitry A. Kazakov
2011-03-02 0:02 ` Randy Brukardt
2011-03-01 2:08 ` Hoàng Đình Long
2011-03-02 13:39 ` ytomino
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox