mirror/emacs
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/emacs.git synced 2024-12-12 09:28:24 +00:00
Code Issues Releases Activity

; Add two comments on comp-known-predicates cl-deftype-satisfies

Browse Source 
* lisp/emacs-lisp/comp.el (comp-known-predicates): Add comment.
* lisp/emacs-lisp/cl-macs.el: Likewise.
This commit is contained in:
Andrea Corallo 2024-02-21 15:45:40 +01:00
parent c65a59a9e9
commit 88abbf00af
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lisp/emacs-lisp/cl-macs.el
View File

@ -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)

3
lisp/emacs-lisp/comp.el
View File

@ -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)