diff options
author | Andrea Corallo <akrl@sdf.org> | 2020-12-29 11:39:26 +0100 |
---|---|---|
committer | Andrea Corallo <akrl@sdf.org> | 2020-12-29 14:47:16 +0100 |
commit | e83c6994e1f2553634e0877e86a8ebaa19fbc5d1 (patch) | |
tree | a12d46a44bd3597c2e1f0a52bce81a015757be56 /lisp/emacs-lisp | |
parent | ba41a183dd5123130a0393b84658ec3f2fdd66f4 (diff) | |
download | emacs-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.el | 3 |
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) |