Commit 88f52bb0 authored by pfdietz's avatar pfdietz
Browse files

Added checks that if T1 and T2 are disjoint, then if SUBTYPEP succeeds on T...

Added checks that if T1 and T2 are disjoint, then if SUBTYPEP succeeds on T (AND (NOT T1) (NOT T2)) it returns true.
parent 7e9d2eef
......@@ -159,6 +159,8 @@ Results: ~A~%" expected-number form n results))))
(check-subtypep type1 `(or (not ,type2) ,type1) t)
(check-subtypep type2 `(or ,type2 (not ,type1)) t)
(check-subtypep type2 `(or (not ,type1) ,type2) t)
(check-subtypep t `(or (not ,type1) (not ,type2)) t)
(check-subtypep t `(or (not ,type2) (not ,type1)) t)
)))
(defun check-subtypep (type1 type2 is-sub &optional should-be-valid)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment