On 24 June 2013 17:57, Teemu Likonen <tlikonen@...> wrote:
>> It means something in the expression SORT expands into is unreachable.
> Is there some sense the note or is it false?
It is correct. The SPACE 0 cause the SORT call to expand essentially into
(list (sort-list ...))
(vector (sort-vector ...))
(sequence (sort-generic-sequence ...)))
If the assignment is in place, the compiler figures out you have a
list, and the VECTOR and SEQUENCE branches get deleted. Hence the
It is suboptimal, though: not something a user should care about, and
the possibly MAYBE-INLINE declaration for SORT should be replaced by a
deftransform which would also remove the note, and allow eliding
runtype dispatch in higher-space policies when the information is
Anyhow, not a bug per se.