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

[Camm Maguire]

Greetings!

"Paul F. Dietz" <address@hidden> writes:

> 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.
> 

Are you sure?  Surely an array which can only be filled with a certain
type of element is a subtype of an array which can be filled with
anything, no?  In any case, if I eliminate the relationships you
propose, I then get the following inconsistencies:

Test CL-TEST::TYPES-9 failed
Form: (CL-TEST::TYPES-9-BODY)
Expected value: NIL
Actual value: ((SIMPLE-BASE-STRING SIMPLE-STRING ARRAY)
               (SIMPLE-BASE-STRING SIMPLE-STRING SIMPLE-ARRAY)
               (SIMPLE-BASE-STRING SIMPLE-STRING VECTOR)
               (BASE-STRING STRING ARRAY) (BASE-STRING STRING VECTOR)
               (SIMPLE-BASE-STRING STRING ARRAY)
               (SIMPLE-BASE-STRING STRING VECTOR)).

I can't see how to logically break this chain.

Take care,


>       Paul
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah