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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7d3cb5920e882220
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sun, 09 Dec 2007 23:13:30 +0100
From: Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>
User-Agent: Thunderbird 2.0.0.9 (Windows/20071031)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Exceptions
References: 
 <5947aa62-2547-4fbb-bc46-1111b4a0dcc9@x69g2000hsx.googlegroups.com>
 <KoSdnYQKWIUB9cXanZ2dnUVZ_oytnZ2d@comcast.com>
 <wcczlwj1ra7.fsf@shell01.TheWorld.com>
In-Reply-To: <wcczlwj1ra7.fsf@shell01.TheWorld.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <475c688f$0$17524$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 09 Dec 2007 23:13:35 CET
NNTP-Posting-Host: febb7980.newsspool4.arcor-online.net
X-Trace: 
 DXC=58YVFWZ0KJn016@cHD@m;j4IUK<Cl32<a4Fo<]lROoRa4nDHegD_]ReiU2CcZ[jJ@`A:ho7QcPOVc`FjEjgb8_;iI@`0bif2HRi
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:18834
Date: 2007-12-09T23:13:35+01:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:

>     when Funcs_Important_Exception =>
>         -- <comment explaining why this can never happen>
>         raise Program_Error;
> 
> Why on earth would anybody write "null;" there?!
> 

"We know that when this library routine complains,
it doesn't concern us. Besides, why should we pester
the customer or the user with messages and tracebacks that
do not matter?" (In some cultures, openly announcing errors
is not the preferred strategy  ;-)

The idea is that the frame of reference for inventing
the name "Funcs_Important_Exception" is somebody else's.

The source code equivalent of this Don't Care is the missing
comment, quite consequently---even if at another level of
reasoning.