Skip to content
Snippets Groups Projects
Commit 52a2b767 authored by pfdietz's avatar pfdietz
Browse files

Fixed bug in subtypep-complex.8

parent 7c603f7a
No related branches found
No related tags found
No related merge requests found
......@@ -64,16 +64,20 @@
(subtypep* ucpt1 ucpt2)
(multiple-value-bind
(ucpt-sub2? good2?)
(subtypep* ucpt1 ucpt2)
(subtypep* ucpt2 ucpt1)
(cond
;; the second is not a subtype of the first
((and good2? ucpt-sub1? (not ucpt-sub2?))
(assert good1?)
(unless (equal result '(nil t))
(list (list :case2 t1 t2 ucpt1 ucpt2 result))))
;; the first is not a subtype of the second
((and good1? (not ucpt-sub1?) ucpt-sub2?)
(assert good2?)
(unless (equal result '(nil t))
(list (list :case3 t1 t2 ucpt1 ucpt2 result))))
;; they are both subtypes of each other, and so represent
;; the same set of objects
((and ucpt-sub1? ucpt-sub2?)
(assert good1?)
(assert good2?)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment