2023-11-08 16:19:18 +01:00
|
|
|
;;; comp-common.el --- common code -*- lexical-binding: t -*-
|
|
|
|
|
|
2024-01-02 10:30:05 +08:00
|
|
|
;; Copyright (C) 2023-2024 Free Software Foundation, Inc.
|
2023-11-08 16:19:18 +01:00
|
|
|
|
|
|
|
|
;; Author: Andrea Corallo <acorallo@gnu.org>
|
|
|
|
|
;; Keywords: lisp
|
|
|
|
|
;; Package: emacs
|
|
|
|
|
|
|
|
|
|
;; This file is part of GNU Emacs.
|
|
|
|
|
|
|
|
|
|
;; GNU Emacs is free software: you can redistribute it and/or modify
|
|
|
|
|
;; it under the terms of the GNU General Public License as published by
|
|
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
;; (at your option) any later version.
|
|
|
|
|
|
|
|
|
|
;; GNU Emacs is distributed in the hope that it will be useful,
|
|
|
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;; GNU General Public License for more details.
|
|
|
|
|
|
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;; along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
|
|
|
|
|
;; This file holds common code required by comp.el and comp-run.el.
|
|
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
|
|
(eval-when-compile (require 'cl-lib))
|
|
|
|
|
|
2023-11-09 17:00:22 +01:00
|
|
|
;; These variables and functions are defined in comp.c
|
|
|
|
|
(defvar comp-native-version-dir)
|
2023-11-09 19:12:14 +01:00
|
|
|
(defvar native-comp-eln-load-path)
|
2023-11-09 17:00:22 +01:00
|
|
|
|
2023-11-08 16:19:18 +01:00
|
|
|
(defgroup comp-common nil
|
|
|
|
|
"Emacs Lisp native compiler common code."
|
|
|
|
|
:group 'lisp)
|
|
|
|
|
|
|
|
|
|
(defcustom native-comp-verbose 0
|
|
|
|
|
"Compiler verbosity for native compilation, a number between 0 and 3.
|
|
|
|
|
This is intended for debugging the compiler itself.
|
|
|
|
|
0 no logging.
|
|
|
|
|
1 final LIMPLE is logged.
|
|
|
|
|
2 LAP, final LIMPLE, and some pass info are logged.
|
|
|
|
|
3 max verbosity."
|
|
|
|
|
:type 'natnum
|
|
|
|
|
:risky t
|
|
|
|
|
:version "28.1")
|
|
|
|
|
|
|
|
|
|
(defcustom native-comp-never-optimize-functions
|
2023-11-20 23:42:01 +01:00
|
|
|
;; We used to list those functions here that were advised during
|
|
|
|
|
;; preload, but we now prefer to disallow preload advices in
|
|
|
|
|
;; loadup.el (bug#67005).
|
|
|
|
|
'(eval)
|
2023-11-08 16:19:18 +01:00
|
|
|
"Primitive functions to exclude from trampoline optimization.
|
|
|
|
|
|
|
|
|
|
Primitive functions included in this list will not be called
|
|
|
|
|
directly by the natively-compiled code, which makes trampolines for
|
|
|
|
|
those primitives unnecessary in case of function redefinition/advice."
|
|
|
|
|
:type '(repeat symbol)
|
2023-11-22 16:37:16 +01:00
|
|
|
:version "30.1")
|
2023-11-08 16:19:18 +01:00
|
|
|
|
|
|
|
|
(defcustom native-comp-async-env-modifier-form nil
|
|
|
|
|
"Form evaluated before compilation by each asynchronous compilation subprocess.
|
|
|
|
|
Used to modify the compiler environment."
|
|
|
|
|
:type 'sexp
|
|
|
|
|
:risky t
|
|
|
|
|
:version "28.1")
|
|
|
|
|
|
Move lisp function arg type declarations to the functions itself
* lisp/emacs-lisp/comp-common.el (comp-primitive-type-specifiers):
Remove type declaration of lisp functions.
* lisp/window.el (get-lru-window, get-largest-window)
(one-window-p): Declare type.
* lisp/subr.el (ignore, error, zerop, fixnump, bignump, lsh)
(last, eventp, mouse-movement-p, log10, memory-limit)
(interactive-p): Likewise.
* lisp/simple.el (count-lines, mark, lax-plist-get): Likewise.
* lisp/files.el (parse-colon-path): Likewise.
* lisp/env.el (getenv): Likewise.
* lisp/emacs-lisp/regexp-opt.el (regexp-opt): Likewise.
* lisp/emacs-lisp/lisp.el (buffer-end): Likewise.
* lisp/emacs-lisp/comp.el (comp-hint-fixnum, comp-hint-cons): Likewise.
* lisp/custom.el (custom-variable-p): Likewise.
2024-04-10 22:07:16 +02:00
|
|
|
(defconst comp-primitive-type-specifiers
|
2023-11-08 16:36:24 +01:00
|
|
|
`(
|
|
|
|
|
;; Functions we can trust not to be redefined, or, if redefined,
|
|
|
|
|
;; to expose the same type. The vast majority of these are
|
|
|
|
|
;; either pure or primitive; the original list is the union of
|
|
|
|
|
;; pure + side-effect-free-fns + side-effect-and-error-free-fns:
|
|
|
|
|
(% (function ((or number marker) (or number marker)) number))
|
|
|
|
|
(* (function (&rest (or number marker)) number))
|
|
|
|
|
(+ (function (&rest (or number marker)) number))
|
|
|
|
|
(- (function (&rest (or number marker)) number))
|
|
|
|
|
(/ (function ((or number marker) &rest (or number marker)) number))
|
|
|
|
|
(/= (function ((or number marker) (or number marker)) boolean))
|
|
|
|
|
(1+ (function ((or number marker)) number))
|
|
|
|
|
(1- (function ((or number marker)) number))
|
|
|
|
|
(< (function ((or number marker) &rest (or number marker)) boolean))
|
|
|
|
|
(<= (function ((or number marker) &rest (or number marker)) boolean))
|
|
|
|
|
(= (function ((or number marker) &rest (or number marker)) boolean))
|
|
|
|
|
(> (function ((or number marker) &rest (or number marker)) boolean))
|
|
|
|
|
(>= (function ((or number marker) &rest (or number marker)) boolean))
|
|
|
|
|
(abs (function (number) number))
|
|
|
|
|
(acos (function (number) float))
|
|
|
|
|
(append (function (&rest t) t))
|
|
|
|
|
(aref (function (t fixnum) t))
|
|
|
|
|
(arrayp (function (t) boolean))
|
|
|
|
|
(ash (function (integer integer) integer))
|
|
|
|
|
(asin (function (number) float))
|
|
|
|
|
(assq (function (t list) list))
|
|
|
|
|
(atan (function (number &optional number) float))
|
|
|
|
|
(atom (function (t) boolean))
|
|
|
|
|
(bobp (function () boolean))
|
|
|
|
|
(bolp (function () boolean))
|
|
|
|
|
(bool-vector-count-consecutive
|
|
|
|
|
(function (bool-vector boolean integer) fixnum))
|
|
|
|
|
(bool-vector-count-population (function (bool-vector) fixnum))
|
|
|
|
|
(bool-vector-not (function (bool-vector &optional bool-vector) bool-vector))
|
|
|
|
|
(bool-vector-p (function (t) boolean))
|
|
|
|
|
(bool-vector-subsetp (function (bool-vector bool-vector) boolean))
|
|
|
|
|
(boundp (function (symbol) boolean))
|
|
|
|
|
(buffer-file-name (function (&optional buffer) (or string null)))
|
|
|
|
|
(buffer-list (function (&optional frame) list))
|
|
|
|
|
(buffer-local-variables (function (&optional buffer) list))
|
|
|
|
|
(buffer-modified-p
|
|
|
|
|
(function (&optional buffer) (or boolean (member autosaved))))
|
|
|
|
|
(buffer-size (function (&optional buffer) integer))
|
|
|
|
|
(buffer-string (function () string))
|
|
|
|
|
(buffer-substring
|
|
|
|
|
(function ((or integer marker) (or integer marker)) string))
|
|
|
|
|
(bufferp (function (t) boolean))
|
Use a dedicated type to represent interpreted-function values
Change `function` so that when evaluating #'(lambda ...)
we return an object of type `interpreted-function` rather than
a list starting with one of `lambda` or `closure`.
The new type reuses the existing PVEC_CLOSURE (nee PVEC_COMPILED)
tag and tries to align the corresponding elements:
- the arglist, the docstring, and the interactive-form go in the
same slots as for byte-code functions.
- the body of the function goes in the slot used for the bytecode string.
- the lexical context goes in the slot used for the constants of
bytecoded functions.
The first point above means that `help-function-arglist`,
`documentation`, and `interactive-form`s don't need to
distinguish interpreted and bytecode functions any more.
Main benefits of the change:
- We can now reliably distinguish a list from a function value.
- `cl-defmethod` can dispatch on `interactive-function` and `closure`.
Dispatch on `function` also works now for interpreted functions but still
won't work for functions represented as lists or as symbols, of course.
- Function values are now self-evaluating. That was alrready the case
when byte-compiled, but not when interpreted since
(eval '(closure ...)) signals a void-function error.
That also avoids false-positive warnings about "don't quote your lambdas"
when doing things like `(mapcar ',func ...)`.
* src/eval.c (Fmake_interpreted_closure): New function.
(Ffunction): Use it and change calling convention of
`Vinternal_make_interpreted_closure_function`.
(FUNCTIONP, Fcommandp, eval_sub, funcall_general, funcall_lambda)
(Ffunc_arity, lambda_arity): Simplify.
(funcall_lambda): Adjust to new representation.
(syms_of_eval): `defsubr` the new function. Remove definition of `Qclosure`.
* lisp/emacs-lisp/cconv.el (cconv-make-interpreted-closure):
Change calling convention and use `make-interpreted-closure`.
* src/data.c (Fcl_type_of): Distinguish `byte-code-function`s from
`interpreted-function`s.
(Fclosurep, finterpreted_function_p): New functions.
(Fbyte_code_function_p): Don't be confused by `interpreted-function`s.
(Finteractive_form, Fcommand_modes): Simplify.
(syms_of_data): Define new type symbols and `defsubr` the two
new functions.
* lisp/emacs-lisp/cl-print.el (cl-print-object) <interpreted-function>:
New method.
* lisp/emacs-lisp/oclosure.el (oclosure): Refine the parent
to be `closure`.
(oclosure--fix-type, oclosure-type): Simplify.
(oclosure--copy, oclosure--get, oclosure--set): Adjust to
new representation.
* src/callint.c (Fcall_interactively): Adjust to new representation.
* src/lread.c (bytecode_from_rev_list):
* lisp/simple.el (function-documentation):
* lisp/help.el (help-function-arglist): Remove the old `closure` case
and adjust the byte-code case so it handles `interpreted-function`s.
* lisp/emacs-lisp/cl-preloaded.el (closure): New type.
(byte-code-function): Add it as a parent.
(interpreted-function): Adjust parent (the type itself was already
added earlier by accident).
* lisp/emacs-lisp/bytecomp.el (byte-compile--reify-function): Adjust to
new representation.
(byte-compile): Use `interpreted-function-p`.
* lisp/emacs-lisp/byte-opt.el (byte-compile-inline-expand): Adjust to
new representation.
(side-effect-free-fns): Add `interpreted-function-p` and `closurep`.
* src/profiler.c (trace_hash, ffunction_equal): Simplify.
* lisp/profiler.el (profiler-function-equal): Simplify.
* lisp/emacs-lisp/nadvice.el (advice--interactive-form-1):
Use `interpreted-function-p`; adjust to new representation; and take
advantage of the fact that function values are now self-evaluating.
* lisp/emacs-lisp/lisp-mode.el (closure):
Remove `lisp-indent-function` property.
* lisp/emacs-lisp/disass.el (disassemble-internal): Adjust to
new representation.
* lisp/emacs-lisp/edebug.el (edebug--strip-instrumentation):
Use `interpreted-function-p`.
* lisp/emacs-lisp/comp-common.el (comp-known-type-specifiers):
Add `closurep` and `interpreted-function-p`.
* test/lisp/help-fns-tests.el (help-fns-test-lisp-defun): Adjust to
more precise type info in `describe-function`.
* test/lisp/erc/resources/erc-d/erc-d-tests.el (erc-d--render-entries):
Use `interpreted-function-p`.
* test/lisp/emacs-lisp/macroexp-resources/vk.el (vk-f4, vk-f5):
Don't hardcode function values.
* doc/lispref/functions.texi (Anonymous Functions): Don't suggest that
function values are lists. Reword "self-quoting" to reflect the
fact that #' doesn't return the exact same object. Update examples
with the new shape of the return value.
* doc/lispref/variables.texi (Lexical Binding):
* doc/lispref/lists.texi (Rearrangement):
* doc/lispref/control.texi (Handling Errors): Update examples to reflect
new representation of function values.
2024-03-11 16:12:26 -04:00
|
|
|
(closurep (function (t) boolean))
|
2023-11-08 16:36:24 +01:00
|
|
|
(byte-code-function-p (function (t) boolean))
|
Use a dedicated type to represent interpreted-function values
Change `function` so that when evaluating #'(lambda ...)
we return an object of type `interpreted-function` rather than
a list starting with one of `lambda` or `closure`.
The new type reuses the existing PVEC_CLOSURE (nee PVEC_COMPILED)
tag and tries to align the corresponding elements:
- the arglist, the docstring, and the interactive-form go in the
same slots as for byte-code functions.
- the body of the function goes in the slot used for the bytecode string.
- the lexical context goes in the slot used for the constants of
bytecoded functions.
The first point above means that `help-function-arglist`,
`documentation`, and `interactive-form`s don't need to
distinguish interpreted and bytecode functions any more.
Main benefits of the change:
- We can now reliably distinguish a list from a function value.
- `cl-defmethod` can dispatch on `interactive-function` and `closure`.
Dispatch on `function` also works now for interpreted functions but still
won't work for functions represented as lists or as symbols, of course.
- Function values are now self-evaluating. That was alrready the case
when byte-compiled, but not when interpreted since
(eval '(closure ...)) signals a void-function error.
That also avoids false-positive warnings about "don't quote your lambdas"
when doing things like `(mapcar ',func ...)`.
* src/eval.c (Fmake_interpreted_closure): New function.
(Ffunction): Use it and change calling convention of
`Vinternal_make_interpreted_closure_function`.
(FUNCTIONP, Fcommandp, eval_sub, funcall_general, funcall_lambda)
(Ffunc_arity, lambda_arity): Simplify.
(funcall_lambda): Adjust to new representation.
(syms_of_eval): `defsubr` the new function. Remove definition of `Qclosure`.
* lisp/emacs-lisp/cconv.el (cconv-make-interpreted-closure):
Change calling convention and use `make-interpreted-closure`.
* src/data.c (Fcl_type_of): Distinguish `byte-code-function`s from
`interpreted-function`s.
(Fclosurep, finterpreted_function_p): New functions.
(Fbyte_code_function_p): Don't be confused by `interpreted-function`s.
(Finteractive_form, Fcommand_modes): Simplify.
(syms_of_data): Define new type symbols and `defsubr` the two
new functions.
* lisp/emacs-lisp/cl-print.el (cl-print-object) <interpreted-function>:
New method.
* lisp/emacs-lisp/oclosure.el (oclosure): Refine the parent
to be `closure`.
(oclosure--fix-type, oclosure-type): Simplify.
(oclosure--copy, oclosure--get, oclosure--set): Adjust to
new representation.
* src/callint.c (Fcall_interactively): Adjust to new representation.
* src/lread.c (bytecode_from_rev_list):
* lisp/simple.el (function-documentation):
* lisp/help.el (help-function-arglist): Remove the old `closure` case
and adjust the byte-code case so it handles `interpreted-function`s.
* lisp/emacs-lisp/cl-preloaded.el (closure): New type.
(byte-code-function): Add it as a parent.
(interpreted-function): Adjust parent (the type itself was already
added earlier by accident).
* lisp/emacs-lisp/bytecomp.el (byte-compile--reify-function): Adjust to
new representation.
(byte-compile): Use `interpreted-function-p`.
* lisp/emacs-lisp/byte-opt.el (byte-compile-inline-expand): Adjust to
new representation.
(side-effect-free-fns): Add `interpreted-function-p` and `closurep`.
* src/profiler.c (trace_hash, ffunction_equal): Simplify.
* lisp/profiler.el (profiler-function-equal): Simplify.
* lisp/emacs-lisp/nadvice.el (advice--interactive-form-1):
Use `interpreted-function-p`; adjust to new representation; and take
advantage of the fact that function values are now self-evaluating.
* lisp/emacs-lisp/lisp-mode.el (closure):
Remove `lisp-indent-function` property.
* lisp/emacs-lisp/disass.el (disassemble-internal): Adjust to
new representation.
* lisp/emacs-lisp/edebug.el (edebug--strip-instrumentation):
Use `interpreted-function-p`.
* lisp/emacs-lisp/comp-common.el (comp-known-type-specifiers):
Add `closurep` and `interpreted-function-p`.
* test/lisp/help-fns-tests.el (help-fns-test-lisp-defun): Adjust to
more precise type info in `describe-function`.
* test/lisp/erc/resources/erc-d/erc-d-tests.el (erc-d--render-entries):
Use `interpreted-function-p`.
* test/lisp/emacs-lisp/macroexp-resources/vk.el (vk-f4, vk-f5):
Don't hardcode function values.
* doc/lispref/functions.texi (Anonymous Functions): Don't suggest that
function values are lists. Reword "self-quoting" to reflect the
fact that #' doesn't return the exact same object. Update examples
with the new shape of the return value.
* doc/lispref/variables.texi (Lexical Binding):
* doc/lispref/lists.texi (Rearrangement):
* doc/lispref/control.texi (Handling Errors): Update examples to reflect
new representation of function values.
2024-03-11 16:12:26 -04:00
|
|
|
(interpreted-function-p (function (t) boolean))
|
2024-03-08 14:26:14 +01:00
|
|
|
(capitalize (function ((or integer string)) (or integer string)))
|
2023-11-08 16:36:24 +01:00
|
|
|
(car (function (list) t))
|
|
|
|
|
(car-less-than-car (function (list list) boolean))
|
|
|
|
|
(car-safe (function (t) t))
|
|
|
|
|
(case-table-p (function (t) boolean))
|
|
|
|
|
(cdr (function (list) t))
|
|
|
|
|
(cdr-safe (function (t) t))
|
|
|
|
|
(ceiling (function (number &optional number) integer))
|
|
|
|
|
(char-after (function (&optional (or marker integer)) (or fixnum null)))
|
|
|
|
|
(char-before (function (&optional (or marker integer)) (or fixnum null)))
|
|
|
|
|
(char-equal (function (integer integer) boolean))
|
|
|
|
|
(char-or-string-p (function (t) boolean))
|
|
|
|
|
(char-to-string (function (fixnum) string))
|
|
|
|
|
(char-width (function (fixnum) fixnum))
|
|
|
|
|
(characterp (function (t &optional t) boolean))
|
|
|
|
|
(charsetp (function (t) boolean))
|
|
|
|
|
(commandp (function (t &optional t) boolean))
|
|
|
|
|
(compare-strings
|
|
|
|
|
(function (string (or integer marker null) (or integer marker null) string
|
|
|
|
|
(or integer marker null) (or integer marker null)
|
|
|
|
|
&optional t)
|
|
|
|
|
(or (member t) fixnum)))
|
|
|
|
|
(concat (function (&rest sequence) string))
|
|
|
|
|
(cons (function (t t) cons))
|
|
|
|
|
(consp (function (t) boolean))
|
|
|
|
|
(coordinates-in-window-p
|
|
|
|
|
(function (cons window)
|
|
|
|
|
(or cons null
|
|
|
|
|
(member bottom-divider right-divider mode-line header-line
|
|
|
|
|
tab-line left-fringe right-fringe vertical-line
|
|
|
|
|
left-margin right-margin))))
|
|
|
|
|
(copy-alist (function (list) list))
|
|
|
|
|
(copy-marker (function (&optional (or integer marker) boolean) marker))
|
|
|
|
|
(copy-sequence (function (sequence) sequence))
|
|
|
|
|
(copysign (function (float float) float))
|
|
|
|
|
(cos (function (number) float))
|
|
|
|
|
(current-buffer (function () buffer))
|
|
|
|
|
(current-global-map (function () cons))
|
|
|
|
|
(current-indentation (function () integer))
|
|
|
|
|
(current-local-map (function () (or cons null)))
|
|
|
|
|
(current-minor-mode-maps (function () (or cons null)))
|
|
|
|
|
(current-time (function () cons))
|
|
|
|
|
(current-time-string (function (&optional (or number list)
|
|
|
|
|
(or symbol string cons integer))
|
|
|
|
|
string))
|
|
|
|
|
(current-time-zone (function (&optional (or number list)
|
|
|
|
|
(or symbol string cons integer))
|
|
|
|
|
cons))
|
|
|
|
|
(decode-char (function (cons t) (or fixnum null)))
|
|
|
|
|
(decode-time (function (&optional (or number list)
|
|
|
|
|
(or symbol string cons integer)
|
|
|
|
|
symbol)
|
|
|
|
|
cons))
|
|
|
|
|
(default-boundp (function (symbol) boolean))
|
|
|
|
|
(default-value (function (symbol) t))
|
|
|
|
|
(documentation
|
|
|
|
|
(function ((or function symbol subr) &optional t) (or null string)))
|
|
|
|
|
(downcase (function ((or fixnum string)) (or fixnum string)))
|
|
|
|
|
(elt (function (sequence integer) t))
|
|
|
|
|
(encode-char (function (fixnum symbol) (or fixnum null)))
|
|
|
|
|
(encode-time (function (cons &rest t) cons))
|
|
|
|
|
(eobp (function () boolean))
|
|
|
|
|
(eolp (function () boolean))
|
|
|
|
|
(eq (function (t t) boolean))
|
|
|
|
|
(eql (function (t t) boolean))
|
|
|
|
|
(equal (function (t t) boolean))
|
|
|
|
|
(error-message-string (function (list) string))
|
|
|
|
|
(exp (function (number) float))
|
|
|
|
|
(expt (function (number number) number))
|
|
|
|
|
(fboundp (function (symbol) boolean))
|
|
|
|
|
(fceiling (function (float) float))
|
|
|
|
|
(featurep (function (symbol &optional symbol) boolean))
|
|
|
|
|
(ffloor (function (float) float))
|
|
|
|
|
(file-directory-p (function (string) boolean))
|
|
|
|
|
(file-exists-p (function (string) boolean))
|
|
|
|
|
(file-locked-p (function (string) (or boolean string)))
|
|
|
|
|
(file-name-absolute-p (function (string) boolean))
|
|
|
|
|
(file-newer-than-file-p (function (string string) boolean))
|
|
|
|
|
(file-readable-p (function (string) boolean))
|
|
|
|
|
(file-symlink-p (function (string) (or boolean string)))
|
|
|
|
|
(file-writable-p (function (string) boolean))
|
|
|
|
|
(float (function (number) float))
|
|
|
|
|
(float-time (function (&optional (or number list)) float))
|
|
|
|
|
(floatp (function (t) boolean))
|
|
|
|
|
(floor (function (number &optional number) integer))
|
|
|
|
|
(following-char (function () fixnum))
|
|
|
|
|
(format (function (string &rest t) string))
|
|
|
|
|
(format-time-string (function (string &optional (or number list)
|
|
|
|
|
(or symbol string cons integer))
|
|
|
|
|
string))
|
|
|
|
|
(frame-first-window (function ((or frame window)) window))
|
|
|
|
|
(frame-root-window (function (&optional (or frame window)) window))
|
|
|
|
|
(frame-selected-window (function (&optional (or frame window)) window))
|
|
|
|
|
(frame-visible-p (function (frame) (or boolean (member icon))))
|
|
|
|
|
(framep (function (t) symbol))
|
|
|
|
|
(fround (function (float) float))
|
|
|
|
|
(ftruncate (function (float) float))
|
|
|
|
|
(get (function (symbol symbol) t))
|
|
|
|
|
(get-buffer (function ((or buffer string)) (or buffer null)))
|
|
|
|
|
(get-buffer-window
|
|
|
|
|
(function (&optional (or buffer string) (or symbol (integer 0 0)))
|
|
|
|
|
(or null window)))
|
|
|
|
|
(get-file-buffer (function (string) (or null buffer)))
|
|
|
|
|
(gethash (function (t hash-table &optional t) t))
|
|
|
|
|
(hash-table-count (function (hash-table) integer))
|
|
|
|
|
(hash-table-p (function (t) boolean))
|
|
|
|
|
(identity (function (t) t))
|
|
|
|
|
(integer-or-marker-p (function (t) boolean))
|
|
|
|
|
(integerp (function (t) boolean))
|
Add a proper type for obarrays
The new opaque type replaces the previous use of vectors for obarrays.
`obarray-make` now returns objects of this type. Functions that take
obarrays continue to accept vectors for compatibility, now just using
their first slot to store an actual obarray object.
obarray-size and obarray-default-size now obsolete.
* lisp/obarray.el (obarray-default-size, obarray-size):
Declare obsolete.
(obarray-make, obarrayp, obarray-clear): Remove from here.
* src/fns.c (reduce_emacs_uint_to_hash_hash): Remove from here.
* src/lisp.h (struct Lisp_Obarray, OBARRAYP, XOBARRAY, CHECK_OBARRAY)
(make_lisp_obarray, obarray_size, check_obarray)
(obarray_iter_t, make_obarray_iter, obarray_iter_at_end)
(obarray_iter_step, obarray_iter_symbol, DOOBARRAY, knuth_hash): New.
(reduce_emacs_uint_to_hash_hash): Moved here.
* src/lread.c (check_obarray): Renamed and reworked as...
(checked_obarray_slow): ...this.
(intern_sym, Funintern, oblookup, map_obarray)
(Finternal__obarray_buckets): Adapt to new type.
(obarray_index, allocate_obarray, make_obarray, grow_obarray)
(obarray_default_bits, Fobarray_make, Fobarrayp, Fobarray_clear): New.
* etc/emacs_lldb.py (Lisp_Object):
* lisp/emacs-lisp/cl-macs.el (`(,type . ,pred)):
* lisp/emacs-lisp/cl-preloaded.el (cl--typeof-types):
* lisp/emacs-lisp/comp-common.el (comp-known-type-specifiers):
* lisp/emacs-lisp/comp.el (comp-known-predicates):
* src/alloc.c (cleanup_vector, process_mark_stack):
* src/data.c (Ftype_of, syms_of_data):
* src/minibuf.c (Ftry_completion, Fall_completions, Ftest_completion):
* src/pdumper.c (dump_obarray_buckets, dump_obarray, dump_vectorlike):
* src/print.c (print_vectorlike_unreadable):
* test/lisp/abbrev-tests.el (abbrev-make-abbrev-table-test):
* test/lisp/obarray-tests.el (obarrayp-test)
(obarrayp-unchecked-content-test, obarray-make-default-test)
(obarray-make-with-size-test):
Adapt to new type.
2024-02-10 21:14:09 +01:00
|
|
|
(intern-soft (function ((or string symbol) &optional (or obarray vector))
|
|
|
|
|
symbol))
|
2023-11-08 16:36:24 +01:00
|
|
|
(invocation-directory (function () string))
|
|
|
|
|
(invocation-name (function () string))
|
|
|
|
|
(isnan (function (float) boolean))
|
|
|
|
|
(keymap-parent (function (cons) (or cons null)))
|
|
|
|
|
(keymapp (function (t) boolean))
|
|
|
|
|
(keywordp (function (t) boolean))
|
|
|
|
|
(ldexp (function (number integer) float))
|
|
|
|
|
(length (function (t) (integer 0 *)))
|
|
|
|
|
(length< (function (sequence fixnum) boolean))
|
|
|
|
|
(length= (function (sequence fixnum) boolean))
|
|
|
|
|
(length> (function (sequence fixnum) boolean))
|
|
|
|
|
(line-beginning-position (function (&optional integer) integer))
|
|
|
|
|
(line-end-position (function (&optional integer) integer))
|
|
|
|
|
(list (function (&rest t) list))
|
|
|
|
|
(listp (function (t) boolean))
|
|
|
|
|
(local-variable-if-set-p (function (symbol &optional buffer) boolean))
|
|
|
|
|
(local-variable-p (function (symbol &optional buffer) boolean))
|
|
|
|
|
(locale-info (function ((member codeset days months paper)) (or null string)))
|
|
|
|
|
(log (function (number number) float))
|
|
|
|
|
(logand (function (&rest (or integer marker)) integer))
|
|
|
|
|
(logb (function (number) integer))
|
|
|
|
|
(logcount (function (integer) integer))
|
|
|
|
|
(logior (function (&rest (or integer marker)) integer))
|
|
|
|
|
(lognot (function (integer) integer))
|
|
|
|
|
(logxor (function (&rest (or integer marker)) integer))
|
|
|
|
|
;; (lsh (function ((integer ,most-negative-fixnum *) integer) integer)) ?
|
|
|
|
|
(make-byte-code
|
|
|
|
|
(function ((or fixnum list) string vector integer &optional string t
|
|
|
|
|
&rest t)
|
|
|
|
|
vector))
|
|
|
|
|
(make-list (function (integer t) list))
|
|
|
|
|
(make-marker (function () marker))
|
|
|
|
|
(make-string (function (integer fixnum &optional t) string))
|
|
|
|
|
(make-symbol (function (string) symbol))
|
|
|
|
|
(mark-marker (function () marker))
|
|
|
|
|
(marker-buffer (function (marker) (or buffer null)))
|
|
|
|
|
(markerp (function (t) boolean))
|
|
|
|
|
(max (function ((or number marker) &rest (or number marker)) number))
|
|
|
|
|
(max-char (function (&optional t) fixnum))
|
|
|
|
|
(member (function (t list) list))
|
|
|
|
|
(memq (function (t list) list))
|
|
|
|
|
(memql (function (t list) list))
|
2024-05-31 17:14:10 +02:00
|
|
|
(message (function (string &rest t) string))
|
2023-11-08 16:36:24 +01:00
|
|
|
(min (function ((or number marker) &rest (or number marker)) number))
|
|
|
|
|
(minibuffer-selected-window (function () (or window null)))
|
|
|
|
|
(minibuffer-window (function (&optional frame) window))
|
|
|
|
|
(mod
|
|
|
|
|
(function ((or number marker) (or number marker))
|
|
|
|
|
(or (integer 0 *) (float 0 *))))
|
|
|
|
|
(multibyte-char-to-unibyte (function (fixnum) fixnum))
|
|
|
|
|
(natnump (function (t) boolean))
|
|
|
|
|
(next-window (function (&optional window t t) window))
|
|
|
|
|
(nlistp (function (t) boolean))
|
|
|
|
|
(not (function (t) boolean))
|
|
|
|
|
(nth (function (integer list) t))
|
|
|
|
|
(nthcdr (function (integer t) t))
|
|
|
|
|
(null (function (t) boolean))
|
|
|
|
|
(number-or-marker-p (function (t) boolean))
|
|
|
|
|
(number-to-string (function (number) string))
|
|
|
|
|
(numberp (function (t) boolean))
|
|
|
|
|
(overlayp (function (t) boolean))
|
|
|
|
|
(plist-get (function (list t &optional t) t))
|
|
|
|
|
(plist-member (function (list t &optional t) list))
|
|
|
|
|
(point (function () integer))
|
|
|
|
|
(point-marker (function () marker))
|
|
|
|
|
(point-max (function () integer))
|
|
|
|
|
(point-min (function () integer))
|
|
|
|
|
(preceding-char (function () fixnum))
|
|
|
|
|
(previous-window (function (&optional window t t) window))
|
|
|
|
|
(prin1-to-string (function (t &optional t t) string))
|
|
|
|
|
(processp (function (t) boolean))
|
|
|
|
|
(proper-list-p (function (t) (or fixnum null)))
|
|
|
|
|
(propertize (function (string &rest t) string))
|
|
|
|
|
(rassoc (function (t list) list))
|
|
|
|
|
(rassq (function (t list) list))
|
|
|
|
|
(read-from-string (function (string &optional integer integer) cons))
|
|
|
|
|
(recent-keys (function (&optional (or cons null)) vector))
|
|
|
|
|
(recursion-depth (function () integer))
|
|
|
|
|
(regexp-quote (function (string) string))
|
|
|
|
|
(region-beginning (function () integer))
|
|
|
|
|
(region-end (function () integer))
|
|
|
|
|
(reverse (function (sequence) sequence))
|
|
|
|
|
(round (function (number &optional number) integer))
|
|
|
|
|
(safe-length (function (t) integer))
|
|
|
|
|
(selected-frame (function () frame))
|
|
|
|
|
(selected-window (function () window))
|
|
|
|
|
(sequencep (function (t) boolean))
|
|
|
|
|
(sin (function (number) float))
|
|
|
|
|
(sqrt (function (number) float))
|
|
|
|
|
(standard-case-table (function () char-table))
|
|
|
|
|
(standard-syntax-table (function () char-table))
|
|
|
|
|
(string (function (&rest fixnum) string))
|
|
|
|
|
(string-as-multibyte (function (string) string))
|
|
|
|
|
(string-as-unibyte (function (string) string))
|
|
|
|
|
(string-equal (function ((or string symbol) (or string symbol)) boolean))
|
|
|
|
|
(string-lessp (function ((or string symbol) (or string symbol)) boolean))
|
|
|
|
|
(string-make-multibyte (function (string) string))
|
|
|
|
|
(string-make-unibyte (function (string) string))
|
|
|
|
|
(string-search (function (string string &optional integer) (or integer null)))
|
|
|
|
|
(string-to-char (function (string) fixnum))
|
|
|
|
|
(string-to-multibyte (function (string) string))
|
|
|
|
|
(string-to-number (function (string &optional integer) number))
|
|
|
|
|
(string-to-syntax (function (string) (or cons null)))
|
|
|
|
|
(string< (function ((or string symbol) (or string symbol)) boolean))
|
|
|
|
|
(string= (function ((or string symbol) (or string symbol)) boolean))
|
|
|
|
|
(stringp (function (t) boolean))
|
|
|
|
|
(subrp (function (t) boolean))
|
|
|
|
|
(substring
|
|
|
|
|
(function ((or string vector) &optional integer integer) (or string vector)))
|
|
|
|
|
(sxhash (function (t) integer))
|
|
|
|
|
(sxhash-eq (function (t) integer))
|
|
|
|
|
(sxhash-eql (function (t) integer))
|
|
|
|
|
(sxhash-equal (function (t) integer))
|
|
|
|
|
(symbol-function (function (symbol) t))
|
|
|
|
|
(symbol-name (function (symbol) string))
|
|
|
|
|
(symbol-plist (function (symbol) list))
|
|
|
|
|
(symbol-value (function (symbol) t))
|
|
|
|
|
(symbolp (function (t) boolean))
|
|
|
|
|
(syntax-table (function () char-table))
|
|
|
|
|
(syntax-table-p (function (t) boolean))
|
|
|
|
|
(tan (function (number) float))
|
|
|
|
|
(this-command-keys (function () string))
|
|
|
|
|
(this-command-keys-vector (function () vector))
|
|
|
|
|
(this-single-command-keys (function () vector))
|
|
|
|
|
(this-single-command-raw-keys (function () vector))
|
|
|
|
|
(time-convert (function ((or number list) &optional (or symbol integer))
|
|
|
|
|
(or cons number)))
|
|
|
|
|
(truncate (function (number &optional number) integer))
|
|
|
|
|
(type-of (function (t) symbol))
|
|
|
|
|
(unibyte-char-to-multibyte (function (fixnum) fixnum)) ;; byte is fixnum
|
|
|
|
|
(upcase (function ((or fixnum string)) (or fixnum string)))
|
|
|
|
|
(user-full-name (function (&optional integer) (or string null)))
|
|
|
|
|
(user-login-name (function (&optional integer) (or string null)))
|
|
|
|
|
(user-real-login-name (function () string))
|
|
|
|
|
(user-real-uid (function () integer))
|
|
|
|
|
(user-uid (function () integer))
|
|
|
|
|
(vconcat (function (&rest sequence) vector))
|
|
|
|
|
(vector (function (&rest t) vector))
|
|
|
|
|
(vectorp (function (t) boolean))
|
|
|
|
|
(visible-frame-list (function () list))
|
|
|
|
|
(wholenump (function (t) boolean))
|
|
|
|
|
(window-configuration-p (function (t) boolean))
|
|
|
|
|
(window-live-p (function (t) boolean))
|
|
|
|
|
(window-valid-p (function (t) boolean))
|
|
|
|
|
(windowp (function (t) boolean))
|
|
|
|
|
;; Non returning functions
|
|
|
|
|
(throw (function (t t) nil))
|
|
|
|
|
(signal (function (symbol t) nil)))
|
|
|
|
|
"Alist used for type propagation.")
|
|
|
|
|
|
2023-11-08 16:19:18 +01:00
|
|
|
(defconst comp-limple-calls '(call
|
|
|
|
|
callref
|
|
|
|
|
direct-call
|
|
|
|
|
direct-callref)
|
|
|
|
|
"Limple operators used to call subrs.")
|
|
|
|
|
|
|
|
|
|
(defconst comp-limple-sets '(set
|
|
|
|
|
setimm
|
|
|
|
|
set-par-to-local
|
|
|
|
|
set-args-to-local
|
|
|
|
|
set-rest-args-to-local)
|
|
|
|
|
"Limple set operators.")
|
|
|
|
|
|
|
|
|
|
(defconst comp-limple-assignments `(assume
|
|
|
|
|
fetch-handler
|
|
|
|
|
,@comp-limple-sets)
|
|
|
|
|
"Limple operators that clobber the first m-var argument.")
|
|
|
|
|
|
|
|
|
|
(defconst comp-limple-branches '(jump cond-jump)
|
|
|
|
|
"Limple operators used for conditional and unconditional branches.")
|
|
|
|
|
|
|
|
|
|
(defconst comp-limple-ops `(,@comp-limple-calls
|
|
|
|
|
,@comp-limple-assignments
|
|
|
|
|
,@comp-limple-branches
|
|
|
|
|
return)
|
|
|
|
|
"All Limple operators.")
|
|
|
|
|
|
|
|
|
|
(defconst comp-limple-lock-keywords
|
|
|
|
|
`((,(rx bol "(comment" (1+ not-newline)) . font-lock-comment-face)
|
|
|
|
|
(,(rx "#(" (group-n 1 "mvar"))
|
|
|
|
|
(1 font-lock-function-name-face))
|
|
|
|
|
(,(rx bol "(" (group-n 1 "phi"))
|
|
|
|
|
(1 font-lock-variable-name-face))
|
|
|
|
|
(,(rx bol "(" (group-n 1 (or "return" "unreachable")))
|
|
|
|
|
(1 font-lock-warning-face))
|
|
|
|
|
(,(rx (group-n 1 (or "entry"
|
|
|
|
|
(seq (or "entry_" "entry_fallback_" "bb_")
|
|
|
|
|
(1+ num) (? (or "_latch"
|
|
|
|
|
(seq "_cstrs_" (1+ num))))))))
|
|
|
|
|
(1 font-lock-constant-face))
|
|
|
|
|
(,(rx-to-string
|
|
|
|
|
`(seq "(" (group-n 1 (or ,@(mapcar #'symbol-name comp-limple-ops)))))
|
|
|
|
|
(1 font-lock-keyword-face)))
|
|
|
|
|
"Highlights used by `native-comp-limple-mode'.")
|
|
|
|
|
|
|
|
|
|
(defconst comp-log-buffer-name "*Native-compile-Log*"
|
|
|
|
|
"Name of the native-compiler log buffer.")
|
|
|
|
|
|
|
|
|
|
(cl-defun comp-log (data &optional (level 1) quoted)
|
|
|
|
|
"Log DATA at LEVEL.
|
|
|
|
|
LEVEL is a number from 1-3, and defaults to 1; if it is less
|
|
|
|
|
than `native-comp-verbose', do nothing. If `noninteractive', log
|
|
|
|
|
with `message'. Otherwise, log with `comp-log-to-buffer'."
|
|
|
|
|
(when (>= native-comp-verbose level)
|
|
|
|
|
(if noninteractive
|
|
|
|
|
(cl-typecase data
|
|
|
|
|
(atom (message "%s" data))
|
|
|
|
|
(t (dolist (elem data)
|
|
|
|
|
(message "%s" elem))))
|
|
|
|
|
(comp-log-to-buffer data quoted))))
|
|
|
|
|
|
|
|
|
|
(define-derived-mode native-comp-limple-mode fundamental-mode "LIMPLE"
|
|
|
|
|
"Syntax-highlight LIMPLE IR."
|
|
|
|
|
(setf font-lock-defaults '(comp-limple-lock-keywords)))
|
|
|
|
|
|
|
|
|
|
(cl-defun comp-log-to-buffer (data &optional quoted)
|
|
|
|
|
"Log DATA to `comp-log-buffer-name'."
|
|
|
|
|
(let* ((print-f (if quoted #'prin1 #'princ))
|
|
|
|
|
(log-buffer
|
|
|
|
|
(or (get-buffer comp-log-buffer-name)
|
|
|
|
|
(with-current-buffer (get-buffer-create comp-log-buffer-name)
|
|
|
|
|
(unless (derived-mode-p 'compilation-mode)
|
|
|
|
|
(emacs-lisp-compilation-mode))
|
|
|
|
|
(current-buffer))))
|
|
|
|
|
(log-window (get-buffer-window log-buffer))
|
|
|
|
|
(inhibit-read-only t)
|
|
|
|
|
at-end-p)
|
|
|
|
|
(with-current-buffer log-buffer
|
|
|
|
|
(unless (eq major-mode 'native-comp-limple-mode)
|
|
|
|
|
(native-comp-limple-mode))
|
|
|
|
|
(when (= (point) (point-max))
|
|
|
|
|
(setf at-end-p t))
|
|
|
|
|
(save-excursion
|
|
|
|
|
(goto-char (point-max))
|
|
|
|
|
(cl-typecase data
|
|
|
|
|
(atom (funcall print-f data log-buffer))
|
|
|
|
|
(t (dolist (elem data)
|
|
|
|
|
(funcall print-f elem log-buffer)
|
|
|
|
|
(insert "\n"))))
|
|
|
|
|
(insert "\n"))
|
|
|
|
|
(when (and at-end-p log-window)
|
|
|
|
|
;; When log window's point is at the end, follow the tail.
|
|
|
|
|
(with-selected-window log-window
|
|
|
|
|
(goto-char (point-max)))))))
|
|
|
|
|
|
|
|
|
|
(defun comp-ensure-native-compiler ()
|
|
|
|
|
"Make sure Emacs has native compiler support and libgccjit can be loaded.
|
|
|
|
|
Signal an error otherwise.
|
|
|
|
|
To be used by all entry points."
|
|
|
|
|
(cond
|
|
|
|
|
((null (featurep 'native-compile))
|
|
|
|
|
(error "Emacs was not compiled with native compiler support (--with-native-compilation)"))
|
|
|
|
|
((null (native-comp-available-p))
|
|
|
|
|
(error "Cannot find libgccjit library"))))
|
|
|
|
|
|
|
|
|
|
(defun comp-trampoline-filename (subr-name)
|
|
|
|
|
"Given SUBR-NAME return the filename containing the trampoline."
|
|
|
|
|
(concat (comp-c-func-name subr-name "subr--trampoline-" t) ".eln"))
|
|
|
|
|
|
|
|
|
|
(defun comp-eln-load-path-eff ()
|
|
|
|
|
"Return a list of effective eln load directories.
|
|
|
|
|
Account for `native-comp-eln-load-path' and `comp-native-version-dir'."
|
|
|
|
|
(mapcar (lambda (dir)
|
|
|
|
|
(expand-file-name comp-native-version-dir
|
|
|
|
|
(file-name-as-directory
|
|
|
|
|
(expand-file-name dir invocation-directory))))
|
|
|
|
|
native-comp-eln-load-path))
|
|
|
|
|
|
2023-11-08 16:36:24 +01:00
|
|
|
;;;###autoload
|
|
|
|
|
(defun comp-function-type-spec (function)
|
|
|
|
|
"Return the type specifier of FUNCTION.
|
|
|
|
|
|
2024-02-23 15:56:47 +01:00
|
|
|
This function returns a cons cell whose car is the function specifier,
|
|
|
|
|
and cdr is a symbol, either `inferred' or `declared'. If the symbol is
|
|
|
|
|
`inferred', the type specifier is automatically inferred from the code
|
|
|
|
|
itself by the native compiler; if it is `declared', the type specifier
|
Move lisp function arg type declarations to the functions itself
* lisp/emacs-lisp/comp-common.el (comp-primitive-type-specifiers):
Remove type declaration of lisp functions.
* lisp/window.el (get-lru-window, get-largest-window)
(one-window-p): Declare type.
* lisp/subr.el (ignore, error, zerop, fixnump, bignump, lsh)
(last, eventp, mouse-movement-p, log10, memory-limit)
(interactive-p): Likewise.
* lisp/simple.el (count-lines, mark, lax-plist-get): Likewise.
* lisp/files.el (parse-colon-path): Likewise.
* lisp/env.el (getenv): Likewise.
* lisp/emacs-lisp/regexp-opt.el (regexp-opt): Likewise.
* lisp/emacs-lisp/lisp.el (buffer-end): Likewise.
* lisp/emacs-lisp/comp.el (comp-hint-fixnum, comp-hint-cons): Likewise.
* lisp/custom.el (custom-variable-p): Likewise.
2024-04-10 22:07:16 +02:00
|
|
|
comes from `comp-primitive-type-specifiers' or the function type declaration
|
2024-02-23 15:56:47 +01:00
|
|
|
itself."
|
|
|
|
|
(let ((kind 'declared)
|
|
|
|
|
type-spec)
|
Mark if-let and when-let obsolete
* lisp/subr.el (if-let*, when-let*, if-let, when-let): Mark
if-let and when-let obsolete (bug#73853 and elsewhere). Move
docstring text around so that if-let* and when-let* descriptions
no longer refer to if-let and when-let.
* etc/NEWS: Announce the change.
* admin/admin.el (reminder-for-release-blocking-bugs):
* doc/misc/erc.texi (display-buffer):
* lisp/ansi-color.el (ansi-color-apply)
(ansi-color--face-vec-face):
* lisp/ansi-osc.el (ansi-osc-apply-on-region)
(ansi-osc-hyperlink):
* lisp/arc-mode.el (archive-goto-file)
(archive-next-file-displayer):
* lisp/auth-source-pass.el (auth-source-pass-search)
(auth-source-pass--parse-data)
(auth-source-pass--find-match-many):
* lisp/autorevert.el (auto-revert-notify-rm-watch):
* lisp/buff-menu.el (Buffer-menu-unmark-all-buffers)
(Buffer-menu-group-by-root):
* lisp/calendar/parse-time.el (parse-iso8601-time-string):
* lisp/cedet/pulse.el (pulse-tick):
* lisp/comint.el (comint--fontify-input-ppss-flush-indirect)
(comint--intersect-regions):
* lisp/completion-preview.el (completion-preview--try-table)
(completion-preview--capf-wrapper, completion-preview--update):
* lisp/cus-edit.el (setopt--set)
(custom-dirlocals-maybe-update-cons, custom-dirlocals-validate):
* lisp/custom.el (load-theme):
* lisp/descr-text.el (describe-char):
* lisp/desktop.el (desktop--emacs-pid-running-p):
* lisp/dired-x.el (menu):
* lisp/dired.el (dired-font-lock-keywords)
(dired-insert-directory, dired--insert-disk-space, dired-mode):
* lisp/dnd.el (dnd-handle-multiple-urls):
* lisp/dom.el (dom-remove-attribute):
* lisp/emacs-lisp/byte-opt.el (byte-optimize-form-code-walker):
* lisp/emacs-lisp/bytecomp.el (bytecomp--custom-declare):
* lisp/emacs-lisp/comp-common.el (comp-function-type-spec):
* lisp/emacs-lisp/comp-cstr.el (comp--all-classes)
(comp-cstr-set-range-for-arithm, comp--cstr-union-1-no-mem)
(comp-cstr-intersection-no-mem, comp-cstr-fixnum-p)
(comp-cstr-type-p):
* lisp/emacs-lisp/comp-run.el (comp-subr-trampoline-install)
(native--compile-async):
* lisp/emacs-lisp/comp.el (comp--get-function-cstr)
(comp--function-pure-p, comp--intern-func-in-ctxt)
(comp--addr-to-bb-name, comp--emit-assume, comp--maybe-add-vmvar)
(comp--add-call-cstr, comp--compute-dominator-tree)
(comp--dom-tree-walker, comp--ssa-rename)
(comp--function-call-maybe-fold, comp--fwprop-call)
(comp--call-optim-func):
* lisp/emacs-lisp/edebug.el (edebug-global-prefix)
(edebug-remove-instrumentation):
* lisp/emacs-lisp/eieio.el (initialize-instance):
* lisp/emacs-lisp/ert-x.el (ert-resource-directory):
* lisp/emacs-lisp/ert.el (ert--expand-should-1)
(ert-test-location, ert-write-junit-test-report)
(ert-test--erts-test):
* lisp/emacs-lisp/icons.el (icon-complete-spec, icon-string)
(icons--create):
* lisp/emacs-lisp/lisp-mode.el (lisp--local-defform-body-p):
* lisp/emacs-lisp/loaddefs-gen.el
(loaddefs-generate--make-autoload)
(loaddefs-generate--parse-file):
* lisp/emacs-lisp/multisession.el
(multisession-edit-mode--revert, multisession-edit-value):
* lisp/emacs-lisp/package-vc.el (package-vc--read-archive-data)
(package-vc--version, package-vc--clone):
* lisp/emacs-lisp/package.el (package--reload-previously-loaded):
* lisp/emacs-lisp/pp.el (pp--insert-lisp):
* lisp/emacs-lisp/subr-x.el (add-display-text-property):
* lisp/emacs-lisp/tabulated-list.el (tabulated-list-print):
* lisp/emacs-lisp/timer.el (run-at-time):
* lisp/emacs-lisp/vtable.el (vtable-goto-table)
(vtable-goto-column, vtable-update-object, vtable--insert-line)
(vtable--compute-widths, vtable--make-keymap):
* lisp/emacs-lisp/warnings.el (display-warning):
* lisp/epa-file.el (epa-file-insert-file-contents):
* lisp/epa.el (epa-show-key):
* lisp/erc/erc-backend.el (erc--split-line, erc--conceal-prompt)
(PRIVMSG, erc--get-isupport-entry):
* lisp/erc/erc-button.el (erc-button-add-nickname-buttons)
(erc--button-next):
* lisp/erc/erc-common.el (erc--find-group):
* lisp/erc/erc-fill.el (erc-fill, erc-fill-static)
(erc-fill--wrap-escape-hidden-speaker)
(erc-fill--wrap-unmerge-on-date-stamp)
(erc-fill--wrap-massage-initial-message-post-clear)
(erc-fill-wrap, erc-fill--wrap-rejigger-region):
* lisp/erc/erc-goodies.el (erc--scrolltobottom-all)
(erc--keep-place-indicator-on-window-buffer-change)
(keep-place-indicator, erc--keep-place-indicator-adjust-on-clear)
(erc-keep-place-move, erc--command-indicator-display):
* lisp/erc/erc-ibuffer.el (erc-members):
* lisp/erc/erc-join.el (erc-join--remove-requested-channel)
(erc-autojoin--join):
* lisp/erc/erc-networks.el
(erc-networks--id-qualifying-init-parts, erc-networks--id-reload)
(erc-networks--id-ensure-comparable)
(erc-networks--reclaim-orphaned-target-buffers)
(erc-networks--server-select):
* lisp/erc/erc-nicks.el (erc-nicks-invert)
(erc-nicks--redirect-face-widget-link, erc-nicks--highlight)
(erc-nicks--highlight-button)
(erc-nicks--list-faces-help-button-action, erc-nicks-list-faces)
(erc-nicks-refresh, erc-nicks--colors-from-faces)
(erc-nicks--track-prioritize)
(erc-nicks--remember-face-for-track):
* lisp/erc/erc-notify.el (querypoll, erc--querypoll-get-next)
(erc--querypoll-on-352, erc--querypoll-send):
* lisp/erc/erc-sasl.el (erc-sasl--read-password):
* lisp/erc/erc-services.el
(erc-services-issue-ghost-and-retry-nick):
* lisp/erc/erc-speedbar.el (erc-speedbar--ensure, nickbar)
(erc-speedbar-toggle-nicknames-window-lock)
(erc-speedbar--compose-nicks-face):
* lisp/erc/erc-stamp.el (erc-stamp--recover-on-reconnect)
(erc-stamp-prefix-log-filter, erc--conceal-prompt)
(erc--insert-timestamp-left, erc-insert-timestamp-right)
(erc-stamp--defer-date-insertion-on-post-modify)
(erc-insert-timestamp-left-and-right)
(erc-stamp--redo-right-stamp-post-clear)
(erc-stamp--reset-on-clear, erc-stamp--dedupe-date-stamps):
* lisp/erc/erc-status-sidebar.el (bufbar)
(erc-status-sidebar-prefer-target-as-name)
(erc-status-sidebar-default-allsort, erc-status-sidebar-click):
* lisp/erc/erc-track.el (erc-track--shortened-names-get)
(erc-track--setup, erc-track--select-mode-line-face)
(erc-track-modified-channels, erc-track--collect-faces-in)
(erc-track--switch-buffer, erc-track--replace-killed-buffer):
* lisp/erc/erc-truncate.el (erc-truncate--setup)
(erc-truncate-buffer):
* lisp/erc/erc.el (erc--ensure-query-member)
(erc--ensure-query-members, erc--remove-channel-users-but)
(erc--cusr-change-status, erc--find-mode, erc--update-modules)
(erc-log-irc-protocol, erc--refresh-prompt)
(erc--restore-important-text-props)
(erc--order-text-properties-from-hash, erc-send-input-line)
(erc-cmd-IGNORE, erc--unignore-user, erc-cmd-QUERY)
(erc-cmd-BANLIST, erc--speakerize-nick)
(erc--format-speaker-input-message, erc-channel-receive-names)
(erc-send-current-line, erc-format-target-and/or-network)
(erc-kill-buffer-function, erc-restore-text-properties)
(erc--get-eq-comparable-cmd):
* lisp/eshell/em-alias.el (eshell-maybe-replace-by-alias--which)
(eshell-maybe-replace-by-alias):
* lisp/eshell/em-glob.el (eshell-glob-convert):
* lisp/eshell/em-pred.el (eshell-pred-user-or-group)
(eshell-pred-file-time, eshell-pred-file-type)
(eshell-pred-file-mode, eshell-pred-file-links)
(eshell-pred-file-size):
* lisp/eshell/em-prompt.el (eshell-forward-paragraph)
(eshell-next-prompt):
* lisp/eshell/esh-arg.el (eshell-resolve-current-argument):
* lisp/eshell/esh-cmd.el (eshell-do-eval, eshell/which)
(eshell-plain-command--which, eshell-plain-command):
* lisp/eshell/esh-io.el (eshell-duplicate-handles)
(eshell-protect-handles, eshell-get-target, eshell-close-target):
* lisp/eshell/esh-proc.el (eshell-sentinel):
* lisp/eshell/esh-var.el (eshell-parse-variable-ref)
(eshell-get-variable, eshell-set-variable):
* lisp/faces.el (face-at-point):
* lisp/ffap.el (ffap-in-project):
* lisp/filenotify.el (file-notify--rm-descriptor):
* lisp/files-x.el (read-dir-locals-file)
(connection-local-update-profile-variables)
(connection-local-value):
* lisp/files.el (file-remote-p, abbreviate-file-name)
(set-auto-mode, hack-local-variables)
(revert-buffer-restore-read-only):
* lisp/find-dired.el (find-dired-sort-by-filename):
* lisp/font-lock.el (font-lock--filter-keywords):
* lisp/gnus/gnus-art.el (article-emojize-symbols):
* lisp/gnus/gnus-int.el (gnus-close-server):
* lisp/gnus/gnus-search.el (gnus-search-transform)
(gnus-search-indexed-parse-output, gnus-search-server-to-engine):
* lisp/gnus/gnus-sum.el (gnus-collect-urls, gnus-shorten-url):
* lisp/gnus/gnus.el (gnus-check-backend-function):
* lisp/gnus/message.el (message-send-mail):
* lisp/gnus/mml.el (mml-generate-mime, mml-insert-mime-headers):
* lisp/gnus/nnatom.el (nnatom--read-feed, nnatom--read-article)
(nnatom--read-article-or-group-authors, nnatom--read-publish)
(nnatom--read-update, nnatom--read-links):
* lisp/gnus/nnfeed.el (nnfeed--read-server, nnfeed--write-server)
(nnfeed--parse-feed, nnfeed--group-data, nnfeed-retrieve-article)
(nnfeed-retrieve-headers, nnfeed--print-part)
(nnfeed-request-article, nnfeed-request-group)
(nnfeed-request-list, nnfeed--group-description)
(nnfeed-request-group-description)
(nnfeed-request-list-newsgroups, nnfeed-request-rename-group):
* lisp/gnus/nnmh.el (nnmh-update-gnus-unreads):
* lisp/help-fns.el (help-find-source)
(help-fns--insert-menu-bindings, help-fns--mention-first-release)
(help-fns--mention-shortdoc-groups)
(help-fns--customize-variable-version)
(help-fns--face-custom-version-info, describe-mode):
* lisp/help-mode.el (help-make-xrefs):
* lisp/help.el (help-key-description, help--describe-command):
* lisp/hfy-cmap.el (htmlfontify-load-rgb-file):
* lisp/ibuf-ext.el (ibuffer-jump-to-filter-group)
(ibuffer-kill-filter-group, ibuffer-kill-line)
(ibuffer-save-filter-groups, ibuffer-save-filters, filename)
(basename, file-extension, ibuffer-diff-buffer-with-file-1)
(ibuffer-mark-by-file-name-regexp)
(ibuffer-mark-by-content-regexp):
* lisp/ibuf-macs.el (ibuffer-aif, ibuffer-awhen):
* lisp/ibuffer.el (ibuffer-mouse-toggle-mark)
(ibuffer-toggle-marks, ibuffer-mark-interactive)
(ibuffer-compile-format, process, ibuffer-map-lines):
* lisp/image.el (image--compute-map)
(image--compute-original-map):
* lisp/image/exif.el (exif-parse-buffer):
* lisp/image/image-converter.el (image-convert-p, image-convert)
(image-converter--find-converter):
* lisp/image/image-dired-util.el
(image-dired-file-name-at-point):
* lisp/image/image-dired.el (image-dired-track-original-file)
(image-dired--on-file-in-dired-buffer)
(image-dired--with-thumbnail-buffer)
(image-dired-jump-original-dired-buffer)
(image-dired--slideshow-step, image-dired-display-image):
* lisp/image/wallpaper.el (wallpaper--init-action-kill)
(wallpaper--find-setter, wallpaper--find-command)
(wallpaper--find-command-args, wallpaper--x-monitor-name):
* lisp/info-look.el (info-lookup-interactive-arguments)
(info-complete)::(:mode):
* lisp/info.el (info-pop-to-buffer, Info-read-node-name-1):
* lisp/international/emoji.el (emoji--adjust-displayable-1)
(emoji--add-recent):
* lisp/jsonrpc.el (jsonrpc--call-deferred)
(jsonrpc--process-sentinel, jsonrpc--remove):
* lisp/keymap.el (keymap-local-lookup):
* lisp/mail/emacsbug.el (report-emacs-bug-hook)
(submit-emacs-patch):
* lisp/mail/ietf-drums.el (ietf-drums-parse-addresses):
* lisp/mail/mailclient.el (mailclient-send-it):
* lisp/mail/rfc6068.el (rfc6068-parse-mailto-url):
* lisp/mail/undigest.el (rmail-digest-parse-mixed-mime):
* lisp/minibuffer.el (completion-metadata-get)
(completions--after-change)
(minibuffer-visible-completions--filter):
* lisp/net/browse-url.el (browse-url-url-at-point)
(browse-url-file-url, browse-url-emacs):
* lisp/net/dbus.el (dbus-byte-array-to-string)
(dbus-monitor-goto-serial):
* lisp/net/dictionary.el (dictionary-search):
* lisp/net/eww.el (eww--download-directory)
(eww-auto-rename-buffer, eww-open-in-new-buffer, eww-submit)
(eww-follow-link, eww-read-alternate-url)
(eww-copy-alternate-url):
* lisp/net/goto-addr.el (goto-address-at-point):
* lisp/net/mailcap.el (mailcap-mime-info):
* lisp/net/rcirc.el (rcirc, rcirc-connect, rcirc-send-string)
(rcirc-kill-buffer-hook, rcirc-print, rcirc-when)
(rcirc-color-attributes, rcirc-handler-NICK)
(rcirc-handler-TAGMSG, rcirc-handler-BATCH):
* lisp/net/shr.el (shr-descend, shr-adaptive-fill-function)
(shr-correct-dom-case, shr-tag-a):
* lisp/net/sieve.el (sieve-manage-quit):
* lisp/outline.el (outline-cycle-buffer):
* lisp/pcmpl-git.el (pcmpl-git--tracked-file-predicate):
* lisp/proced.el (proced-auto-update-timer):
* lisp/progmodes/bug-reference.el
(bug-reference-try-setup-from-vc):
* lisp/progmodes/c-ts-common.el (c-ts-common--fill-paragraph):
* lisp/progmodes/c-ts-mode.el (c-ts-mode--preproc-offset)
(c-ts-mode--anchor-prev-sibling, c-ts-mode-indent-defun):
* lisp/progmodes/compile.el (compilation-error-properties)
(compilation-find-file-1):
* lisp/progmodes/eglot.el (eglot--check-object)
(eglot--read-server, eglot-upgrade-eglot)
(eglot-handle-notification, eglot--CompletionParams)
(eglot-completion-at-point, eglot--sig-info)
(eglot-register-capability):
* lisp/progmodes/elisp-mode.el
(emacs-lisp-native-compile-and-load)
(elisp-eldoc-var-docstring-with-value):
* lisp/progmodes/erts-mode.el (erts-mode--goto-start-of-test):
* lisp/progmodes/flymake.el (flymake--update-eol-overlays)
(flymake-eldoc-function):
* lisp/progmodes/gdb-mi.el (gdb-breakpoints-list-handler-custom)
(gdb-frame-handler):
* lisp/progmodes/go-ts-mode.el (go-ts-mode-docstring)
(go-ts-mode--comment-on-previous-line-p)
(go-ts-mode--get-test-regexp-at-point)
(go-ts-mode-test-this-file):
* lisp/progmodes/grep.el (lgrep, rgrep-default-command)
(grep-file-at-point):
* lisp/progmodes/perl-mode.el (perl--end-of-format-p):
* lisp/progmodes/php-ts-mode.el
(php-ts-mode--anchor-prev-sibling, php-ts-mode--indent-defun):
* lisp/progmodes/project.el (project--other-place-command)
(project--find-default-from, project--transplant-file-name)
(project-prefixed-buffer-name, project--remove-from-project-list)
(project-prompt-project-name, project-remember-projects-under)
(project--switch-project-command)
(project-uniquify-dirname-transform, project-mode-line-format):
* lisp/progmodes/python.el
(python-font-lock-keywords-maximum-decoration)
(python--treesit-fontify-union-types)
(python-shell-get-process-name, python-shell-restart)
(python-shell-completion-at-point, python-ffap-module-path)
(python-util-comint-end-of-output-p, python--import-sources)
(python-add-import, python-remove-import, python-fix-imports):
* lisp/progmodes/xref.el (xref--add-log-current-defun):
* lisp/repeat.el (repeat-echo-message-string):
* lisp/saveplace.el (save-place-dired-hook):
* lisp/server.el (server-save-buffers-kill-terminal):
* lisp/shadowfile.el (shadow-make-fullname)
(shadow-contract-file-name, shadow-define-literal-group):
* lisp/shell.el (shell-highlight-undef-mode):
* lisp/simple.el (command-completion-using-modes-p)
(command-execute, file-user-uid, file-group-gid)
(first-completion, last-completion, switch-to-completions):
* lisp/startup.el (startup--load-user-init-file):
* lisp/tab-line.el (tab-line-tabs-buffer-group-by-project):
* lisp/tar-mode.el (tar-goto-file, tar-next-file-displayer):
* lisp/term/android-win.el (android-encode-select-string)
(gui-backend-set-selection):
* lisp/term/haiku-win.el (haiku-dnd-convert-string)
(haiku-select-encode-xstring, haiku-select-encode-utf-8-string):
* lisp/textmodes/emacs-news-mode.el (emacs-news--buttonize):
* lisp/textmodes/ispell.el (ispell-completion-at-point):
* lisp/textmodes/sgml-mode.el (sgml-validate)
(html-mode--complete-at-point):
* lisp/textmodes/tex-mode.el (tex-recenter-output-buffer)
(xref-backend-references):
* lisp/thingatpt.el (thing-at-point-file-at-point)
(thing-at-point-face-at-point):
* lisp/thread.el (thread-list--get-status):
* lisp/time.el (world-clock-copy-time-as-kill, world-clock):
* lisp/touch-screen.el (touch-screen-handle-touch):
* lisp/treesit.el (treesit-language-at, treesit-node-at)
(treesit-node-on, treesit-buffer-root-node)
(treesit-node-field-name, treesit-local-parsers-at)
(treesit-local-parsers-on, treesit--cleanup-local-range-overlays)
(treesit-font-lock-recompute-features)
(treesit-font-lock-fontify-region, treesit-transpose-sexps)
(treesit-add-log-current-defun, treesit-major-mode-setup)
(treesit--explorer-refresh, treesit-install-language-grammar):
* lisp/url/url.el (url-retrieve-synchronously):
* lisp/vc/smerge-mode.el (smerge-diff):
* lisp/vc/vc-dir.el (vc-dir):
* lisp/vc/vc-dispatcher.el (vc-do-async-command):
* lisp/vc/vc-git.el (vc-git-dir--branch-headers)
(vc-git-dir--stash-headers, vc-git--log-edit-summary-check)
(vc-git-stash-list):
* lisp/vc/vc.el (vc-responsible-backend, vc-buffer-sync-fileset)
(vc-clone):
* lisp/visual-wrap.el (visual-wrap--apply-to-line):
* lisp/wid-edit.el (widget-text)
(widget-editable-list-insert-before):
* lisp/window-tool-bar.el
(window-tool-bar--keymap-entry-to-string):
* lisp/window.el (display-buffer, display-buffer-full-frame)
(window-point-context-set, window-point-context-use)
(window-point-context-use-default-function):
* lisp/xdg.el (xdg-current-desktop):
* lisp/xwidget.el (xwidget-webkit-callback):
* lisp/yank-media.el (yank-media--get-selection)
(yank-media-types):
* test/lisp/comint-tests.el
(comint-tests/test-password-function):
* test/lisp/completion-preview-tests.el
(completion-preview-tests--capf):
* test/lisp/cus-edit-tests.el (with-cus-edit-test):
* test/lisp/erc/erc-scenarios-base-local-modules.el
(-phony-sblm-):
* test/lisp/erc/erc-scenarios-stamp.el
(erc-scenarios-stamp--on-post-modify):
* test/lisp/erc/erc-services-tests.el
(erc-services-tests--asp-parse-entry):
* test/lisp/erc/erc-tests.el (erc-modules--internal-property)
(erc--find-mode, erc-tests--update-modules):
* test/lisp/erc/resources/erc-d/erc-d-i.el
(erc-d-i--parse-message):
* test/lisp/erc/resources/erc-d/erc-d-t.el
(erc-d-t-kill-related-buffers, erc-d-t-with-cleanup):
* test/lisp/erc/resources/erc-d/erc-d-tests.el
(erc-d-i--parse-message--irc-parser-tests):
* test/lisp/erc/resources/erc-d/erc-d-u.el
(erc-d-u--read-exchange-slowly):
* test/lisp/erc/resources/erc-d/erc-d.el (erc-d--expire)
(erc-d--finalize-done, erc-d--command-handle-all):
* test/lisp/erc/resources/erc-scenarios-common.el
(erc-scenarios-common-with-cleanup):
* test/lisp/erc/resources/erc-tests-common.el
(erc-tests--common-display-message)
(erc-tests-common-create-subprocess):
* test/lisp/ibuffer-tests.el (ibuffer-test-Bug25058):
* test/lisp/international/mule-tests.el
(mule-cmds-tests--ucs-names-missing-names):
* test/lisp/progmodes/python-tests.el
(python-tests-get-shell-interpreter)
(python-tests--get-interpreter-info):
* test/lisp/progmodes/ruby-ts-mode-tests.el
(ruby-ts-resource-file):
* test/lisp/replace-tests.el (replace-tests-with-undo):
* test/src/emacs-tests.el (emacs-tests--seccomp-debug):
* test/src/process-tests.el (process-tests--emacs-command)
(process-tests--emacs-binary, process-tests--dump-file):
* test/src/treesit-tests.el (treesit--ert-test-defun-navigation):
Replace use of the now-obsolete if-let and when-let.
2024-10-24 16:50:07 +08:00
|
|
|
(when-let* ((res (assoc function comp-primitive-type-specifiers)))
|
2024-02-23 15:56:47 +01:00
|
|
|
;; Declared primitive
|
2023-11-08 16:36:24 +01:00
|
|
|
(setf type-spec (cadr res)))
|
|
|
|
|
(let ((f (and (symbolp function)
|
|
|
|
|
(symbol-function function))))
|
2024-02-23 15:56:47 +01:00
|
|
|
(when (and f (null type-spec))
|
Mark if-let and when-let obsolete
* lisp/subr.el (if-let*, when-let*, if-let, when-let): Mark
if-let and when-let obsolete (bug#73853 and elsewhere). Move
docstring text around so that if-let* and when-let* descriptions
no longer refer to if-let and when-let.
* etc/NEWS: Announce the change.
* admin/admin.el (reminder-for-release-blocking-bugs):
* doc/misc/erc.texi (display-buffer):
* lisp/ansi-color.el (ansi-color-apply)
(ansi-color--face-vec-face):
* lisp/ansi-osc.el (ansi-osc-apply-on-region)
(ansi-osc-hyperlink):
* lisp/arc-mode.el (archive-goto-file)
(archive-next-file-displayer):
* lisp/auth-source-pass.el (auth-source-pass-search)
(auth-source-pass--parse-data)
(auth-source-pass--find-match-many):
* lisp/autorevert.el (auto-revert-notify-rm-watch):
* lisp/buff-menu.el (Buffer-menu-unmark-all-buffers)
(Buffer-menu-group-by-root):
* lisp/calendar/parse-time.el (parse-iso8601-time-string):
* lisp/cedet/pulse.el (pulse-tick):
* lisp/comint.el (comint--fontify-input-ppss-flush-indirect)
(comint--intersect-regions):
* lisp/completion-preview.el (completion-preview--try-table)
(completion-preview--capf-wrapper, completion-preview--update):
* lisp/cus-edit.el (setopt--set)
(custom-dirlocals-maybe-update-cons, custom-dirlocals-validate):
* lisp/custom.el (load-theme):
* lisp/descr-text.el (describe-char):
* lisp/desktop.el (desktop--emacs-pid-running-p):
* lisp/dired-x.el (menu):
* lisp/dired.el (dired-font-lock-keywords)
(dired-insert-directory, dired--insert-disk-space, dired-mode):
* lisp/dnd.el (dnd-handle-multiple-urls):
* lisp/dom.el (dom-remove-attribute):
* lisp/emacs-lisp/byte-opt.el (byte-optimize-form-code-walker):
* lisp/emacs-lisp/bytecomp.el (bytecomp--custom-declare):
* lisp/emacs-lisp/comp-common.el (comp-function-type-spec):
* lisp/emacs-lisp/comp-cstr.el (comp--all-classes)
(comp-cstr-set-range-for-arithm, comp--cstr-union-1-no-mem)
(comp-cstr-intersection-no-mem, comp-cstr-fixnum-p)
(comp-cstr-type-p):
* lisp/emacs-lisp/comp-run.el (comp-subr-trampoline-install)
(native--compile-async):
* lisp/emacs-lisp/comp.el (comp--get-function-cstr)
(comp--function-pure-p, comp--intern-func-in-ctxt)
(comp--addr-to-bb-name, comp--emit-assume, comp--maybe-add-vmvar)
(comp--add-call-cstr, comp--compute-dominator-tree)
(comp--dom-tree-walker, comp--ssa-rename)
(comp--function-call-maybe-fold, comp--fwprop-call)
(comp--call-optim-func):
* lisp/emacs-lisp/edebug.el (edebug-global-prefix)
(edebug-remove-instrumentation):
* lisp/emacs-lisp/eieio.el (initialize-instance):
* lisp/emacs-lisp/ert-x.el (ert-resource-directory):
* lisp/emacs-lisp/ert.el (ert--expand-should-1)
(ert-test-location, ert-write-junit-test-report)
(ert-test--erts-test):
* lisp/emacs-lisp/icons.el (icon-complete-spec, icon-string)
(icons--create):
* lisp/emacs-lisp/lisp-mode.el (lisp--local-defform-body-p):
* lisp/emacs-lisp/loaddefs-gen.el
(loaddefs-generate--make-autoload)
(loaddefs-generate--parse-file):
* lisp/emacs-lisp/multisession.el
(multisession-edit-mode--revert, multisession-edit-value):
* lisp/emacs-lisp/package-vc.el (package-vc--read-archive-data)
(package-vc--version, package-vc--clone):
* lisp/emacs-lisp/package.el (package--reload-previously-loaded):
* lisp/emacs-lisp/pp.el (pp--insert-lisp):
* lisp/emacs-lisp/subr-x.el (add-display-text-property):
* lisp/emacs-lisp/tabulated-list.el (tabulated-list-print):
* lisp/emacs-lisp/timer.el (run-at-time):
* lisp/emacs-lisp/vtable.el (vtable-goto-table)
(vtable-goto-column, vtable-update-object, vtable--insert-line)
(vtable--compute-widths, vtable--make-keymap):
* lisp/emacs-lisp/warnings.el (display-warning):
* lisp/epa-file.el (epa-file-insert-file-contents):
* lisp/epa.el (epa-show-key):
* lisp/erc/erc-backend.el (erc--split-line, erc--conceal-prompt)
(PRIVMSG, erc--get-isupport-entry):
* lisp/erc/erc-button.el (erc-button-add-nickname-buttons)
(erc--button-next):
* lisp/erc/erc-common.el (erc--find-group):
* lisp/erc/erc-fill.el (erc-fill, erc-fill-static)
(erc-fill--wrap-escape-hidden-speaker)
(erc-fill--wrap-unmerge-on-date-stamp)
(erc-fill--wrap-massage-initial-message-post-clear)
(erc-fill-wrap, erc-fill--wrap-rejigger-region):
* lisp/erc/erc-goodies.el (erc--scrolltobottom-all)
(erc--keep-place-indicator-on-window-buffer-change)
(keep-place-indicator, erc--keep-place-indicator-adjust-on-clear)
(erc-keep-place-move, erc--command-indicator-display):
* lisp/erc/erc-ibuffer.el (erc-members):
* lisp/erc/erc-join.el (erc-join--remove-requested-channel)
(erc-autojoin--join):
* lisp/erc/erc-networks.el
(erc-networks--id-qualifying-init-parts, erc-networks--id-reload)
(erc-networks--id-ensure-comparable)
(erc-networks--reclaim-orphaned-target-buffers)
(erc-networks--server-select):
* lisp/erc/erc-nicks.el (erc-nicks-invert)
(erc-nicks--redirect-face-widget-link, erc-nicks--highlight)
(erc-nicks--highlight-button)
(erc-nicks--list-faces-help-button-action, erc-nicks-list-faces)
(erc-nicks-refresh, erc-nicks--colors-from-faces)
(erc-nicks--track-prioritize)
(erc-nicks--remember-face-for-track):
* lisp/erc/erc-notify.el (querypoll, erc--querypoll-get-next)
(erc--querypoll-on-352, erc--querypoll-send):
* lisp/erc/erc-sasl.el (erc-sasl--read-password):
* lisp/erc/erc-services.el
(erc-services-issue-ghost-and-retry-nick):
* lisp/erc/erc-speedbar.el (erc-speedbar--ensure, nickbar)
(erc-speedbar-toggle-nicknames-window-lock)
(erc-speedbar--compose-nicks-face):
* lisp/erc/erc-stamp.el (erc-stamp--recover-on-reconnect)
(erc-stamp-prefix-log-filter, erc--conceal-prompt)
(erc--insert-timestamp-left, erc-insert-timestamp-right)
(erc-stamp--defer-date-insertion-on-post-modify)
(erc-insert-timestamp-left-and-right)
(erc-stamp--redo-right-stamp-post-clear)
(erc-stamp--reset-on-clear, erc-stamp--dedupe-date-stamps):
* lisp/erc/erc-status-sidebar.el (bufbar)
(erc-status-sidebar-prefer-target-as-name)
(erc-status-sidebar-default-allsort, erc-status-sidebar-click):
* lisp/erc/erc-track.el (erc-track--shortened-names-get)
(erc-track--setup, erc-track--select-mode-line-face)
(erc-track-modified-channels, erc-track--collect-faces-in)
(erc-track--switch-buffer, erc-track--replace-killed-buffer):
* lisp/erc/erc-truncate.el (erc-truncate--setup)
(erc-truncate-buffer):
* lisp/erc/erc.el (erc--ensure-query-member)
(erc--ensure-query-members, erc--remove-channel-users-but)
(erc--cusr-change-status, erc--find-mode, erc--update-modules)
(erc-log-irc-protocol, erc--refresh-prompt)
(erc--restore-important-text-props)
(erc--order-text-properties-from-hash, erc-send-input-line)
(erc-cmd-IGNORE, erc--unignore-user, erc-cmd-QUERY)
(erc-cmd-BANLIST, erc--speakerize-nick)
(erc--format-speaker-input-message, erc-channel-receive-names)
(erc-send-current-line, erc-format-target-and/or-network)
(erc-kill-buffer-function, erc-restore-text-properties)
(erc--get-eq-comparable-cmd):
* lisp/eshell/em-alias.el (eshell-maybe-replace-by-alias--which)
(eshell-maybe-replace-by-alias):
* lisp/eshell/em-glob.el (eshell-glob-convert):
* lisp/eshell/em-pred.el (eshell-pred-user-or-group)
(eshell-pred-file-time, eshell-pred-file-type)
(eshell-pred-file-mode, eshell-pred-file-links)
(eshell-pred-file-size):
* lisp/eshell/em-prompt.el (eshell-forward-paragraph)
(eshell-next-prompt):
* lisp/eshell/esh-arg.el (eshell-resolve-current-argument):
* lisp/eshell/esh-cmd.el (eshell-do-eval, eshell/which)
(eshell-plain-command--which, eshell-plain-command):
* lisp/eshell/esh-io.el (eshell-duplicate-handles)
(eshell-protect-handles, eshell-get-target, eshell-close-target):
* lisp/eshell/esh-proc.el (eshell-sentinel):
* lisp/eshell/esh-var.el (eshell-parse-variable-ref)
(eshell-get-variable, eshell-set-variable):
* lisp/faces.el (face-at-point):
* lisp/ffap.el (ffap-in-project):
* lisp/filenotify.el (file-notify--rm-descriptor):
* lisp/files-x.el (read-dir-locals-file)
(connection-local-update-profile-variables)
(connection-local-value):
* lisp/files.el (file-remote-p, abbreviate-file-name)
(set-auto-mode, hack-local-variables)
(revert-buffer-restore-read-only):
* lisp/find-dired.el (find-dired-sort-by-filename):
* lisp/font-lock.el (font-lock--filter-keywords):
* lisp/gnus/gnus-art.el (article-emojize-symbols):
* lisp/gnus/gnus-int.el (gnus-close-server):
* lisp/gnus/gnus-search.el (gnus-search-transform)
(gnus-search-indexed-parse-output, gnus-search-server-to-engine):
* lisp/gnus/gnus-sum.el (gnus-collect-urls, gnus-shorten-url):
* lisp/gnus/gnus.el (gnus-check-backend-function):
* lisp/gnus/message.el (message-send-mail):
* lisp/gnus/mml.el (mml-generate-mime, mml-insert-mime-headers):
* lisp/gnus/nnatom.el (nnatom--read-feed, nnatom--read-article)
(nnatom--read-article-or-group-authors, nnatom--read-publish)
(nnatom--read-update, nnatom--read-links):
* lisp/gnus/nnfeed.el (nnfeed--read-server, nnfeed--write-server)
(nnfeed--parse-feed, nnfeed--group-data, nnfeed-retrieve-article)
(nnfeed-retrieve-headers, nnfeed--print-part)
(nnfeed-request-article, nnfeed-request-group)
(nnfeed-request-list, nnfeed--group-description)
(nnfeed-request-group-description)
(nnfeed-request-list-newsgroups, nnfeed-request-rename-group):
* lisp/gnus/nnmh.el (nnmh-update-gnus-unreads):
* lisp/help-fns.el (help-find-source)
(help-fns--insert-menu-bindings, help-fns--mention-first-release)
(help-fns--mention-shortdoc-groups)
(help-fns--customize-variable-version)
(help-fns--face-custom-version-info, describe-mode):
* lisp/help-mode.el (help-make-xrefs):
* lisp/help.el (help-key-description, help--describe-command):
* lisp/hfy-cmap.el (htmlfontify-load-rgb-file):
* lisp/ibuf-ext.el (ibuffer-jump-to-filter-group)
(ibuffer-kill-filter-group, ibuffer-kill-line)
(ibuffer-save-filter-groups, ibuffer-save-filters, filename)
(basename, file-extension, ibuffer-diff-buffer-with-file-1)
(ibuffer-mark-by-file-name-regexp)
(ibuffer-mark-by-content-regexp):
* lisp/ibuf-macs.el (ibuffer-aif, ibuffer-awhen):
* lisp/ibuffer.el (ibuffer-mouse-toggle-mark)
(ibuffer-toggle-marks, ibuffer-mark-interactive)
(ibuffer-compile-format, process, ibuffer-map-lines):
* lisp/image.el (image--compute-map)
(image--compute-original-map):
* lisp/image/exif.el (exif-parse-buffer):
* lisp/image/image-converter.el (image-convert-p, image-convert)
(image-converter--find-converter):
* lisp/image/image-dired-util.el
(image-dired-file-name-at-point):
* lisp/image/image-dired.el (image-dired-track-original-file)
(image-dired--on-file-in-dired-buffer)
(image-dired--with-thumbnail-buffer)
(image-dired-jump-original-dired-buffer)
(image-dired--slideshow-step, image-dired-display-image):
* lisp/image/wallpaper.el (wallpaper--init-action-kill)
(wallpaper--find-setter, wallpaper--find-command)
(wallpaper--find-command-args, wallpaper--x-monitor-name):
* lisp/info-look.el (info-lookup-interactive-arguments)
(info-complete)::(:mode):
* lisp/info.el (info-pop-to-buffer, Info-read-node-name-1):
* lisp/international/emoji.el (emoji--adjust-displayable-1)
(emoji--add-recent):
* lisp/jsonrpc.el (jsonrpc--call-deferred)
(jsonrpc--process-sentinel, jsonrpc--remove):
* lisp/keymap.el (keymap-local-lookup):
* lisp/mail/emacsbug.el (report-emacs-bug-hook)
(submit-emacs-patch):
* lisp/mail/ietf-drums.el (ietf-drums-parse-addresses):
* lisp/mail/mailclient.el (mailclient-send-it):
* lisp/mail/rfc6068.el (rfc6068-parse-mailto-url):
* lisp/mail/undigest.el (rmail-digest-parse-mixed-mime):
* lisp/minibuffer.el (completion-metadata-get)
(completions--after-change)
(minibuffer-visible-completions--filter):
* lisp/net/browse-url.el (browse-url-url-at-point)
(browse-url-file-url, browse-url-emacs):
* lisp/net/dbus.el (dbus-byte-array-to-string)
(dbus-monitor-goto-serial):
* lisp/net/dictionary.el (dictionary-search):
* lisp/net/eww.el (eww--download-directory)
(eww-auto-rename-buffer, eww-open-in-new-buffer, eww-submit)
(eww-follow-link, eww-read-alternate-url)
(eww-copy-alternate-url):
* lisp/net/goto-addr.el (goto-address-at-point):
* lisp/net/mailcap.el (mailcap-mime-info):
* lisp/net/rcirc.el (rcirc, rcirc-connect, rcirc-send-string)
(rcirc-kill-buffer-hook, rcirc-print, rcirc-when)
(rcirc-color-attributes, rcirc-handler-NICK)
(rcirc-handler-TAGMSG, rcirc-handler-BATCH):
* lisp/net/shr.el (shr-descend, shr-adaptive-fill-function)
(shr-correct-dom-case, shr-tag-a):
* lisp/net/sieve.el (sieve-manage-quit):
* lisp/outline.el (outline-cycle-buffer):
* lisp/pcmpl-git.el (pcmpl-git--tracked-file-predicate):
* lisp/proced.el (proced-auto-update-timer):
* lisp/progmodes/bug-reference.el
(bug-reference-try-setup-from-vc):
* lisp/progmodes/c-ts-common.el (c-ts-common--fill-paragraph):
* lisp/progmodes/c-ts-mode.el (c-ts-mode--preproc-offset)
(c-ts-mode--anchor-prev-sibling, c-ts-mode-indent-defun):
* lisp/progmodes/compile.el (compilation-error-properties)
(compilation-find-file-1):
* lisp/progmodes/eglot.el (eglot--check-object)
(eglot--read-server, eglot-upgrade-eglot)
(eglot-handle-notification, eglot--CompletionParams)
(eglot-completion-at-point, eglot--sig-info)
(eglot-register-capability):
* lisp/progmodes/elisp-mode.el
(emacs-lisp-native-compile-and-load)
(elisp-eldoc-var-docstring-with-value):
* lisp/progmodes/erts-mode.el (erts-mode--goto-start-of-test):
* lisp/progmodes/flymake.el (flymake--update-eol-overlays)
(flymake-eldoc-function):
* lisp/progmodes/gdb-mi.el (gdb-breakpoints-list-handler-custom)
(gdb-frame-handler):
* lisp/progmodes/go-ts-mode.el (go-ts-mode-docstring)
(go-ts-mode--comment-on-previous-line-p)
(go-ts-mode--get-test-regexp-at-point)
(go-ts-mode-test-this-file):
* lisp/progmodes/grep.el (lgrep, rgrep-default-command)
(grep-file-at-point):
* lisp/progmodes/perl-mode.el (perl--end-of-format-p):
* lisp/progmodes/php-ts-mode.el
(php-ts-mode--anchor-prev-sibling, php-ts-mode--indent-defun):
* lisp/progmodes/project.el (project--other-place-command)
(project--find-default-from, project--transplant-file-name)
(project-prefixed-buffer-name, project--remove-from-project-list)
(project-prompt-project-name, project-remember-projects-under)
(project--switch-project-command)
(project-uniquify-dirname-transform, project-mode-line-format):
* lisp/progmodes/python.el
(python-font-lock-keywords-maximum-decoration)
(python--treesit-fontify-union-types)
(python-shell-get-process-name, python-shell-restart)
(python-shell-completion-at-point, python-ffap-module-path)
(python-util-comint-end-of-output-p, python--import-sources)
(python-add-import, python-remove-import, python-fix-imports):
* lisp/progmodes/xref.el (xref--add-log-current-defun):
* lisp/repeat.el (repeat-echo-message-string):
* lisp/saveplace.el (save-place-dired-hook):
* lisp/server.el (server-save-buffers-kill-terminal):
* lisp/shadowfile.el (shadow-make-fullname)
(shadow-contract-file-name, shadow-define-literal-group):
* lisp/shell.el (shell-highlight-undef-mode):
* lisp/simple.el (command-completion-using-modes-p)
(command-execute, file-user-uid, file-group-gid)
(first-completion, last-completion, switch-to-completions):
* lisp/startup.el (startup--load-user-init-file):
* lisp/tab-line.el (tab-line-tabs-buffer-group-by-project):
* lisp/tar-mode.el (tar-goto-file, tar-next-file-displayer):
* lisp/term/android-win.el (android-encode-select-string)
(gui-backend-set-selection):
* lisp/term/haiku-win.el (haiku-dnd-convert-string)
(haiku-select-encode-xstring, haiku-select-encode-utf-8-string):
* lisp/textmodes/emacs-news-mode.el (emacs-news--buttonize):
* lisp/textmodes/ispell.el (ispell-completion-at-point):
* lisp/textmodes/sgml-mode.el (sgml-validate)
(html-mode--complete-at-point):
* lisp/textmodes/tex-mode.el (tex-recenter-output-buffer)
(xref-backend-references):
* lisp/thingatpt.el (thing-at-point-file-at-point)
(thing-at-point-face-at-point):
* lisp/thread.el (thread-list--get-status):
* lisp/time.el (world-clock-copy-time-as-kill, world-clock):
* lisp/touch-screen.el (touch-screen-handle-touch):
* lisp/treesit.el (treesit-language-at, treesit-node-at)
(treesit-node-on, treesit-buffer-root-node)
(treesit-node-field-name, treesit-local-parsers-at)
(treesit-local-parsers-on, treesit--cleanup-local-range-overlays)
(treesit-font-lock-recompute-features)
(treesit-font-lock-fontify-region, treesit-transpose-sexps)
(treesit-add-log-current-defun, treesit-major-mode-setup)
(treesit--explorer-refresh, treesit-install-language-grammar):
* lisp/url/url.el (url-retrieve-synchronously):
* lisp/vc/smerge-mode.el (smerge-diff):
* lisp/vc/vc-dir.el (vc-dir):
* lisp/vc/vc-dispatcher.el (vc-do-async-command):
* lisp/vc/vc-git.el (vc-git-dir--branch-headers)
(vc-git-dir--stash-headers, vc-git--log-edit-summary-check)
(vc-git-stash-list):
* lisp/vc/vc.el (vc-responsible-backend, vc-buffer-sync-fileset)
(vc-clone):
* lisp/visual-wrap.el (visual-wrap--apply-to-line):
* lisp/wid-edit.el (widget-text)
(widget-editable-list-insert-before):
* lisp/window-tool-bar.el
(window-tool-bar--keymap-entry-to-string):
* lisp/window.el (display-buffer, display-buffer-full-frame)
(window-point-context-set, window-point-context-use)
(window-point-context-use-default-function):
* lisp/xdg.el (xdg-current-desktop):
* lisp/xwidget.el (xwidget-webkit-callback):
* lisp/yank-media.el (yank-media--get-selection)
(yank-media-types):
* test/lisp/comint-tests.el
(comint-tests/test-password-function):
* test/lisp/completion-preview-tests.el
(completion-preview-tests--capf):
* test/lisp/cus-edit-tests.el (with-cus-edit-test):
* test/lisp/erc/erc-scenarios-base-local-modules.el
(-phony-sblm-):
* test/lisp/erc/erc-scenarios-stamp.el
(erc-scenarios-stamp--on-post-modify):
* test/lisp/erc/erc-services-tests.el
(erc-services-tests--asp-parse-entry):
* test/lisp/erc/erc-tests.el (erc-modules--internal-property)
(erc--find-mode, erc-tests--update-modules):
* test/lisp/erc/resources/erc-d/erc-d-i.el
(erc-d-i--parse-message):
* test/lisp/erc/resources/erc-d/erc-d-t.el
(erc-d-t-kill-related-buffers, erc-d-t-with-cleanup):
* test/lisp/erc/resources/erc-d/erc-d-tests.el
(erc-d-i--parse-message--irc-parser-tests):
* test/lisp/erc/resources/erc-d/erc-d-u.el
(erc-d-u--read-exchange-slowly):
* test/lisp/erc/resources/erc-d/erc-d.el (erc-d--expire)
(erc-d--finalize-done, erc-d--command-handle-all):
* test/lisp/erc/resources/erc-scenarios-common.el
(erc-scenarios-common-with-cleanup):
* test/lisp/erc/resources/erc-tests-common.el
(erc-tests--common-display-message)
(erc-tests-common-create-subprocess):
* test/lisp/ibuffer-tests.el (ibuffer-test-Bug25058):
* test/lisp/international/mule-tests.el
(mule-cmds-tests--ucs-names-missing-names):
* test/lisp/progmodes/python-tests.el
(python-tests-get-shell-interpreter)
(python-tests--get-interpreter-info):
* test/lisp/progmodes/ruby-ts-mode-tests.el
(ruby-ts-resource-file):
* test/lisp/replace-tests.el (replace-tests-with-undo):
* test/src/emacs-tests.el (emacs-tests--seccomp-debug):
* test/src/process-tests.el (process-tests--emacs-command)
(process-tests--emacs-binary, process-tests--dump-file):
* test/src/treesit-tests.el (treesit--ert-test-defun-navigation):
Replace use of the now-obsolete if-let and when-let.
2024-10-24 16:50:07 +08:00
|
|
|
(if-let* ((delc-type (function-get function 'function-type)))
|
2024-02-23 15:56:47 +01:00
|
|
|
;; Declared Lisp function
|
2024-05-05 23:39:01 +02:00
|
|
|
(setf type-spec delc-type)
|
Redirect calls to `subr-native-elisp-p` to `native-comp-function-p`
* test/src/comp-tests.el (comp-tests-bootstrap, lambda-return)
(lambda-return2, free-fun, free-fun2, free-fun-silly-name, speed--1)
(compile-forms, comp-test-defsubst, primitive-redefine-compile-44221)
(48029-1, 61917-1, tco, fw-prop-1, pure):
* test/lisp/help-fns-tests.el (help-fns-test-lisp-defun):
* lisp/subr.el (subr-primitive-p, primitive-function-p, symbol-file):
* lisp/help-fns.el (find-lisp-object-file-name):
* lisp/emacs-lisp/disass.el (disassemble-internal):
* lisp/emacs-lisp/comp.el (comp--call-optim-form-call):
* lisp/emacs-lisp/comp-run.el (comp-warn-primitives):
* lisp/emacs-lisp/comp-common.el (comp-function-type-spec):
* lisp/emacs-lisp/byte-opt.el (side-effect-free-fns):
* lisp/emacs-lisp/bytecomp.el (<trailer>): Rename `subr-native-elisp-p`
to `native-comp-function-p`.
2024-05-22 14:45:35 -04:00
|
|
|
(when (native-comp-function-p f)
|
2024-02-23 15:56:47 +01:00
|
|
|
;; Native compiled inferred
|
|
|
|
|
(setf kind 'inferred
|
|
|
|
|
type-spec (subr-type f))))))
|
2023-11-08 16:36:24 +01:00
|
|
|
(when type-spec
|
|
|
|
|
(cons type-spec kind))))
|
|
|
|
|
|
2023-11-08 16:19:18 +01:00
|
|
|
(provide 'comp-common)
|
|
|
|
|
|
|
|
|
|
;;; comp-common.el ends here
|