Mercurial > urweb
comparison doc/manual.tex @ 2305:9083b44bad0a
Short manual note on -sqlcache
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 20 Dec 2015 14:20:38 -0500 |
| parents | cf2abef213d8 |
| children |
comparison
equal
deleted
inserted
replaced
| 2304:6fb9232ade99 | 2305:9083b44bad0a |
|---|---|
| 354 \item \texttt{-stop PHASE}: Stop compilation after the named phase, printing the intermediate program to stderr. This flag is mainly useful for debugging the Ur/Web compiler itself. | 354 \item \texttt{-stop PHASE}: Stop compilation after the named phase, printing the intermediate program to stderr. This flag is mainly useful for debugging the Ur/Web compiler itself. |
| 355 \end{itemize} | 355 \end{itemize} |
| 356 | 356 |
| 357 There is an additional convenience method for invoking \texttt{urweb}. If the main argument is \texttt{FOO}, and \texttt{FOO.ur} exists but \texttt{FOO.urp} doesn't, then the invocation is interpreted as if called on a \texttt{.urp} file containing \texttt{FOO} as its only main entry, with an additional \texttt{rewrite all FOO/*} directive. | 357 There is an additional convenience method for invoking \texttt{urweb}. If the main argument is \texttt{FOO}, and \texttt{FOO.ur} exists but \texttt{FOO.urp} doesn't, then the invocation is interpreted as if called on a \texttt{.urp} file containing \texttt{FOO} as its only main entry, with an additional \texttt{rewrite all FOO/*} directive. |
| 358 | 358 |
| 359 There are also two experimental compiler extensions enabled with flags \texttt{-iflow} and \texttt{-sqlcache}. They are intentionally not documented further here, to indicate just how very experimental they are! | |
| 360 | |
| 359 \subsection{Tutorial Formatting} | 361 \subsection{Tutorial Formatting} |
| 360 | 362 |
| 361 The Ur/Web compiler also supports rendering of nice HTML tutorials from Ur source files, when invoked like \cd{urweb -tutorial DIR}. The directory \cd{DIR} is examined for files whose names end in \cd{.ur}. Every such file is translated into a \cd{.html} version. | 363 The Ur/Web compiler also supports rendering of nice HTML tutorials from Ur source files, when invoked like \cd{urweb -tutorial DIR}. The directory \cd{DIR} is examined for files whose names end in \cd{.ur}. Every such file is translated into a \cd{.html} version. |
| 362 | 364 |
| 363 These input files follow normal Ur syntax, with a few exceptions: | 365 These input files follow normal Ur syntax, with a few exceptions: |