From 68a1c70305d12ceacc36c454186f7be203a73faf Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Mon, 2 May 2005 11:22:38 +0000 Subject: [PATCH] Add a symbol differentiating the failure cases in subtypep-complex.8 --- ansi-tests/subtypep-complex.lsp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ansi-tests/subtypep-complex.lsp b/ansi-tests/subtypep-complex.lsp index 0748e0e8..2870e499 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 -- GitLab