1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-06 06:20:55 -08:00

Rename property 'declared-type' to 'function-type'

* lisp/emacs-lisp/byte-run.el (byte-run--set-function-type): Rename.
(defun-declarations-alist): Update.
* lisp/emacs-lisp/comp.el (comp--get-function-cstr): Likewise.
This commit is contained in:
Andrea Corallo 2024-04-29 20:31:05 +02:00
parent 15016288ec
commit 0757ea9865
3 changed files with 5 additions and 5 deletions

View file

@ -217,10 +217,10 @@ So far, FUNCTION can only be a symbol, not a lambda expression."
(cadr elem)))
val)))))
(defalias 'byte-run--set-declared-type
(defalias 'byte-run--set-function-type
#'(lambda (f _args &rest val)
(list 'function-put (list 'quote f)
''declared-type (list 'quote val))))
''function-type (list 'quote val))))
;; Add any new entries to info node `(elisp)Declare Form'.
(defvar defun-declarations-alist
@ -245,7 +245,7 @@ If `error-free', drop calls even if `byte-compile-delete-errors' is nil.")
(list 'completion #'byte-run--set-completion)
(list 'modes #'byte-run--set-modes)
(list 'interactive-args #'byte-run--set-interactive-args)
(list 'type #'byte-run--set-declared-type))
(list 'type #'byte-run--set-function-type))
"List associating function properties to their macro expansion.
Each element of the list takes the form (PROP FUN) where FUN is
a function. For each (PROP . VALUES) in a function's declaration,

View file

@ -515,7 +515,7 @@ itself."
(let ((f (and (symbolp function)
(symbol-function function))))
(when (and f (null type-spec))
(if-let ((delc-type (function-get function 'declared-type)))
(if-let ((delc-type (function-get function 'function-type)))
;; Declared Lisp function
(setf type-spec (car delc-type))
(when (subr-native-elisp-p f)

View file

@ -194,7 +194,7 @@ Useful to hook into pass checkers.")
(when (symbolp function)
(let ((f (symbol-function function)))
(or (gethash f comp-primitive-func-cstr-h)
(when-let ((res (function-get function 'declared-type)))
(when-let ((res (function-get function 'function-type)))
(comp-type-spec-to-cstr (car res)))))))
;; Keep it in sync with the `cl-deftype-satisfies' property set in