Error in MAKE-ARRAY with OR element type

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

Bug Description

(make-array 1 :element-type '(or (eql -16) unsigned-byte) :initial-contents '(-16))

==>

The value
  NIL
is not of type
  NUMBER
when binding SB-KERNEL::X
   [Condition of type TYPE-ERROR]

Restarts:
 0: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: (SB-KERNEL:TWO-ARG-> NIL -16) [external]
  1: (SB-VM::GENERIC->)
  2: (MAX -16 NIL)
  3: (REDUCE #<FUNCTION MAX> (#<SB-KERNEL:NUMERIC-TYPE (INTEGER -16 -16)> #<SB-KERNEL:NUMERIC-TYPE UNSIGNED-BYTE>) :KEY #<FUNCTION SB-KERNEL:NUMERIC-TYPE-HIGH>)
  4: (SB-VM::%VECTOR-WIDETAG-AND-N-BITS-SHIFT (OR (EQL -16) UNSIGNED-BYTE))
  5: (MAKE-ARRAY 1 :ELEMENT-TYPE (OR (EQL -16) UNSIGNED-BYTE) :INITIAL-CONTENTS (-16))
 [...]

Stas Boukarev (stassats) wrote :

b7773a8c129c0567a0c8ab8963fc928d9c672db4

Changed in sbcl:
status: New → Fix Committed
Stas Boukarev (stassats) on 2018-05-29
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