Re: Proposal: pragma Assumption

[Stephen Leake <Stephe.Leake@nasa.gov>]

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