Re: Style warning with SB-CLTL2:AUGMENT-ENVIRONMENT

Marco Antoniotti <[email protected]>
Newsgroups gmane.lisp.steel-bank.general
Message-ID <CAG0Nw2mSyjR3aijWz0H5HWm0ndRTgPbLoyQ8SkuHc4=Nv=M4Rg@mail.gmail.com>
Ok about the "bogus warning"

The idea is to write walkers and other interesting things.

Cheers
Marco


On Fri, Jun 21, 2024 at 5:29 PM Stas Boukarev <[email protected]> wrote:

> That's probably a bogus warning, but what's the idea behind
> doing augment-environment for functions?
>
> On Fri, Jun 21, 2024 at 6:21 PM Marco Antoniotti <
> [email protected]> wrote:
>
>> Hi
>>
>> I get the following STYLE-WARNING while (re)working on some code.
>> I am not sure why the STYLE-WARNING is generated or whether I am doing
>> something wrong. (Note: you do not need to have the function defined
>> beforehand to observe the effect.
>>
>> Any help would be appreciated.
>>
>> Thank you
>>
>> MA
>>
>> CL-USER> *(defun foobarz (x) (declare (ignore x)) 42)*
>> FOOBARZ
>>
>> CL-USER> *(foobarz 123)*
>> 42
>>
>> CL-USER> *(sb-cltl2:augment-environment nil :function '(foobarz)
>> :declare '((ftype (function (t) fixnum) foobarz)))*
>> *STYLE-WARNING: The definition has zero args, but the FTYPE declaration
>> has one.*
>> #S(SB-KERNEL:LEXENV
>>    :FUNS ((FOOBARZ
>>            . #<SB-C::CLAMBDA
>>                :%SOURCE-NAME FOOBARZ
>>                :%DEBUG-NAME NIL
>>                :KIND NIL
>>                :TYPE #<SB-KERNEL:FUN-TYPE (FUNCTION (T)
>>                                            (VALUES FIXNUM &REST T))>
>>                :WHERE-FROM :DEFINED
>>                :VARS NIL {10037ACF93}>))
>>    :VARS NIL
>>    :BLOCKS NIL
>>    :TAGS NIL
>>    :TYPE-RESTRICTIONS NIL
>>    :LAMBDA NIL
>>    :CLEANUP NIL
>>    :HANDLED-CONDITIONS NIL
>>    :DISABLED-PACKAGE-LOCKS NIL
>>    :%POLICY #<SB-C:POLICY ((INHIBIT-WARNINGS 1) (SPEED 1) (SPACE 1)
>> (SAFETY 1)
>>                            (DEBUG 1) (COMPILATION-SPEED 1))>
>>    :USER-DATA NIL
>>    :PARENT NIL
>>    :VAR-CACHE NIL
>>    :FLUSHABLE NIL)
>> CL-USER>
>>
>> --
>> Marco Antoniotti, Professor                   tel. +39 - 02 64 48 79 01
>> DISCo, University of Milan-Bicocca U14 2043   http://dcb.disco.unimib.it
>> Viale Sarca 336
>> I-20126 Milan (MI) ITALY
>> _______________________________________________
>> Sbcl-help mailing list
>> [email protected]
>> https://lists.sourceforge.net/lists/listinfo/sbcl-help
>>
>

-- 
Marco Antoniotti, Professor                   tel. +39 - 02 64 48 79 01
DISCo, University of Milan-Bicocca U14 2043   http://dcb.disco.unimib.it
Viale Sarca 336
I-20126 Milan (MI) ITALY

_______________________________________________
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.