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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1592759aa83d0d45 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-28 17:58:29 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!lnsnews.lns.cornell.edu!newsstand.cit.cornell.edu!news.stealth.net news.stealth.net!news.stealth.net!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny02.gnilink.net.POSTED!53ab2750!not-for-mail From: Hyman Rosen User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.4b) Gecko/20030524 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Suggestion for Ada 200x - Interface inheritance References: <0Pxza.699607$OV.652508@rwcrnsc54> <5ad0dd8a.0305240435.337d9373@posting.google.com> <5ad0dd8a.0305250612.ec54c23@posting.google.com> <3ED1039F.7010001@spam.com> <719Aa.14547$fT5.3595@nwrdny01.gnilink.net> <5ad0dd8a.0305252353.44adf560@posting.google.com> <5ad0dd8a.0305271041.25ca7120@posting.google.com> <1054062833.558791@master.nyc.kbcfp.com> <5ad0dd8a.0305280507.57bd5a16@posting.google.com> In-Reply-To: <5ad0dd8a.0305280507.57bd5a16@posting.google.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Thu, 29 May 2003 00:58:28 GMT NNTP-Posting-Host: 162.84.146.112 X-Complaints-To: abuse@verizon.net X-Trace: nwrdny02.gnilink.net 1054169908 162.84.146.112 (Wed, 28 May 2003 20:58:28 EDT) NNTP-Posting-Date: Wed, 28 May 2003 20:58:28 EDT Xref: archiver1.google.com comp.lang.ada:37962 Date: 2003-05-29T00:58:28+00:00 List-Id: Wojtek Narczynski wrote: > So it's good to have the compiler check types and ranges, but it's not > good to check exception propagation patterns. All clear, thank you. You're welcome. The difference, of course, is that it's an error to mix types incorrectly, or to wander out of range, but it's not an error to ignore an exception. That's exactly what exceptions are for, to be ignored by code that wants to ignore them, until they reach an interested handler. Explicit expressions of disinterest are wrong, because the universe of things in which to be disintersted in is ever expanding.