make-array/make-string lossage

[William.Lott@ARDATH.SLISP.CS.CMU.EDU]

Rob,

Make-string gets transformed into a make-array, but somewhere along the
line it forgets that the argument to make-string must be an index, and goes
with the more relaxed make-array arg restriction:

In: defun foo
  (make-string x)
==>
  (make-array x :element-type 'base-character :initial-element ...)
Note: Unable to optimize due to type uncertainty:
      The first argument is a (or cons (unsigned-byte 29) null), not a integer.
Note: Unable to optimize due to type uncertainty:
      The first argument is a (or cons (unsigned-byte 29) null), not a list.

This seems bogus.

-William