summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-21 14:01:27 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-21 14:01:27 -0500
commit330e061f6415d44e62a3bc7dd9fc1efe016ba2b3 (patch)
tree9b57f86f22e6223283f22e41552e3c70626391a0
parent2fef05f45b2ac9edb7883416a26065576aebc5db (diff)
More detail on Especialize in the manual
-rw-r--r--doc/manual.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index f517411d..c9920a66 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -2229,7 +2229,7 @@ Module system features are compiled away, through inlining of functor definition
\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}