Re: [Gcl-devel] Latest ansi-test fixes

[Paul F. Dietz]

I wrote:

> >         Improper subtype: SIMPLE-BASE-STRING of SIMPLE-BIT-VECTOR
> >         Improper subtype: SIMPLE-BASE-STRING of SIMPLE-VECTOR
> >         Improper subtype: SIMPLE-BASE-STRING of BIT-VECTOR
> >         Improper subtype: BASE-STRING of BIT-VECTOR
> >         Test TYPES-4 failed
> >         Form: (TYPES-4-BODY)
> >         Expected value: 0
> >         Actual value: 4.
> >
> >     What condition makes these improper?  I looked at the test
> >     code but don't understand it yet.
>
>
> This looks busted.  I'll look into it.


Actually, it's correct.

Strings cannot be subtypes of bit vector types, since the BIT
and CHARACTER types are disjoint.

SIMPLE-BASE-STRING cannot be a subtype of SIMPLE-VECTOR, because
any element of SIMPLE-VECTOR is a vector that can be filled with
arbitrary objects (element-type = T, in other words).  Strings
can only be filled with characters.

        Paul