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

Douglas Katzman via Sbcl-help <[email protected]>
Newsgroups gmane.lisp.steel-bank.general
Message-ID <CAOrNasxeQT6ZPZg=ykdjtAmyihHLo=TjQrzHXEqzSF3V+PMtZg@mail.gmail.com>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.