; (ARRAY-ELEMENT-TYPE LPARALLEL.COGNATE::RESULT-SEQUENCE)
;
; caught WARNING:
; Derived type of RESULT-SEQUENCE is
; (VALUES SB-KERNEL:EXTENDED-SEQUENCE &OPTIONAL),
; conflicting with its asserted type
; ARRAY.
; See also:
; The SBCL Manual, Node "Handling of Types"
With good reason. PMAP-INTO typecases on the result-sequence. If it's neither an array nor a list, it tries to copy the sequence's contents into an array. It wants to pass the non-array sequence to ARRAY-ELEMENT-TYPE, but the latter is not a sequence operator; it is an array operator. Thus SBCL typechecker complains.
lmj
commented
13 years ago
; (ARRAY-ELEMENT-TYPE LPARALLEL.COGNATE::RESULT-SEQUENCE) ; ; caught WARNING: ; Derived type of RESULT-SEQUENCE is ; (VALUES SB-KERNEL:EXTENDED-SEQUENCE &OPTIONAL), ; conflicting with its asserted type ; ARRAY. ; See also: ; The SBCL Manual, Node "Handling of Types"
With good reason. PMAP-INTO typecases on the result-sequence. If it's neither an array nor a list, it tries to copy the sequence's contents into an array. It wants to pass the non-array sequence to ARRAY-ELEMENT-TYPE, but the latter is not a sequence operator; it is an array operator. Thus SBCL typechecker complains.