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 | 3d549ae3dd78eef40cebe4dd4dcc83a5793dab87 (patch) | |
tree | 53f458dfb11d651e541d450d90383b9aa693c7b0 /doc | |
parent | db48b359299336ff0457d260ed0c63a1c9ff47a4 (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} |