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
commit3d549ae3dd78eef40cebe4dd4dcc83a5793dab87 (patch)
tree53f458dfb11d651e541d450d90383b9aa693c7b0 /doc
parentdb48b359299336ff0457d260ed0c63a1c9ff47a4 (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}