diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-07-16 04:06:11 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-07-16 04:06:11 -0400 |
commit | 63acfc44762cbbf3d8d957127a3c5eed3a399940 (patch) | |
tree | 53f458dfb11d651e541d450d90383b9aa693c7b0 /doc | |
parent | 0e31dda702cffe9c52a45b0443da549bc8ad00e6 (diff) |
Default 'jsFunc' for less-safe FFI
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual.tex | 2 |
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} |