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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,799e6e37c90ca633 X-Google-Attributes: gid103376,public From: dewarr@my-dejanews.com Subject: Re: Future Ada language revisions? Date: 1998/10/06 Message-ID: <6vdg8g$16g$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 398296875 References: <6um7on$db5$1@nnrp1.dejanews.com> <6v9es0$bnv$1@nnrp1.dejanews.com> <6vdbcg$p9c$1@nnrp1.dejanews.com> X-Http-Proxy: 1.0 x13.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Tue Oct 06 16:24:49 1998 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/2.02 (OS/2; I) Date: 1998-10-06T00:00:00+00:00 List-Id: In article <6vdbcg$p9c$1@nnrp1.dejanews.com>, dennison@telepath.com wrote: > In article , > Martin Dowie wrote: > > Would it be feasible to extend the specification for subprograms to > > include a list of exceptions that can also be 'returned' from a > > subprogram? here's an example using of what i'm driving at (hopefully > > it's self explanatory) - > > > > function Blah return Boolean > > or exception Some_Exception; > > What about exceptions raised by a called subprogram *called by* this > function? How about those that are raised within a rendezvous? What if said > exception isn't visible in the package specification where this declaration > has to be placed? How is the compiler to know that I even *want* an exception > handled? Do you want every unit that calls Put_Line to spit out warnings > about missing explicit handlers for use_error and mode_error? Right exactly. So that observation is the *starting* point for trying to design a reasonable facility. Obviously the first thought that all exceptions should be mentioned is quite wrong. So now the question becomes, can we find some other form of expression that is still useful, without being a useless pain in the neck. Various partial solutions have been suggested, but none proved satisfactory. -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own