[Sbcl-devel] strange sort return type causes swank to throw a warning

[Peter V. E. <pva...@de...>]

Hello,

While recompiling the slime HEAD with 1.0.3 I noticed that 
it throws a warning:

; in: DEFMETHOD INSPECT-FOR-EMACS (STANDARD-CLASS T)
;     (SORT (COPY-SEQ (SB-MOP:SPECIALIZER-DIRECT-METHODS CLASS)) #'STRING< :KEY
;         (LAMBDA (SWANK::X)
;           (SYMBOL-NAME
;            (LET (#)
;              (IF # SWANK::NAME #)))))
; --> BLOCK LET SB-IMPL::SEQ-DISPATCH IF IF LET LET
; ==>
;   SEQUENCE
;
; caught WARNING:
;   A possible binding of #:LOOP-LIST-10773 is a (VALUES (SIMPLE-ARRAY * (*))
;                                                        &OPTIONAL), not a LIST.

I think this caused by:


(defmethod inspect-for-emacs ((class standard-class) inspector)
...
                 ,@(loop
                      for method in (sort (copy-seq (swank-mop:specializer-direct-methods class))
                                          #'string< :key (lambda (x)
...

Because the return type of sort is no longer a sequence:

0] (describe #'sort)
...
Its result type is:
  (VALUES SEQUENCE &OPTIONAL)


Why is this? This doesn't seem consistent with the definition of 
sort in the hyperspec to me, not?

Function SORT, STABLE-SORT

Syntax:

sort sequence predicate &key key => sorted-sequence
..
sorted-sequence---a sequence


Groetjes, Peter

-- 
signature -at- pvaneynd.mailworks.org 
http://www.livejournal.com/users/pvaneynd/
"God, root, what is difference?" Pitr | "God is more forgiving." Dave Aronson|