Missing type smartness for MAKE-SEQUENCE

Bug #330299 reported by Tobias C. Rittweiler on 2009-02-16
2
Affects Status Importance Assigned to Milestone
SBCL
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) on 2014-12-03
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  Edit
Everyone can see this information.

Other bug subscribers