Missing type smartness for MAKE-SEQUENCE

Bug #330299 reported by Tobias C. Rittweiler
2
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Medium
Douglas Katzman

Bug Description

The following emits a compiler-note complaining about #\0 not being
type 'bit:

  (defun foo1 (size)
    (make-array size :element-type 'bit :initial-element #\0))

However, the following does not emit such a note:

  (defun foo2 (size)
    (make-sequence 'bit-vector size :initial-element #0))

And, to big surprise, the following does _not_ emit any note either

  (defun foo3 (size)
    (values (make-sequence 'bit-vector size :initial-element #0)
              (make-array size :element-type 'bit :initial-element #\0)))

On SBCL "1.0.25.6".

description: updated
Changed in sbcl:
importance: Undecided → Medium
status: New → Confirmed
Douglas Katzman (dougk)
Changed in sbcl:
status: Confirmed → Fix Committed
assignee: nobody → Douglas Katzman (dougk)
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.