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

(cherry picked from commit e53f0f4869600f698e9d8c9527aaf5fba9ec1243)

diff --git a/etc/TODO b/etc/TODO
index 53b456c733a44e182abbb7702a04070998624227..590cd350e0e8cad6e41a2db138a2084d3c10ec20 100644 (file)
--- 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.