NIL type in COERCE of a sequence causes compiler error

Bug #1742765 reported by Paul F. Dietz on 2018-01-11
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(compile nil '(lambda () (coerce (list 1 2) nil)))

==>

#<NAMED-TYPE NIL> is not a subtype of VECTOR.
   [Condition of type SIMPLE-ERROR]
[...]
  0: ((LABELS SB-C::SIMPLIFY :IN SB-C::SIMPLIFY-VECTOR-TYPE) #<SB-KERNEL:NAMED-TYPE NIL>)
  1: ((:SOURCE-TRANSFORM COERCE) (COERCE (LIST 1 2) NIL) #S(SB-KERNEL:LEXENV :FUNS NIL :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG..
  2: (SB-C::IR1-CONVERT-SRCTRAN #<SB-C::CTRAN 1 {100776EFB3}> #<SB-C::CTRAN 2 {100776ED33}> #<SB-C::LVAR 3 {100776ED63}> #<SB-C::GLOBAL-VAR :%SOURCE-NAME COERCE :TYPE #1=#<SB-KERNEL:FUN-TYPE (FUNCTION (T #..

(NIL actually is a subtype of VECTOR, so the error message is also dubious.)

Stas Boukarev (stassats) wrote :

cfca0dd8e0e65cb10e799e3c84141577d01d7d12

Changed in sbcl:
status: New → Fix Committed
Stas Boukarev (stassats) on 2018-01-31
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers