diff options
| author | Andrea Corallo <akrl@sdf.org> | 2021-01-02 12:18:39 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2021-01-02 13:07:41 +0100 |
| commit | 43d0e8483e5b51aec1347b8a2ed53acae34a9811 (patch) | |
| tree | 5a3db288fdf7d3fc406e558dfc39ec1b50fc25f2 /lisp/emacs-lisp/cl-macs.el | |
| parent | 03be03d36636626d4c45acd76e2f2d36be02ec8c (diff) | |
| download | emacs-43d0e8483e5b51aec1347b8a2ed53acae34a9811.tar.gz | |
Fix `functionp' contraining (bug#45576)
* lisp/emacs-lisp/comp.el (comp-known-predicates)
(comp-known-predicates-h): New constants.
(comp-known-predicate-p, comp-pred-to-cstr): New functions.
* lisp/emacs-lisp/cl-macs.el (cl-deftype-satisfies): Don't define.
* test/src/comp-tests.el (comp-test-45576): New testcase.
* test/src/comp-test-funcs.el (comp-test-45576-f): New function.
Diffstat (limited to 'lisp/emacs-lisp/cl-macs.el')
| -rw-r--r-- | lisp/emacs-lisp/cl-macs.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lisp/emacs-lisp/cl-macs.el b/lisp/emacs-lisp/cl-macs.el index 664d865cffd..ac7360b935b 100644 --- a/lisp/emacs-lisp/cl-macs.el +++ b/lisp/emacs-lisp/cl-macs.el @@ -3199,8 +3199,7 @@ 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 pred 'cl-satisfies-deftype type)) + (put type 'cl-deftype-satisfies pred)) ;;;###autoload (define-inline cl-typep (val type) |