Richard Fateman <fateman@cs.berkeley.edu> writes:
> Allegro Common Lisp says
> (typep "12" '(simple-base-string 2)) --> t
>
> (type-of "12") --> (simple-array character (2))
Indeed, on telnet://maxima.franz.com I get
<4> (subtypep 'character 'base-char)
NIL
T
<5> (upgraded-array-element-type 'base-char)
CHARACTER
Does this mean that upgrading is not idempotent (since base-char is
itself the upgraded array element type of standard-char)?
Confused,
Wolfgang