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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c4190027f6de5b93 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-29 22:40:05 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!news.iac.net!news-out.cwix.com!newsfeed.cwix.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Robert Dewar Newsgroups: comp.lang.ada Subject: Re: Computation of exception handling Date: Tue, 30 Jan 2001 06:33:38 GMT Organization: Deja.com Message-ID: <955n83$cjr$1@nnrp1.deja.com> References: <94jr16$j2q$1@nnrp1.deja.com> <94ki0n$j4d$1@usenet.rational.com> <3a6ef4d9$1@pull.gecm.com> <3a7188ec$1@pull.gecm.com> <94s4ov$qfo$1@nnrp1.deja.com> <3A7316F6.87EDF50B@ntlworld.com> <3A753496.67442B90@praxis-cs.co.uk> NNTP-Posting-Host: 205.232.38.14 X-Article-Creation-Date: Tue Jan 30 06:33:38 2001 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U) X-Http-Proxy: 1.0 x52.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 X-MyDeja-Info: XMYDJUIDrobert_dewar Xref: supernews.google.com comp.lang.ada:4688 Date: 2001-01-30T06:33:38+00:00 List-Id: In article <3A753496.67442B90@praxis-cs.co.uk>, Peter Amey 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/