diff --git a/alexandria-1/tests.lisp b/alexandria-1/tests.lisp index 4ddd432dcb4f0d9c6ea778806b0b5bbe555e0635..b960ada11b06e32b86d64857d04fcb1b6a0eee7a 100644 --- a/alexandria-1/tests.lisp +++ b/alexandria-1/tests.lisp @@ -1804,6 +1804,16 @@ nil t) +(defun type=.6.stringp (thing) + (not (not (stringp thing)))) + +(deftest type=.6 + (multiple-value-bind (= ok) + (type= '(or string (satisfies type=.6.stringp)) 'string) + (or (and = ok) + (and (not =) (not ok)))) + t) + (macrolet ((test (type numbers) `(deftest ,(format-symbol t '#:cdr5.~a (string type))