The compiler always does type inferencing for
as if *default-character-element-type* was set to
For example, when you declare something to be of type
, the compiler will never treat it as simple-base-string. Therefore calls like
(schar (the simple-string x ) 0)
will work whether x is a simple-base-string, simple-text-string or simple-augmented-string.
LispWorks User Guide and Reference Manual - 21 Dec 2011