summaryrefslogtreecommitdiff
path: root/lisp/emacs-lisp
diff options
context:
space:
mode:
authorAndrea Corallo <akrl@sdf.org>2020-12-29 11:39:26 +0100
committerAndrea Corallo <akrl@sdf.org>2020-12-29 14:47:16 +0100
commite83c6994e1f2553634e0877e86a8ebaa19fbc5d1 (patch)
treea12d46a44bd3597c2e1f0a52bce81a015757be56 /lisp/emacs-lisp
parentba41a183dd5123130a0393b84658ec3f2fdd66f4 (diff)
downloademacs-e83c6994e1f2553634e0877e86a8ebaa19fbc5d1.tar.gz
emacs-e83c6994e1f2553634e0877e86a8ebaa19fbc5d1.tar.bz2
emacs-e83c6994e1f2553634e0877e86a8ebaa19fbc5d1.zip
* 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'.
Diffstat (limited to 'lisp/emacs-lisp')
-rw-r--r--lisp/emacs-lisp/cl-macs.el3
1 files changed, 2 insertions, 1 deletions
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)