MAKE-STRING fails when given a hairy :ELEMENT-TYPE, part 2

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

Bug Description

(make-string 2 :initial-element #\a :element-type '(and character (or (satisfies eval) base-char)))

==>

The value
  #(#\a #\a)
is not of type
  SIMPLE-STRING
   [Condition of type TYPE-ERROR]

Note that

(upgraded-array-element-type '(and character (or (satisfies eval) base-char))) ==> CHARACTER

Stas Boukarev (stassats) wrote :

d8ccebf83da2ba2afb8b9b562eced671d102db27

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