Hi Alex,

>    : (lintAll)
>    -> ((order (bnd S)))

I tried it on the multi-method code and got a warning:

(de mmApply @
   (let ("N" (next)
         "A" (rest)
         "K" (mapcar type "A")
         "Mm" (filter '((M) (mmApplicable "K" (car M))) (get "N" 'mm)) )
      (ifn "Mm"
         (quit 'mm (list "No applicable method" "N" "A" "K"))
         (let mmNext '(()
                       (ifn (cdr (pop '"Mm"))
                          (quit 'mm (list "No other method" "N" "A" "K"))
                          (apply @ "A") ) )
            (apply (cdr (pop '"Mm")) "A") ) ) ) )

: (lintAll)
(lintAll)
-> ((mmApply (use mmNext)))

A false positive? ('mmNext' can be called in the function under
'apply'.)  Maybe a dynamically scoped code is impossible to check
reliably?

I also got:

-> ((xml (use Pre Nl)) (xml_ (bnd Nn N Pre Nl)) (xmlEsc (use @A)))

when run with the new lib/xml.l loaded.  The xml and xml_ are fine,
xmlEsc looks like it has unused @A.

Thank you,

Tomas
-- 
UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe

Reply via email to