comparison doc/manual.tex @ 1995:057b08253a75

-explainEmbed
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Mar 2014 16:52:10 -0400
parents b15a4c2cb542
children 582ea3a4d622
comparison
equal deleted inserted replaced
1994:94529780bbcf 1995:057b08253a75
264 \end{verbatim} 264 \end{verbatim}
265 \end{itemize} 265 \end{itemize}
266 266
267 \item \texttt{-dumpSource}: When compilation fails, output to stderr the complete source code of the last intermediate program before the compilation phase that signaled the error. (Warning: these outputs can be very long and aren't especially optimized for readability!) 267 \item \texttt{-dumpSource}: When compilation fails, output to stderr the complete source code of the last intermediate program before the compilation phase that signaled the error. (Warning: these outputs can be very long and aren't especially optimized for readability!)
268 268
269 \item \texttt{-explainEmbed}: Trigger more verbose error messages about inability to embed server-side values in client-side code.
270
269 \item \texttt{-limit class num}: Equivalent to the \texttt{limit} directive from \texttt{.urp} files 271 \item \texttt{-limit class num}: Equivalent to the \texttt{limit} directive from \texttt{.urp} files
270 272
271 \item \texttt{-moduleOf FILENAME}: Prints the Ur/Web module name corresponding to source file \texttt{FILENAME}, exiting immediately afterward. 273 \item \texttt{-moduleOf FILENAME}: Prints the Ur/Web module name corresponding to source file \texttt{FILENAME}, exiting immediately afterward.
272 274
273 \item \texttt{-output FILENAME}: Set where the application executable is written. 275 \item \texttt{-output FILENAME}: Set where the application executable is written.