From 154eee9951d7bd8e0aeeb4928aece30a99bf2c6a Mon Sep 17 00:00:00 2001
From: Gleefre <varedif.a.s@gmail.com>
Date: Tue, 17 Oct 2023 19:30:15 +0200
Subject: [PATCH] Add a test case on which TYPE= is broken.

---
 alexandria-1/tests.lisp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/alexandria-1/tests.lisp b/alexandria-1/tests.lisp
index 4ddd432..b960ada 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))
-- 
GitLab