[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Latest ansi-test fixes
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] Latest ansi-test fixes |
Date: |
06 Oct 2002 00:55:35 -0400 |
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