|
From: | Paul F. Dietz |
Subject: | Re: [Gcl-devel] Latest ansi-test fixes |
Date: | Sat, 05 Oct 2002 22:54:26 -0500 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.9) Gecko/20020408 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |