changeset 1356:977901cb52cc

More detail on Especialize in the manual
author Adam Chlipala <adam@chlipala.net>
date Tue, 21 Dec 2010 14:01:27 -0500 (2010-12-21)
parents ccf1d445b794
children a0f0823a54a0
files doc/manual.tex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/doc/manual.tex	Tue Dec 21 13:57:12 2010 -0500
+++ b/doc/manual.tex	Tue Dec 21 14:01:27 2010 -0500
@@ -2229,7 +2229,7 @@
 
 \subsection{Especialize}
 
-Functions are specialized to particular argument patterns.  This is an important trick for avoiding the need to maintain any closures at runtime.
+Functions are specialized to particular argument patterns.  This is an important trick for avoiding the need to maintain any closures at runtime.  Currently, specialization only happens for prefixes of a function's full list of parameters, so you may need to take care to put arguments of function types before other arguments.  The optimizer will not be effective enough if you use arguments that mix functions and values that must be calculated at run-time.  For instance, a tuple of a function and an integer counter would not lead to successful code generation; these should be split into separate arguments via currying.
 
 \subsection{Untangle}