Type error in MAKE-ARRAY: The value NIL is not of type SB-KERNEL:CTYPE

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

Bug Description

(make-array '(4) :element-type '(or (cons keyword) (and atom (eql t))))

==>

The value
  NIL
is not of type
  SB-KERNEL:CTYPE
   [Condition of type TYPE-ERROR]
[...]
  0: (SB-KERNEL::%TYPE-UNION (NIL #<SB-KERNEL:MEMBER-TYPE (MEMBER T)>))
  1: (SB-VM::%VECTOR-WIDETAG-AND-N-BITS-SHIFT (OR (CONS KEYWORD) (AND ATOM (EQL T))))
  2: (MAKE-ARRAY (4) :ELEMENT-TYPE (OR (CONS KEYWORD) (AND ATOM (EQL T))))
  3: (SB-INT:SIMPLE-EVAL-IN-LEXENV (MAKE-ARRAY (QUOTE (4)) :ELEMENT-TYPE (QUOTE (OR # #))) #<NULL-LEXENV>)
  4: (EVAL (MAKE-ARRAY (QUOTE (4)) :ELEMENT-TYPE (QUOTE (OR # #))))
[...]

Stas Boukarev (stassats) wrote :

577fe979fc64b71995e597b6baaa7d52c5a01cbe

Changed in sbcl:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers