Camm Maguire wrote:
Greetings!
test-random-types3 spit this out after a 10000 10 run:
(((AND (OR (OR (NOT (AND NIL RATIO NIL))) (COMPLEX (INTEGER * 12800))))
(NOT (CONS (CONS (CONS T T)
(CONS (COMPLEX (REAL 78460 78460)) (EQL -3905)))
(EQL -285003020)))))
do I understand right that this means the tester thinks
(subtypep '(AND (OR (OR (NOT (AND NIL RATIO NIL))) (COMPLEX (INTEGER * 12800))))
' (NOT (CONS (CONS (CONS T T)
(CONS (COMPLEX (REAL 78460 78460)) (EQL -3905)))
(EQL -285003020))))
is wrong? We're returning nil t at present, which looks right here.
Take care,
Actually, there's a problem with that -- it should be producing a triple
of types, not a pair (I've checked in a fix). Call these types t1, t2,
and t3. The meaning is:
(1) If we determined that t1 is a subtypep of t2, then check (using
various identities) that t1 is a subtype of (or t2 t3) and that
(and t1 t3) is a subtype of t2.
(2) If we can determine that t1 is not a subtype of t2, then
check that (or t1 t3) is not a subtype of t2, and that t1
is not a subtype of (and t2 t3).
Paul
_______________________________________________
Gcl-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/gcl-devel
