From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Computation of exception handling
Date: Tue, 30 Jan 2001 06:33:38 GMT
Date: 2001-01-30T06:33:38+00:00 [thread overview]
Message-ID: <955n83$cjr$1@nnrp1.deja.com> (raw)
In-Reply-To: 3A753496.67442B90@praxis-cs.co.uk
In article <3A753496.67442B90@praxis-cs.co.uk>,
Peter Amey <pna@praxis-cs.co.uk> wrote:
> One of the main reasons SPARK does not support exceptions is
> that we wanted a language free from implementation
> dependencies.
I don't see any unsurmountable obstacle in defining extensions
to SPARK that would allow exceptions to be raised without
creating any implementation defined unknown situations. Yes
you would have to limit what can be done in exception handlers,
but SPARK is in the business of figuring out appropriate
restrictions :-)
Sent via Deja.com
http://www.deja.com/
next prev parent reply other threads:[~2001-01-30 6:33 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <94jr16$j2q$1@nnrp1.deja.com>
[not found] ` <94ki0n$j4d$1@usenet.rational.com>
[not found] ` <gauthier-2401011437350001@193.50.185.13>
[not found] ` <3a6ef4d9$1@pull.gecm.com>
[not found] ` <gauthier-2601011508270001@193.50.185.13>
[not found] ` <3a7188ec$1@pull.gecm.com>
2001-01-26 20:12 ` Computation of exception handling Florian Weimer
[not found] ` <94s4ov$qfo$1@nnrp1.deja.com>
2001-01-27 18:44 ` martin.m.dowie
2001-01-29 9:15 ` Peter Amey
2001-01-30 6:33 ` Robert Dewar [this message]
2001-01-30 9:15 ` Martin Dowie
2001-02-05 9:02 ` Peter Amey
2001-02-05 12:19 ` Martin Dowie
2001-01-28 7:35 ` Simon Wright
[not found] ` <94mgqh$suo$1@nnrp1.deja.com>
2001-02-02 22:17 ` Mark Lundquist
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox