Re: declare ftype on an argument of function style-warning

Right. Thanks!

On Sun, 5 May 2024 at 10:54 am, Douglas Katzman <[email protected]> wrote:

> Use TYPE, not FTYPE.
> ftype refers to a name in the function namespace, but FN1 is a local
> variable
>
> On Sun, May 5, 2024 at 2:07 AM Albus Matt Piroglu <[email protected]>
> wrote:
>
>> With or without the 'locally below, I get the style warning. Is this
>> expected?
>>
>> (defun af (fn1)
>>   (locally (declare (ftype (function (t) nil) fn1)))
>>   fn1)
>> ; in: DEFUN AF
>> ;     (FTYPE (FUNCTION (T) NIL) FN1)
>> ;
>> ; caught STYLE-WARNING:
>> ;   undefined function: COMMON-LISP-USER::FN1
>> ;
>> ; compilation unit finished
>> ;   Undefined function:
>> ;     FN1
>> ;   caught 1 STYLE-WARNING condition
>> ⟹ AF
>> CL-USER⟩ (lisp-implementation-version)
>> ⟹ "2.4.4"
>> _______________________________________________
>> Sbcl-help mailing list
>> [email protected]
>> https://lists.sourceforge.net/lists/listinfo/sbcl-help
>>
>

_______________________________________________
Sbcl-help mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-help