Hi Stas, Blake,

On Wed, Oct 26, 2011 at 11:54 AM, Stas Boukarev stassats@gmail.com wrote:

Blake McBride blake@mcbride.name writes:

...

Figured it out:

(array-element-type (make-array '(2 2) :element-type 'fixnum :initial-contents '((1 2)(3 4))))

T

You could check that with (upgraded-array-element-type 'fixnum) => T

And to check all types (loop for symbol being the symbols in :cl      when (not (eql t (or (ignore-errors (upgraded-array-element-type symbol)) t)))      collect symbol) => (BIT STANDARD-CHAR BASE-CHAR CHARACTER)

Seems we need to be better at detecting specializer types:

We have types for vectors and arrays of higher rank with elements of:

* UNSIGNED-BYTE 8 * UNSIGNED-BYTE 16 * UNSIGNED-BYTE 32

But it seems that the upgraded type of FIXNUM doesn't fit in UNSIGNED-BYTE 32; I'd say we need specialized arrays for SIGNED-BYTE 8, SIGNED-BYTE 32 (aka fixnum) and maybe SIGNED-BYTE 64 (aka JAVA-LONG) as well.

It's easy to implement. Nobody did it yet, that's all.

BTW: I answered this mail by looking at src/org/armedbear/lisp/make_array.java -- for those interested.

Hope that helps.

Bye,

Erik.