diff options
| author | Andrea Corallo <acorallo@gnu.org> | 2024-02-21 15:45:40 +0100 |
|---|---|---|
| committer | Andrea Corallo <acorallo@gnu.org> | 2024-02-21 17:42:58 +0100 |
| commit | 88abbf00af69cf7e5f36e318e6935f7d1500af7f (patch) | |
| tree | e302a2e3799a6493e8bfd4ded149c6199029408f /lisp/emacs-lisp | |
| parent | c65a59a9e90524efa23d9151c31dad66a08ccb90 (diff) | |
| download | emacs-88abbf00af69cf7e5f36e318e6935f7d1500af7f.tar.gz emacs-88abbf00af69cf7e5f36e318e6935f7d1500af7f.tar.bz2 emacs-88abbf00af69cf7e5f36e318e6935f7d1500af7f.zip | |
; Add two comments on comp-known-predicates cl-deftype-satisfies
* lisp/emacs-lisp/comp.el (comp-known-predicates): Add comment.
* lisp/emacs-lisp/cl-macs.el: Likewise.
Diffstat (limited to 'lisp/emacs-lisp')
| -rw-r--r-- | lisp/emacs-lisp/cl-macs.el | 1 | ||||
| -rw-r--r-- | lisp/emacs-lisp/comp.el | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/lisp/emacs-lisp/cl-macs.el b/lisp/emacs-lisp/cl-macs.el index 06a09885c88..44ebadeebff 100644 --- a/lisp/emacs-lisp/cl-macs.el +++ b/lisp/emacs-lisp/cl-macs.el @@ -3460,6 +3460,7 @@ Of course, we really can't know that for sure, so it's just a heuristic." (or (cdr (assq sym byte-compile-function-environment)) (cdr (assq sym macroexpand-all-environment)))))) +;; Please keep it in sync with `comp-known-predicates'. (pcase-dolist (`(,type . ,pred) ;; Mostly kept in alphabetical order. '((array . arrayp) diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el index a833bf5bfc4..46d2896f2be 100644 --- a/lisp/emacs-lisp/comp.el +++ b/lisp/emacs-lisp/comp.el @@ -188,6 +188,9 @@ Useful to hook into pass checkers.") finally return h) "Hash table function -> `comp-constraint'.") +;; Keep it in sync with the `cl-deftype-satisfies' property set in +;; cl-macs.el. We can't use `cl-deftype-satisfies' directly as the +;; relation type <-> predicate is not bijective (bug#45576). (defconst comp-known-predicates '((arrayp . array) (atom . atom) |