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,78447032bdbeb343
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!out04a.usenetserver.com!news.usenetserver.com!in02.usenetserver.com!news.usenetserver.com!in03.usenetserver.com!news.usenetserver.com!pc03.usenetserver.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Proposal: pragma Assumption
References: <30917be5-1446-417c-8a4e-18b2f9a1f420@b1g2000hsg.googlegroups.com>
 <97479cac-db1a-4654-949b-2caa45031cf1@t54g2000hsg.googlegroups.com>
 <Mj2%j.41725$we7.34776@bgtnsc04-news.ops.worldnet.att.net>
 <4d2bb014-c956-454b-bcfb-a98cd524e5b4@m36g2000hse.googlegroups.com>
 <g1nhm2$a08$1@jacob-sparre.dk>
 <483fb1d3$0$6556$9b4e6d93@newsspool3.arcor-online.net>
From: Stephen Leake <Stephe.Leake@nasa.gov>
Date: Sat, 31 May 2008 01:56:01 -0400
Message-ID: <ubq2n81am.fsf@nasa.gov>
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/22.2 (windows-nt)
Cancel-Lock: sha1:5PFQLGScuDBKdlnFOzKCI28PCFM=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: 8c16c4840e379e05e48ed16664
Xref: g2news1.google.com comp.lang.ada:495
Date: 2008-05-31T01:56:01-04:00
List-Id: <comp.lang.ada>

Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de> writes:

> Randy Brukardt wrote:
>
>> I don't get it. If you remove the package containing Unimplemented from the 
>> program (as you should do in this case), any remaining references will be 
>> caught by the compiler as undefined.
>
> I thought that, too, but then considered programmers
> who wouldn't mind a "workaround":
>  "If that Simplifying_Assumption package is gone away,
>   stupid big IT organization, I'll roll my own.
>   I don't want their configuration handling to affect
>   my coding right now!"
> This is not possible to do with a language defined pragma.

Yes, it is; just change the build script to pass the right compiler
option.

The only "fix" for actively malicious programmers is firing them.


-- 
-- Stephe