lmj/lparallel — Issue #1: Failed compilation on SBCL 1.0.52.23
Author: death
Created: 2011-10-24 14:27:09+00:00
State: open

; (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.