From e83c6994e1f2553634e0877e86a8ebaa19fbc5d1 Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Tue, 29 Dec 2020 11:39:26 +0100 Subject: [PATCH] * 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'. --- lisp/emacs-lisp/cl-macs.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) -- 2.39.5