Bug in DECLARE

[Robert S. Boyer <boyer@CLI.COM>]

When functions are compiled with SAFETY high, then the problems that
you mention do not arise.  You get to choose between safety and
performance.  Safety can cost you a lot!

KCl (Kyoto Common Lisp)  June 3, 1987

>(defun foo (x) (declare (ignore x)) :ignore)
FOO

>(proclaim '(optimize (safety 3)))
NIL

>(compile 'foo)
End of Pass 1.  
End of Pass 2.  
OPTIMIZE levels: Safety=3, Space=0, Speed=3
FOO

>(foo t)
:IGNORE

>(foo)

Error: FOO requires one argument,
       but only zero were supplied.
Error signalled by FOO.

Broken at FOO.  Type :H for Help.
>>:q

Top level.
>(foo t t t t t t t t t)

Error: FOO requires only one argument,
       but nine were supplied.
Error signalled by FOO.

Broken at FOO.  Type :H for Help.
>>:q

Top level.
>