diff options
| author | Andrea Corallo <acorallo@gnu.org> | 2024-04-29 18:08:57 +0200 |
|---|---|---|
| committer | Andrea Corallo <acorallo@gnu.org> | 2024-04-29 19:33:18 +0200 |
| commit | 15016288ecaefbfb2822c1fcef7146a5d8663650 (patch) | |
| tree | 62088d99b4038334e43979d0bc3d0f99fe3b72a8 /doc | |
| parent | fa0bf96837ad267e5259e531e3d592dd40fdc445 (diff) | |
| download | emacs-15016288ecaefbfb2822c1fcef7146a5d8663650.tar.gz | |
* Document function type declarations
* doc/lispref/functions.texi (Declare Form): Document function type
declaration.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/lispref/functions.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/lispref/functions.texi b/doc/lispref/functions.texi index c57de08460f..b5e234fa068 100644 --- a/doc/lispref/functions.texi +++ b/doc/lispref/functions.texi @@ -2709,6 +2709,13 @@ native code emitted for the function. In particular, if @var{n} is @minus{}1, native compilation of the function will emit bytecode instead of native code for the function. +@item (type @var{type}) +Declare @var{type} to be the type of this function. This is used for +documentation by @code{describe-function}. Also it can be used by the +native compiler (@pxref{Native-Compilation}) for improving code +generation and for deriving more precisely the type of other functions +without type declaration. + @item no-font-lock-keyword This is valid for macros only. Macros with this declaration are highlighted by font-lock (@pxref{Font Lock Mode}) as normal functions, |