Re: [Sbcl-devel] Global policy restrictions

[Nikodemus S. <nik...@ra...>]

Thomas F. Burdick wrote:
> On 6/29/07, Nikodemus Siivola <nik...@ra...> wrote:
>> I have a patch that implements a way to globally restrict
>> policicies in SBCL:
>>
>>   (restrict-compile-policy 'safety 1)
>>
>> will override any local declarations or global proclamations
>> of SAFETY 0.
>>
>> The point is to make it easy to recompile large bodies
>> of code with eg. a given mininum SAFETY or DEBUG policy.
> 
> This looks great, and extremely useful.  However, I'd also like to be
> able to restrict the upper values.  For example,
> (restrict-compile-policy 'debug '<= 2) or something.

I'm not too averse to this, but it gets tricky as it means that
you'll be able to make safe code unsafe, when other parts may
be relying on some error-checking guaranteed by the said safe
code...

...and saying that upper limit affects all other qualities except
safety is just tacky. It might be the way to go, though. Or it
might be that some sort of warnings are in order after all.

Cheers,

  -- Nikodemus