diff --git a/ansi-tests/subtypep-complex.lsp b/ansi-tests/subtypep-complex.lsp index 0748e0e86558aedd1f82b218d092ed27ef72f74c..2870e499329a40d6e37b81344759218d319d0603 100644 --- a/ansi-tests/subtypep-complex.lsp +++ b/ansi-tests/subtypep-complex.lsp @@ -57,7 +57,7 @@ ((or (equal ucpt1 ucpt2) (subtypep t1 t2)) (unless (equal result '(t t)) - (list (list t1 t2 ucpt1 ucpt2 result)))) + (list (list :case1 t1 t2 ucpt1 ucpt2 result)))) (t (multiple-value-bind (ucpt-sub1? good1?) @@ -69,16 +69,16 @@ ((and good2? ucpt-sub1? (not ucpt-sub2?)) (assert good1?) (unless (equal result '(nil t)) - (list (list t1 t2 ucpt1 ucpt2 result)))) + (list (list :case2 t1 t2 ucpt1 ucpt2 result)))) ((and good1? (not ucpt-sub1?) ucpt-sub2?) (assert good2?) (unless (equal result '(nil t)) - (list (list t1 t2 ucpt1 ucpt2 result)))) + (list (list :case3 t1 t2 ucpt1 ucpt2 result)))) ((and ucpt-sub1? ucpt-sub2?) (assert good1?) (assert good2?) (unless (equal result '(t t)) - (list (list t1 t2 ucpt1 ucpt2 result))))))))))) + (list (list :case4 t1 t2 ucpt1 ucpt2 result))))))))))) (deftest subtypep-complex.8 (let ((types (reverse