summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-07-16 04:06:11 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-07-16 04:06:11 -0400
commit63acfc44762cbbf3d8d957127a3c5eed3a399940 (patch)
tree53f458dfb11d651e541d450d90383b9aa693c7b0 /doc
parent0e31dda702cffe9c52a45b0443da549bc8ad00e6 (diff)
Default 'jsFunc' for less-safe FFI
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 97e5d2c0..65f6f95d 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -2552,6 +2552,8 @@ Now \texttt{foo} is available as a normal function. If called in server-side co
\item \texttt{jsFunc "putJsFuncNameHere"}
\end{itemize}
+When no \texttt{jsFunc} directive is present, the function is assumed to map to a JavaScript function of the same name, if used in a client-side context.
+
\section{Compiler Phases}