Comment 1 for bug 1106691

Revision history for this message
Christophe Rhodes (csr21-cantab) wrote : Re: [Bug 1106691] [NEW] notinline suppresses argument checking

Stas Boukarev <email address hidden> writes:

> Public bug reported:
>
> (declaim (notinline test2))
> (defun test2 (c &key name)
> (list c name))
>
> (defun test ()
> (test2))
>
> Signals no compilation style-warnins about test2 being misused.

I suspect that this was at least at one point intentional: clhs 3.2.2.3
says that we can assume that the function test2 being called by test is
the function that was previously defined, except when there has been an
explicit notinline declaration.

Christophe