From 7381fab8a4ed47d7b7556ea27c465d702519bb6d Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Wed, 1 May 2024 22:49:01 +0200 Subject: [PATCH] * etc/NEWS (Function type declaration): Add entry. (cherry picked from commit 8e1e8099aad0fbb2bc375b45379913b8ca55e926) --- etc/NEWS | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/etc/NEWS b/etc/NEWS index 86492be8296..53e79dfd0d9 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -2073,6 +2073,10 @@ the region and never want to restrict 'undo' to that region, it is preferable to use the existing 'undo-inhibit-region' symbol property instead of this variable. +** Function type declaration +It is now possible, using the 'declare' macro, to declare expected types +of function arguments and return type. + ** New types 'closure' and 'interpreted-function'. 'interpreted-function' is the new type used for interpreted functions, and 'closure' is the common parent type of 'interpreted-function' -- 2.39.5