* etc/NEWS (Function type declaration): Add entry.

(cherry picked from commit 8e1e8099aad0fbb2bc375b45379913b8ca55e926)

diff --git a/etc/NEWS b/etc/NEWS
index 86492be8296c0c2ad7ba3f367c52bb326c847c13..53e79dfd0d925fdbea116a298a8a463f769ce16b 100644 (file)
--- 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'