From: Andrea Corallo <akrl@sdf.org>
Date: Tue, 29 Dec 2020 10:39:26 +0000 (+0100)
Subject: * Define `cl-satisfies-deftype' mapping predicate -> type
X-Git-Tag: emacs-28.0.90~2727^2~199
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=e83c6994e1f2553634e0877e86a8ebaa19fbc5d1;p=emacs.git

* Define `cl-satisfies-deftype' mapping predicate -> type

	* lisp/emacs-lisp/cl-macs.el (cl-satisfies-deftype): Define symbol
	property as reverse of `cl-deftype-satisfies'.
---

diff --git a/lisp/emacs-lisp/cl-macs.el b/lisp/emacs-lisp/cl-macs.el
index f4b22ffbea2..7dfcc288e67 100644
--- a/lisp/emacs-lisp/cl-macs.el
+++ b/lisp/emacs-lisp/cl-macs.el
@@ -3198,7 +3198,8 @@ Of course, we really can't know that for sure, so it's just a heuristic."
                  ;; FIXME: Do we really want to consider this a type?
                  (integer-or-marker . integer-or-marker-p)
                  ))
-  (put type 'cl-deftype-satisfies pred))
+  (put type 'cl-deftype-satisfies pred)
+  (put pred 'cl-satisfies-deftype type))
 
 ;;;###autoload
 (define-inline cl-typep (val type)