From: Andrea Corallo <acorallo@gnu.org>
Date: Tue, 9 Jul 2024 09:03:04 +0000 (+0200)
Subject: * etc/TODO (Native compiler improvements): Add entry.
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=4a7dbd5078688c90e1e0f2d4d3f5869d5830c7be;p=emacs.git

* etc/TODO (Native compiler improvements): Add entry.

(cherry picked from commit e53f0f4869600f698e9d8c9527aaf5fba9ec1243)
---

diff --git a/etc/TODO b/etc/TODO
index 53b456c733a..590cd350e0e 100644
--- a/etc/TODO
+++ b/etc/TODO
@@ -926,6 +926,12 @@ restore the redirection through funcall.
 
 *** Features to be improved or missing
 
+**** Make use of function type declaration
+
+The native compiler should make use of function type declarations (when
+available) to propagate parameter types inside the function for better
+value/type predictions.
+
 **** Fix portable dumping so that you can redump without using -batch
 
 ***** Redumps and native compiler "preloaded" sub-folder.