[MLton-commit] r5931
Matthew Fluet
fluet at mlton.org
Wed Aug 22 21:47:56 PDT 2007
Fix various formatting anomalies with mlton-guide.pdf
----------------------------------------------------------------------
U mlton/trunk/doc/guide/BasisLibrary
U mlton/trunk/doc/guide/CommonSubexp
U mlton/trunk/doc/guide/CompileTimeOptions
U mlton/trunk/doc/guide/Credits
U mlton/trunk/doc/guide/Developers
U mlton/trunk/doc/guide/EmacsDefUseMode
U mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax
U mlton/trunk/doc/guide/Installation
U mlton/trunk/doc/guide/MLBasis
U mlton/trunk/doc/guide/MLBasisAnnotations
U mlton/trunk/doc/guide/MLBasisAvailableLibraries
U mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics
U mlton/trunk/doc/guide/MLtonArray
U mlton/trunk/doc/guide/MLtonCont
U mlton/trunk/doc/guide/MLtonExn
U mlton/trunk/doc/guide/MLtonFinalizable
U mlton/trunk/doc/guide/MLtonGC
U mlton/trunk/doc/guide/MLtonIO
U mlton/trunk/doc/guide/MLtonIntInf
U mlton/trunk/doc/guide/MLtonItimer
U mlton/trunk/doc/guide/MLtonMonoArray
U mlton/trunk/doc/guide/MLtonMonoVector
U mlton/trunk/doc/guide/MLtonPlatform
U mlton/trunk/doc/guide/MLtonPointer
U mlton/trunk/doc/guide/MLtonProcEnv
U mlton/trunk/doc/guide/MLtonProcess
U mlton/trunk/doc/guide/MLtonProfile
U mlton/trunk/doc/guide/MLtonRandom
U mlton/trunk/doc/guide/MLtonReal
U mlton/trunk/doc/guide/MLtonRlimit
U mlton/trunk/doc/guide/MLtonRusage
U mlton/trunk/doc/guide/MLtonSignal
U mlton/trunk/doc/guide/MLtonSocket
U mlton/trunk/doc/guide/MLtonStructure
U mlton/trunk/doc/guide/MLtonSyslog
U mlton/trunk/doc/guide/MLtonThread
U mlton/trunk/doc/guide/MLtonVector
U mlton/trunk/doc/guide/MLtonWeak
U mlton/trunk/doc/guide/MLtonWord
U mlton/trunk/doc/guide/MLtonWorld
U mlton/trunk/doc/guide/PageSize
U mlton/trunk/doc/guide/References
U mlton/trunk/doc/guide/RunTimeOptions
U mlton/trunk/doc/guide/SMLofNJStructure
U mlton/trunk/doc/guide/Stabilizers
U mlton/trunk/doc/guide/StandardMLGotchas
U mlton/trunk/doc/guide/SystemInfo
----------------------------------------------------------------------
Modified: mlton/trunk/doc/guide/BasisLibrary
===================================================================
--- mlton/trunk/doc/guide/BasisLibrary 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/BasisLibrary 2007-08-23 04:47:52 UTC (rev 5931)
@@ -212,12 +212,17 @@
<tt>structure Char: CHAR</tt>
</p>
- <ul>
+ <ul>
- <tt>Char</tt> characters correspond to ISO-8859-1. The <tt>Char</tt> functions do not depend on locale.
- </ul>
+ <li>
+<p>
+ <tt>Char</tt> characters correspond to ISO-8859-1. The <tt>Char</tt> functions do not depend on locale.
+</p>
+</li>
+ </ul>
+
<p>
<tt>structure CharArray: MONO_ARRAY</tt> <br>
<tt>structure CharArray2: MONO_ARRAY2</tt> <br>
@@ -228,12 +233,17 @@
<tt>structure Date: DATE</tt>
</p>
- <ul>
+ <ul>
- <tt>Date.fromString</tt> and <tt>Date.scan</tt> accept a space in addition to a zero for the first character of the day of the month. The Basis Library specification only allows a zero.
- </ul>
+ <li>
+<p>
+ <tt>Date.fromString</tt> and <tt>Date.scan</tt> accept a space in addition to a zero for the first character of the day of the month. The Basis Library specification only allows a zero.
+</p>
+</li>
+ </ul>
+
<p>
<tt>structure FixedInt: INTEGER</tt> <br>
<tt>structure General: GENERAL</tt> <br>
@@ -342,6 +352,8 @@
<ul>
+ <li>
+<p>
The Basis Library specification requires functions like <tt>Socket.sendVec</tt> to raise an exception if they fail. However, on some platforms, sending to a socket that hasn't yet been connected causes a <tt>SIGPIPE</tt> signal, which invokes the default signal handler for <tt>SIGPIPE</tt> and causes the program to terminate. If you want the exception to be raised, you can ignore <tt>SIGPIPE</tt> by adding the following to your program.
<pre class=code>
<B><FONT COLOR="#A020F0">let</FONT></B>
@@ -350,9 +362,9 @@
setHandler (Posix.Signal.pipe, Handler.ignore)
<B><FONT COLOR="#A020F0">end</FONT></B>
</PRE>
-<p>
</p>
+</li>
</ul>
@@ -361,12 +373,17 @@
<tt>structure String: STRING</tt>
</p>
- <ul>
+ <ul>
- The <tt>String</tt> functions do not depend on locale.
- </ul>
+ <li>
+<p>
+ The <tt>String</tt> functions do not depend on locale.
+</p>
+</li>
+ </ul>
+
<p>
<tt>structure StringCvt: STRING_CVT</tt> <br>
<tt>structure Substring: SUBSTRING</tt> <br>
@@ -421,9 +438,18 @@
<tt>PrimIO</tt> <br>
<tt>StreamIO</tt>
</p>
+
+ <ul>
+
+ <li>
<p>
-MLton's <tt>StreamIO</tt> functor takes structures <tt>ArraySlice</tt> and <tt>VectorSlice</tt> in addition to the arguments specified in the Basis Library specification.
+ MLton's <tt>StreamIO</tt> functor takes structures <tt>ArraySlice</tt> and <tt>VectorSlice</tt> in addition to the arguments specified in the Basis Library specification.
</p>
+</li>
+
+ </ul>
+
+
<h2 id="head-0ac17def4aced0cc961aa5b65385be04cfcf6eb5">Type equivalences</h2>
<p>
The following types are equivalent.
@@ -453,5 +479,5 @@
<p>
<hr>
-Last edited on 2007-08-10 20:43:41 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-23 03:19:17 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CommonSubexp
===================================================================
--- mlton/trunk/doc/guide/CommonSubexp 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/CommonSubexp 2007-08-23 04:47:52 UTC (rev 5931)
@@ -114,21 +114,16 @@
val k = (l + n) + ((l + m) handle Overflow => ((l + m)
handle Overflow => l + n))
-</pre> is rewritten so that <tt>(n + m)</tt> is computed exactly once, as
+</pre> is rewritten so that <tt>(n + m)</tt> is computed exactly once, as are <tt>(l + n)</tt> and <tt>(l + m)</tt>.
</p>
</li>
+</ul>
- </ul>
-
-
-<p>
-are <tt>(l + n)</tt> and <tt>(l + m)</tt>.
-</p>
</div>
<p>
<hr>
-Last edited on 2006-11-02 17:30:50 by <span title="76.16.241.4"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-23 03:59:21 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CompileTimeOptions
===================================================================
--- mlton/trunk/doc/guide/CompileTimeOptions 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/CompileTimeOptions 2007-08-23 04:47:52 UTC (rev 5931)
@@ -64,474 +64,302 @@
<li>
<p>
- <tt>-align {4|8}</tt>
+ <tt>-align {4|8}</tt> <br>
+Aligns object sizes and doubles in memory by the specified alignment. The default varies depending on architecture.
</p>
</li>
-
- <ul>
-
- Aligns object sizes and doubles in memory by the specified alignment. The default varies depending on architecture.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-as-opt </tt><em>option</em>
+ <tt>-as-opt </tt><em>option</em> <br>
+Pass <em>option</em> to <tt>gcc</tt> when assembling.
</p>
</li>
-
- <ul>
-
- Pass <em>option</em> to <tt>gcc</tt> when assembling.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-cc-opt </tt><em>option</em>
+ <tt>-cc-opt </tt><em>option</em> <br>
+Pass <em>option</em> to <tt>gcc</tt> when compiling C code.
</p>
</li>
-
- <ul>
-
- Pass <em>option</em> to <tt>gcc</tt> when compiling C code.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-codegen {native|x86|amd64|c|bytecode}</tt>
+ <tt>-codegen {native|x86|amd64|c|bytecode}</tt> <br>
+Generate native code, byte code, or C code. With <tt>-codegen native</tt> (<tt>-codegen x86</tt> or <tt>-codegen amd64</tt>), MLton typically compiles more quickly and generates better code.
</p>
</li>
-
- <ul>
-
- Generate native code, byte code, or C code. With <tt>-codegen native</tt> (<tt>-codegen x86</tt> or <tt>-codegen amd64</tt>), MLton typically compiles more quickly and generates better code.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-const '</tt><em>name</em><tt> </tt><em>value</em><tt>'</tt>
+ <tt>-const '</tt><em>name</em><tt> </tt><em>value</em><tt>'</tt> <br>
+Set the value of a compile-time constant. Here is a list of available constants, their default values, and what they control.
</p>
</li>
- <ul>
-
- Set the value of a compile-time constant. Here is a list of available constants, their default values, and what they control.
- </ul>
-
-
-
<ul>
<li>
<p>
- <tt>Exn.keepHistory {false|true}</tt>
+ <tt>Exn.keepHistory {false|true}</tt> <br>
+Enable <tt>MLton.Exn.history</tt>. See <a href="MLtonExn">MLtonExn</a> for details. There is a performance cost to setting this to <tt>true</tt>, both in memory usage of exceptions and in run time, because of additional work that must be performed at each exception construction, raise, and handle.
</p>
</li>
- <ul>
-
- Enable <tt>MLton.Exn.history</tt>. See <a href="MLtonExn">MLtonExn</a> for details. There is a performance cost to setting this to <tt>true</tt>, both in memory usage of exceptions and in run time, because of additional work that must be performed at each exception construction, raise, and handle.
- </ul>
-
-
-
</ul>
<li class="gap">
<p>
- <tt>-default-ann </tt><em>ann</em>
+ <tt>-default-ann </tt><em>ann</em> <br>
+Specify default <a href="MLBasisAnnotations">ML Basis annotations</a>. For example, <tt>-default-ann 'warnUnused true'</tt> causes unused variable warnings to be enabled by default. A default is overridden by the corresponding annotation in an ML Basis file.
</p>
</li>
-
- <ul>
-
- Specify default <a href="MLBasisAnnotations">ML Basis annotations</a>. For example, <tt>-default-ann 'warnUnused true'</tt> causes unused variable warnings to be enabled by default. A default is overridden by the corresponding annotation in an ML Basis file.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-default-type </tt><em>type</em>
+ <tt>-default-type </tt><em>type</em> <br>
+Specify the default binding for a primitive type. For example, <tt>-default-type word64</tt> causes the top-level type <tt>word</tt> and the top-level structure <tt>Word</tt> in the <a href="BasisLibrary">Basis Library</a> to be equal to <tt>Word64.word</tt> and <tt>Word64:WORD</tt>, respectively. Similarly, <tt>-default-type intinf</tt> causes the top-level type <tt>int</tt> and the top-level structure <tt>Int</tt> in the <a href="BasisLibrary">Basis Library</a> to be equal to <tt>IntInf.int</tt> and <tt>IntInf:INTEGER</tt>, respectively.
</p>
</li>
-
- <ul>
-
- Specify the default binding for a primitive type. For example, <tt>-default-type word64</tt> causes the top-level type <tt>word</tt> and the top-level structure <tt>Word</tt> in the <a href="BasisLibrary">Basis Library</a> to be equal to <tt>Word64.word</tt> and <tt>Word64:WORD</tt>, respectively. Similarly, <tt>-default-type intinf</tt> causes the top-level type <tt>int</tt> and the top-level structure <tt>Int</tt> in the <a href="BasisLibrary">Basis Library</a> to be equal to <tt>IntInf.int</tt> and <tt>IntInf:INTEGER</tt>, respectively.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-disable-ann </tt><em>ann</em>
-</p>
-</li>
-
- <ul>
-
- Ignore the specified <a href="MLBasisAnnotations">ML Basis annotation</a> in every ML Basis file. For example, to see <em>all</em> match and unused warnings, compile with
+ <tt>-disable-ann </tt><em>ann</em> <br>
+Ignore the specified <a href="MLBasisAnnotations">ML Basis annotation</a> in every ML Basis file. For example, to see <em>all</em> match and unused warnings, compile with
<pre>-default-ann 'warnUnused true'
-disable-ann forceUsed
-disable-ann nonexhaustiveMatch
-disable-ann redundantMatch
-disable-ann warnUnused
</pre>
- </ul>
-
-
- <li class="gap">
-<p>
- <tt>-export-header </tt><em>file</em>
</p>
</li>
-
- <ul>
-
- Write C prototypes to <em>file</em> for all of the functions in the program <a href="CallingFromCToSML">exported from SML to C</a>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-ieee-fp </tt>{false|true}
+ <tt>-export-header </tt><em>file</em> <br>
+Write C prototypes to <em>file</em> for all of the functions in the program <a href="CallingFromCToSML">exported from SML to C</a>.
</p>
</li>
-
- <ul>
-
- Cause the native code generator to be pedantic about following the IEEE floating point standard. By default, it is not, because of the performance cost. This only has an effect with <tt>-codegen x86</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-inline </tt><em>n</em>
+ <tt>-ieee-fp </tt>{false|true} <br>
+Cause the native code generator to be pedantic about following the IEEE floating point standard. By default, it is not, because of the performance cost. This only has an effect with <tt>-codegen x86</tt>.
</p>
</li>
-
- <ul>
-
- Set the inlining threshold used in the optimizer. The threshold is an approximate measure of code size of a procedure. The default is <tt>320</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-keep {g|o|sml}</tt>
+ <tt>-inline </tt><em>n</em> <br>
+Set the inlining threshold used in the optimizer. The threshold is an approximate measure of code size of a procedure. The default is <tt>320</tt>.
</p>
</li>
-
- <ul>
-
- Save intermediate files. If no <tt>-keep</tt> argument is given, then only the output file is saved.
+ <li class="gap">
+<p>
+ <tt>-keep {g|o|sml}</tt> <br>
+Save intermediate files. If no <tt>-keep</tt> argument is given, then only the output file is saved.
<div>
<table>
- <tr>
+ <tr>
<td>
<tt>g</tt> </td>
<td>
generated <tt>.S</tt> and <tt>.c</tt> files passed to gcc and the assembler </td>
</tr>
- <tr>
+ <tr>
<td>
<tt>o</tt> </td>
<td>
object (<tt>.o</tt>) files </td>
</tr>
- <tr>
+ <tr>
<td>
<tt>sml</tt> </td>
<td>
SML file </td>
</tr>
+
+</p>
</table>
</div>
-
- </ul>
-
-
+</li>
<li class="gap">
<p>
- <tt>-link-opt </tt><em>option</em>
+ <tt>-link-opt </tt><em>option</em> <br>
+Pass <em>option</em> to <tt>gcc</tt> when linking. You can use this to specify library search paths, e.g. <tt>-link-opt -Lpath</tt>, and libraries to link with, e.g. <tt>-link-opt -lfoo</tt>, or even both at the same time, e.g. <tt>-link-opt '-Lpath -lfoo'</tt>. If you wish to pass an option to the linker, you must use <tt>gcc</tt>'s <tt>-Wl,</tt> syntax, e.g., <tt>-link-opt '-Wl,--export-dynamic'</tt>.
</p>
</li>
-
- <ul>
-
- Pass <em>option</em> to <tt>gcc</tt> when linking. You can use this to specify library search paths, e.g. <tt>-link-opt -Lpath</tt>, and libraries to link with, e.g. <tt>-link-opt -lfoo</tt>, or even both at the same time, e.g. <tt>-link-opt '-Lpath -lfoo'</tt>. If you wish to pass an option to the linker, you must use <tt>gcc</tt>'s <tt>-Wl,</tt> syntax, e.g., <tt>-link-opt '-Wl,--export-dynamic'</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-mlb-path-map </tt><em>file</em>
+ <tt>-mlb-path-map </tt><em>file</em> <br>
+Use <em>file</em> as an <a href="MLBasisPathMap">ML Basis path map</a> to define additional MLB path variables. Multiple uses of <tt>-mlb-path-map</tt> are allowed, with variable definitions in later path maps taking precedence over earlier ones.
</p>
</li>
-
- <ul>
-
- Use <em>file</em> as an <a href="MLBasisPathMap">ML Basis path map</a> to define additional MLB path variables. Multiple uses of <tt>-mlb-path-map</tt> are allowed, with variable definitions in later path maps taking precedence over earlier ones.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-output </tt><em>file</em>
+ <tt>-output </tt><em>file</em> <br>
+Specify the name of the final output file. The default name is the input file name with its suffix removed and an appropriate, possibly empty, suffix added.
</p>
</li>
-
- <ul>
-
- Specify the name of the final output file. The default name is the input file name with its suffix removed and an appropriate, possibly empty, suffix added.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-profile {no|alloc|count|time}</tt>
+ <tt>-profile {no|alloc|count|time}</tt> <br>
+Produce an executable that gathers <a href="Profiling">Profiling</a> data. When such an executable is run, it produces an <tt>mlmon.out</tt> file.
</p>
</li>
-
- <ul>
-
- Produce an executable that gathers <a href="Profiling">Profiling</a> data. When such an executable is run, it produces an <tt>mlmon.out</tt> file.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-profile-branch {false|true}</tt>
+ <tt>-profile-branch {false|true}</tt> <br>
+If true, the profiler will separately gather profiling data for each branch of a function definition, <tt>case</tt> expression, and <tt>if</tt> expression.
</p>
</li>
-
- <ul>
-
- If true, the profiler will separately gather profiling data for each branch of a function definition, <tt>case</tt> expression, and <tt>if</tt> expression.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-profile-stack {false|true}</tt>
+ <tt>-profile-stack {false|true}</tt> <br>
+If <tt>true</tt>, the executable will gather profiling data for all functions on the stack, not just the currently executing function. See <a href="ProfilingTheStack">ProfilingTheStack</a>.
</p>
</li>
-
- <ul>
-
- If <tt>true</tt>, the executable will gather profiling data for all functions on the stack, not just the currently executing function. See <a href="ProfilingTheStack">ProfilingTheStack</a>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-profile-val {false|true}</tt>
+ <tt>-profile-val {false|true}</tt> <br>
+If <tt>true</tt>, the profiler will separately gather profiling data for each (expansive) <tt>val</tt> declaration.
</p>
</li>
-
- <ul>
-
- If <tt>true</tt>, the profiler will separately gather profiling data for each (expansive) <tt>val</tt> declaration.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-runtime </tt><em>arg</em>
+ <tt>-runtime </tt><em>arg</em> <br>
+Pass argument to the runtime system via <tt>@MLton</tt>. See <a href="RunTimeOptions">RunTimeOptions</a>. The argument will be processed before other <tt>@MLton</tt> command line switches. Multiple uses of <tt>-runtime</tt> are allowed, and will pass all the arguments in order. If the same runtime switch occurs more than once, then the last setting will take effect. There is no need to supply the leading <tt>@MLton</tt> or the trailing <tt>--</tt>; these will be supplied automatically.
</p>
-</li>
-
- <ul>
-
- Pass argument to the runtime system via <tt>@MLton</tt>. See <a href="RunTimeOptions">RunTimeOptions</a>. The argument will be processed before other <tt>@MLton</tt> command line switches. Multiple uses of <tt>-runtime</tt> are allowed, and will pass all the arguments in order. If the same runtime switch occurs more than once, then the last setting will take effect. There is no need to supply the leading <tt>@MLton</tt> or the trailing <tt>--</tt>; these will be supplied automatically. <p>
- An argument to <tt>-runtime</tt> may contain spaces, which will cause the argument to be treated as a sequence of words by the runtime. For example the command line:
+<p>
+ An argument to <tt>-runtime</tt> may contain spaces, which will cause the argument to be treated as a sequence of words by the runtime. For example the command line:
</p>
-
+
<pre>mlton -runtime 'ram-slop 0.4' foo.sml</pre><p>
- will cause <tt>foo</tt> to run as if it had been called like:
+ will cause <tt>foo</tt> to run as if it had been called like:
</p>
-
+
<pre>foo @MLton ram-slop 0.4 --</pre><p>
- An executable created with <tt>-runtime stop</tt> doesn't process any <tt>@MLton</tt> arguments. This is useful to create an executable, e.g. <tt>echo</tt>, that must treat <tt>@MLton</tt> like any other command-line argument.
+ An executable created with <tt>-runtime stop</tt> doesn't process any <tt>@MLton</tt> arguments. This is useful to create an executable, e.g. <tt>echo</tt>, that must treat <tt>@MLton</tt> like any other command-line argument.
</p>
-
+
<pre>% mlton -runtime stop echo.sml
% echo @MLton --
- at MLton --</pre>
- </ul>
-
-
+ at MLton --</pre></li>
<li class="gap">
<p>
- <tt>-show-basis </tt><em>file</em>
+ <tt>-show-basis </tt><em>file</em> <br>
+Pretty print to <em>file</em> the basis defined by the input program. See <a href="ShowBasis">ShowBasis</a>.
</p>
</li>
-
- <ul>
-
- Pretty print to <em>file</em> the basis defined by the input program. See <a href="ShowBasis">ShowBasis</a>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-show-def-use </tt><em>file</em>
+ <tt>-show-def-use </tt><em>file</em> <br>
+Output def-use information to <em>file</em>. Each identifier that is defined appears on a line, followed on subsequent lines by the position of each use.
</p>
</li>
-
- <ul>
-
- Output def-use information to <em>file</em>. Each identifier that is defined appears on a line, followed on subsequent lines by the position of each use.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-stop {f|g|o|sml|tc}</tt>
-</p>
-</li>
-
- <ul>
-
- Specify when to stop.
+ <tt>-stop {f|g|o|sml|tc}</tt> <br>
+Specify when to stop.
<div>
<table>
- <tr>
+ <tr>
<td>
<tt>f</tt> </td>
<td>
list of files on stdout (only makes sense when input is <tt>foo.cm</tt> or <tt>foo.mlb</tt>) </td>
</tr>
- <tr>
+ <tr>
<td>
<tt>g</tt> </td>
<td>
generated <tt>.S</tt> and <tt>.c</tt> files </td>
</tr>
- <tr>
+ <tr>
<td>
<tt>o</tt> </td>
<td>
object (<tt>.o</tt>) files </td>
</tr>
- <tr>
+ <tr>
<td>
<tt>sml</tt> </td>
<td>
SML file (only makes sense when input is <tt>foo.cm</tt> or <tt>foo.mlb</tt>) </td>
</tr>
- <tr>
+ <tr>
<td>
<tt>tc</tt> </td>
<td>
after type checking </td>
</tr>
+
+</p>
</table>
</div>
<p>
- If you compile with <tt>-stop g</tt> or <tt>-stop o</tt>, you can resume compilation by running MLton on the generated <tt>.c</tt> and <tt>.S</tt> or <tt>.o</tt> files.
+ If you compile with <tt>-stop g</tt> or <tt>-stop o</tt>, you can resume compilation by running MLton on the generated <tt>.c</tt> and <tt>.S</tt> or <tt>.o</tt> files.
</p>
-
- </ul>
-
-
+</li>
<li class="gap">
<p>
- <tt>-target {self|</tt><em>...</em><tt>}</tt>
+ <tt>-target {self|</tt><em>...</em><tt>}</tt> <br>
+Generate an executable that runs on the specified platform. The default is <tt>self</tt>, which means to compile for the machine that MLton is running on. To use any other target, you must first install a <a href="CrossCompiling"> cross compiler</a>.
</p>
</li>
-
- <ul>
-
- Generate an executable that runs on the specified platform. The default is <tt>self</tt>, which means to compile for the machine that MLton is running on. To use any other target, you must first install a <a href="CrossCompiling"> cross compiler</a>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-target-as-opt </tt><em>target</em><tt> </tt><em>option</em>
+ <tt>-target-as-opt </tt><em>target</em><tt> </tt><em>option</em> <br>
+Like <tt>-as-opt</tt>, this passes <em>option</em> to <tt>gcc</tt> when assembling, except it only passes <em>option</em> when the target architecture or operating system is <em>target</em>. Valid values for <em>target</em> are: <tt>amd64</tt>, <tt>hppa</tt>, <tt>powerpc</tt>, <tt>sparc</tt>, <tt>x86</tt>, <tt>cygwin</tt>, <tt>darwin</tt>, <tt>freebsd</tt>, <tt>hpux</tt>, <tt>linux</tt>, <tt>mingw</tt>, <tt>netbsd</tt>, <tt>openbsd</tt>, <tt>solaris</tt>.
</p>
</li>
-
- <ul>
-
- Like <tt>-as-opt</tt>, this passes <em>option</em> to <tt>gcc</tt> when assembling, except it only passes <em>option</em> when the target architecture or operating system is <em>target</em>. Valid values for <em>target</em> are: <tt>amd64</tt>, <tt>hppa</tt>, <tt>powerpc</tt>, <tt>sparc</tt>, <tt>x86</tt>, <tt>cygwin</tt>, <tt>darwin</tt>, <tt>freebsd</tt>, <tt>hpux</tt>, <tt>linux</tt>, <tt>mingw</tt>, <tt>netbsd</tt>, <tt>openbsd</tt>, <tt>solaris</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-target-cc-opt </tt><em>target</em><tt> </tt><em>option</em>
+ <tt>-target-cc-opt </tt><em>target</em><tt> </tt><em>option</em> <br>
+Like <tt>-cc-opt</tt>, this passes <em>option</em> to <tt>gcc</tt> when compiling C code, except it only passes <em>option</em> when the target architecture or operating system is <em>target</em>. Valid values for <em>target</em> are as for <tt>-target-as-opt</tt>.
</p>
</li>
-
- <ul>
-
- Like <tt>-cc-opt</tt>, this passes <em>option</em> to <tt>gcc</tt> when compiling C code, except it only passes <em>option</em> when the target architecture or operating system is <em>target</em>. Valid values for <em>target</em> are as for <tt>-target-as-opt</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-target-link-opt </tt><em>target</em><tt> </tt><em>option</em>
+ <tt>-target-link-opt </tt><em>target</em><tt> </tt><em>option</em> <br>
+Like <tt>-link-opt</tt>, this passes <em>option</em> to <tt>gcc</tt> when linking, except it only passes <em>option</em> when the target architecture or operating system is <em>target</em>. Valid values for <em>target</em> are as for <tt>-target-as-opt</tt>.
</p>
</li>
-
- <ul>
-
- Like <tt>-link-opt</tt>, this passes <em>option</em> to <tt>gcc</tt> when linking, except it only passes <em>option</em> when the target architecture or operating system is <em>target</em>. Valid values for <em>target</em> are as for <tt>-target-as-opt</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>-verbose {0|1|2|3}</tt>
-</p>
-</li>
-
- <ul>
-
- How verbose to be about what passes are running. The default is <tt>0</tt>.
+ <tt>-verbose {0|1|2|3}</tt> <br>
+How verbose to be about what passes are running. The default is <tt>0</tt>.
<div>
<table>
- <tr>
+ <tr>
<td>
<tt>0</tt> </td>
<td>
silent </td>
</tr>
- <tr>
+ <tr>
<td>
<tt>1</tt> </td>
<td>
calls to compiler, assembler, and linker </td>
</tr>
- <tr>
+ <tr>
<td>
<tt>2</tt> </td>
<td>
1, plus intermediate compiler passes </td>
</tr>
- <tr>
+ <tr>
<td>
<tt>3</tt> </td>
<td>
2, plus some data structure sizes </td>
</tr>
+
+</p>
</table>
</div>
+</li>
</ul>
-</ul>
-
</div>
<p>
<hr>
-Last edited on 2007-08-13 18:53:50 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-23 04:01:06 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Credits
===================================================================
--- mlton/trunk/doc/guide/Credits 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/Credits 2007-08-23 04:47:52 UTC (rev 5931)
@@ -115,7 +115,7 @@
</li>
<li class="gap">
<p>
- Adam Goode provided the script to build the PDF MLton Guide.
+ <a href="AdamGoode">AdamGoode</a> provided the script to build the PDF MLton Guide.
</p>
</li>
<li class="gap">
@@ -150,7 +150,7 @@
</li>
<li class="gap">
<p>
- Eric Mc<strong></strong>Corkle ported MLton to Intel Mac.
+ Eric McCorkle ported MLton to Intel Mac.
</p>
</li>
<li class="gap">
@@ -261,5 +261,5 @@
<p>
<hr>
-Last edited on 2007-07-08 22:13:13 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-23 04:04:00 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Developers
===================================================================
--- mlton/trunk/doc/guide/Developers 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/Developers 2007-08-23 04:47:52 UTC (rev 5931)
@@ -107,6 +107,11 @@
<a href="WesleyTerpstra">WesleyTerpstra</a>
</p>
</li>
+ <li>
+<p>
+ <a href="VesaKarvonen">VesaKarvonen</a>
+</p>
+</li>
</ul>
</div>
@@ -115,5 +120,5 @@
<p>
<hr>
-Last edited on 2005-12-01 03:45:09 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-23 04:24:19 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/EmacsDefUseMode
===================================================================
--- mlton/trunk/doc/guide/EmacsDefUseMode 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/EmacsDefUseMode 2007-08-23 04:47:52 UTC (rev 5931)
@@ -144,7 +144,7 @@
Finally, one needs to tell the mode where to find the def-use information. This is done with the <tt>esml-du-mlton</tt> command. The esml-du package can also load recently used def-use files automatically at startup.
</p>
<p>
-After doing all of the above, find a SML file covered by the def-use information, and place the cursor at some variable (definition or use, it doesn't matter).
+After doing all of the above, find an SML file covered by the def-use information, and place the cursor at some variable (definition or use, it doesn't matter).
</p>
</div>
@@ -152,5 +152,5 @@
<p>
<hr>
-Last edited on 2007-07-07 04:10:58 by <span title="cs27019070.pp.htv.fi"><a href="VesaKarvonen">VesaKarvonen</a></span>.
+Last edited on 2007-08-23 04:24:24 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax
===================================================================
--- mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax 2007-08-23 04:47:52 UTC (rev 5931)
@@ -144,7 +144,7 @@
<pre>_import * attr... : cPtrTy -> cFuncTy;
</pre><p>
-Denotes a SML function whose behavior is implemented by calling a C function through a C function pointer.
+Denotes an SML function whose behavior is implemented by calling a C function through a C function pointer.
</p>
<p>
<tt>attr...</tt> denotes a (possibly empty) sequence of attributes.
@@ -204,5 +204,5 @@
<p>
<hr>
-Last edited on 2005-12-01 04:25:23 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-23 04:24:43 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Installation
===================================================================
--- mlton/trunk/doc/guide/Installation 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/Installation 2007-08-23 04:47:52 UTC (rev 5931)
@@ -66,101 +66,53 @@
<li>
<p>
- <tt>/usr/bin/mllex</tt>
+ <tt>/usr/bin/mllex</tt> <br>
+The <a class="nonexistent" href="MLLex">MLLex</a> lexer generator.
</p>
</li>
-
- <ul>
-
- The <a class="nonexistent" href="MLLex">MLLex</a> lexer generator.
- </ul>
-
-
<li class="gap">
<p>
- <tt>/usr/bin/mlnlffigen</tt>
+ <tt>/usr/bin/mlnlffigen</tt> <br>
+The <a href="MLNLFFI">ML-NLFFI</a> tool.
</p>
</li>
-
- <ul>
-
- The <a href="MLNLFFI">ML-NLFFI</a> tool.
- </ul>
-
-
<li class="gap">
<p>
- <tt>/usr/bin/mlprof</tt>
+ <tt>/usr/bin/mlprof</tt> <br>
+A <a href="Profiling">Profiling</a> tool.
</p>
</li>
-
- <ul>
-
- A <a href="Profiling">Profiling</a> tool.
- </ul>
-
-
<li class="gap">
<p>
- <tt>/usr/bin/mlton</tt>
+ <tt>/usr/bin/mlton</tt> <br>
+A script to call the compiler. This script may be moved anywhere, however, it makes use of files in <tt>/usr/lib/mlton</tt>.
</p>
</li>
-
- <ul>
-
- A script to call the compiler. This script may be moved anywhere, however, it makes use of files in <tt>/usr/lib/mlton</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>/usr/bin/mlyacc</tt>
+ <tt>/usr/bin/mlyacc</tt> <br>
+The <a class="nonexistent" href="MLYacc">MLYacc</a> parser generator.
</p>
</li>
-
- <ul>
-
- The <a class="nonexistent" href="MLYacc">MLYacc</a> parser generator.
- </ul>
-
-
<li class="gap">
<p>
- <tt>/usr/lib/mlton</tt>
+ <tt>/usr/lib/mlton</tt> <br>
+Directory containing libraries and include files needed during compilation.
</p>
</li>
-
- <ul>
-
- Directory containing libraries and include files needed during compilation.
- </ul>
-
-
<li class="gap">
<p>
- <tt>/usr/share/man/man1/mllex.1</tt>, <tt>mlnlffigen.1</tt>, <tt>mlprof.1</tt>, <tt>mlton.1</tt>, <tt>mlyacc.1</tt>
+ <tt>/usr/share/man/man1/mllex.1</tt>, <tt>mlnlffigen.1</tt>, <tt>mlprof.1</tt>, <tt>mlton.1</tt>, <tt>mlyacc.1</tt> <br>
+Man pages.
</p>
</li>
-
- <ul>
-
- Man pages.
- </ul>
-
-
<li class="gap">
<p>
- <tt>/usr/share/doc/mlton</tt>
+ <tt>/usr/share/doc/mlton</tt> <br>
+Directory containing the user guide for MLton, mllex, and mlyacc, as well as example SML programs (in the <tt>examples</tt> dir), and license information.
</p>
</li>
- <ul>
-
- Directory containing the user guide for MLton, mllex, and mlyacc, as well as example SML programs (in the <tt>examples</tt> dir), and license information.
- </ul>
-
-
-
</ul>
@@ -182,5 +134,5 @@
<p>
<hr>
-Last edited on 2005-12-08 16:14:00 by <span title="ppp-71-139-181-150.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-23 04:13:31 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLBasis
===================================================================
--- mlton/trunk/doc/guide/MLBasis 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLBasis 2007-08-23 04:47:52 UTC (rev 5931)
@@ -72,7 +72,7 @@
</li>
<li class="gap">
<p>
-Implicit dependencies: A source file (corresponding to a SML top-level declaration) is elaborated in the environment described by preceding declarations. It is not necessary to explicitly list the dependencies of a file.
+Implicit dependencies: A source file (corresponding to an SML top-level declaration) is elaborated in the environment described by preceding declarations. It is not necessary to explicitly list the dependencies of a file.
</p>
</li>
<li class="gap">
@@ -126,5 +126,5 @@
<p>
<hr>
-Last edited on 2007-08-15 22:06:43 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-23 04:24:53 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLBasisAnnotations
===================================================================
--- mlton/trunk/doc/guide/MLBasisAnnotations 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLBasisAnnotations 2007-08-23 04:47:52 UTC (rev 5931)
@@ -67,76 +67,55 @@
<p>
Here are the available annotations. In the explanation below, for annotations that take an argument, the first value listed is the default.
</p>
-<p>
-<tt>allowFFI {false|true} </tt>
-</p>
- <ul>
+ <ul>
- If <tt>true</tt>, allow <tt>_address</tt>, <tt>_export</tt>, <tt>_import</tt>, and <tt>_symbol</tt> expressions to appear in source files. See <a href="ForeignFunctionInterface">ForeignFunctionInterface</a>.
- </ul>
-
-
+ <li>
<p>
-<tt>forceUsed </tt>
+ <tt>allowFFI {false|true} </tt> <br>
+If <tt>true</tt>, allow <tt>_address</tt>, <tt>_export</tt>, <tt>_import</tt>, and <tt>_symbol</tt> expressions to appear in source files. See <a href="ForeignFunctionInterface">ForeignFunctionInterface</a>.
</p>
-
- <ul>
-
- Force all identifiers in the basis denoted by the body of the <tt>ann</tt> to be considered used; use in conjunction with <tt>warnUnused true</tt>.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>nonexhaustiveExnMatch {default|ignore} </tt>
+ <tt>forceUsed </tt> <br>
+Force all identifiers in the basis denoted by the body of the <tt>ann</tt> to be considered used; use in conjunction with {{warnUnused true}}}.
</p>
-
- <ul>
-
- If <tt>ignore</tt>, suppress errors and warnings about nonexhaustive matches that arise solely from unmatched exceptions. If <tt>default</tt>, follow the behavior of <tt>nonexhaustiveMatch</tt>.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>nonexhaustiveMatch {warn|error|ignore} </tt>
+ <tt>nonexhaustiveExnMatch {default|ignore} </tt> <br>
+If <tt>ignore</tt>, suppress errors and warnings about nonexhaustive matches that arise solely from unmatched exceptions. If <tt>default</tt>, follow the behavior of <tt>nonexhaustiveMatch</tt>.
</p>
-
- <ul>
-
- If <tt>error</tt> or <tt>warn</tt>, report nonexhaustive matches. An error will abort a compile, while a warning will not.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>redundantMatch {warn|error|ignore} </tt>
+ <tt>nonexhaustiveMatch {warn|error|ignore} </tt> <br>
+If <tt>error</tt> or <tt>warn</tt>, report nonexhaustive matches. An error will abort a compile, while a warning will not.
</p>
-
- <ul>
-
- If <tt>error</tt> or <tt>warn</tt>, report redundant matches. An error will abort a compile, while a warning will not.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>sequenceNonUnit {ignore|error|warn} </tt>
+ <tt>redundantMatch {warn|error|ignore} </tt> <br>
+If <tt>error</tt> or <tt>warn</tt>, report redundant matches. An error will abort a compile, while a warning will not.
</p>
-
- <ul>
-
- If <tt>error</tt> or <tt>warn</tt>, report when <tt>e1</tt> is not of type <tt>unit</tt> in the sequence expression <tt>(e1; e2)</tt>. This can be helpful in detecting curried applications that are mistakenly not fully applied. To silence spurious messages, you can use <tt>ignore e1</tt>.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>warnUnused {false|true} </tt>
+ <tt>sequenceNonUnit {ignore|error|warn} </tt> <br>
+If <tt>error</tt> or <tt>warn</tt>, report when <tt>e1</tt> is not of type <tt>unit</tt> in the sequence expression <tt>(e1; e2)</tt>. This can be helpful in detecting curried applications that are mistakenly not hully applied. To silence spurious messages, you can use <tt>ignore e1</tt>.
</p>
+</li>
+ <li class="gap">
+<p>
+ <tt>warnUnused {false|true} </tt> <br>
+Report unused identifiers.
+</p>
+</li>
- <ul>
+ </ul>
- Report unused identifiers.
- </ul>
-
<h2 id="head-3f170caead65df254d786032a409a6f6d204bca6">Next Steps</h2>
<ul>
@@ -154,5 +133,5 @@
<p>
<hr>
-Last edited on 2005-12-01 19:50:46 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-23 04:20:38 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLBasisAvailableLibraries
===================================================================
--- mlton/trunk/doc/guide/MLBasisAvailableLibraries 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLBasisAvailableLibraries 2007-08-23 04:47:52 UTC (rev 5931)
@@ -55,183 +55,129 @@
</table>
<div id="content" lang="en" dir="ltr">
-MLton comes with the following <a href="MLBasis">ML Basis</a> files available. <p>
-<tt>$(SML_LIB)/basis/basis.mlb</tt>
-</p>
+MLton comes with the following <a href="MLBasis">ML Basis</a> files available.
+ <ul>
- <ul>
-
- The <a href="BasisLibrary">Basis Library</a>.
- </ul>
-
-
+ <li>
<p>
-<tt>$(SML_LIB)/basis/basis-1997.mlb</tt>
+ <tt>$(SML_LIB)/basis/basis.mlb</tt> <br>
+The <a href="BasisLibrary">Basis Library</a>.
</p>
-
- <ul>
-
- The (deprecated) 1997 version of the <a href="BasisLibrary">Basis Library</a>.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/basis/mlton.mlb</tt>
+ <tt>$(SML_LIB)/basis/basis-1997.mlb</tt> <br>
+The (deprecated) 1997 version of the <a href="BasisLibrary">Basis Library</a>.
</p>
-
- <ul>
-
- The <a href="MLtonStructure">MLton</a> structure and signatures.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/basis/sml-nj.mlb</tt>
+ <tt>$(SML_LIB)/basis/mlton.mlb</tt> <br>
+The <a href="MLtonStructure">MLton</a> structure and signatures.
</p>
-
- <ul>
-
- The <a href="SMLofNJStructure">SMLofNJ</a> structure and signature.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/basis/unsafe.mlb</tt>
+ <tt>$(SML_LIB)/basis/sml-nj.mlb</tt> <br>
+The <a href="SMLofNJStructure">SMLofNJ</a> structure and signature.
</p>
-
- <ul>
-
- The <a href="UnsafeStructure">Unsafe</a> structure and signature.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb</tt>
+ <tt>$(SML_LIB)/basis/unsafe.mlb</tt> <br>
+The <a href="UnsafeStructure">Unsafe</a> structure and signature.
</p>
-
- <ul>
-
- Modules used by parsers built with <a class="nonexistent" href="MLYacc">MLYacc</a>.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/cml/cml.mlb</tt>
+ <tt>$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb</tt> <br>
+Modules used by parsers built with <a class="nonexistent" href="MLYacc">MLYacc</a>.
</p>
-
- <ul>
-
- <a href="ConcurrentML">ConcurrentML</a>, a library for message-passing concurrency.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/mlnlffi-lib/mlnlffi-lib.mlb</tt>
+ <tt>$(SML_LIB)/cml/cml.mlb</tt> <br>
+<a href="ConcurrentML">ConcurrentML</a>, a library for message-passing concurrency.
</p>
-
- <ul>
-
- <a href="MLNLFFI">ML-NLFFI</a>, a library for foreign function interfaces.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/smlnj-lib/...</tt>
+ <tt>$(SML_LIB)/mlnlffi-lib/mlnlffi-lib.mlb</tt> <br>
+<a href="MLNLFFI">ML-NLFFI</a>, a library for foreign function interfaces.
</p>
-
- <ul>
-
- <a href="SMLNJLibrary">SMLNJLibrary</a>, a collection of libraries distributed with SML/NJ.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/ckit-lib/ckit-lib.mlb</tt>
+ <tt>$(SML_LIB)/smlnj-lib/...</tt> <br>
+<a href="SMLNJLibrary">SMLNJLibrary</a>, a collection of libraries distributed with SML/NJ.
</p>
+</li>
+ <li class="gap">
+<p>
+ <tt>$(SML_LIB)/ckit-lib/ckit-lib.mlb</tt> <br>
+<a href="CKitLibrary">CKitLibrary</a>, a library for C source code.
+</p>
+</li>
- <ul>
+ </ul>
- <a href="CKitLibrary">CKitLibrary</a>, a library for C source code.
- </ul>
-
<h2 id="head-b5773a8c56013cd129e0fe857d8a7d13604efcc0">Basis fragments</h2>
<p>
There are a number of specialized ML Basis files for importing fragments of the <a href="BasisLibrary"> Basis Library</a> that can not be expressed within SML.
</p>
-<p>
-<tt>$(SML_LIB)/basis/pervasive-types.mlb</tt>
-</p>
- <ul>
+ <ul>
- The top-level types and constructors of the Basis Library.
- </ul>
-
-
+ <li>
<p>
-<tt>$(SML_LIB)/basis/pervasive-exns.mlb</tt>
+ <tt>$(SML_LIB)/basis/pervasive-types.mlb</tt> <br>
+The top-level types and constructors of the Basis Library.
</p>
-
- <ul>
-
- The top-level exception constructors of the Basis Library.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/basis/pervasive-vals.mlb</tt>
+ <tt>$(SML_LIB)/basis/pervasive-exns.mlb</tt> <br>
+The top-level exception constructors of the Basis Library.
</p>
-
- <ul>
-
- The top-level values of the Basis Library, without infix status.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/basis/overloads.mlb</tt>
+ <tt>$(SML_LIB)/basis/pervasive-vals.mlb</tt> <br>
+The top-level values of the Basis Library, without infix status.
</p>
-
- <ul>
-
- The top-level overloaded values of the Basis Library, without infix status.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/basis/equal.mlb</tt>
+ <tt>$(SML_LIB)/basis/overloads.mlb</tt> <br>
+The top-level overloaded values of the Basis Library, without infix status.
</p>
-
- <ul>
-
- The polymorphic equality <tt>=</tt> and inequality <tt><></tt> values, without infix status.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/basis/infixes.mlb</tt>
+ <tt>$(SML_LIB)/basis/equal.mlb</tt> <br>
+The polymorphic equality <tt>=</tt> and inequality <tt><></tt> values, without infix status.
</p>
-
- <ul>
-
- The infix declarations of the Basis Library.
- </ul>
-
-
+</li>
+ <li class="gap">
<p>
-<tt>$(SML_LIB)/basis/pervasive.mlb</tt>
+ <tt>$(SML_LIB)/basis/infixes.mlb</tt> <br>
+The infix declarations of the Basis Library.
</p>
+</li>
+ <li class="gap">
+<p>
+ <tt>$(SML_LIB)/basis/pervasive.mlb</tt> <br>
+The entire top-level value and type environment of the Basis Library, with infix status. This is the same as importing the above six MLB files.
+</p>
+</li>
+</ul>
- <ul>
-
- The entire top-level value and type environment of the Basis Library, with infix status. This is the same as importing the above six MLB files. </ul>
-
</div>
<p>
<hr>
-Last edited on 2007-08-15 22:06:46 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-23 04:20:45 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics
===================================================================
--- mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics 2007-08-23 04:47:52 UTC (rev 5931)
@@ -57,7 +57,7 @@
<div id="content" lang="en" dir="ltr">
An <a href="MLBasis">ML Basis</a> (MLB) file should have the <tt>.mlb</tt> suffix and should contain a basis declaration. <h2 id="head-17c7ba7676ad1ad6dd1c4e6b997adcae910262c9">Syntax</h2>
<p>
-A basis declaration must be one of the following forms.
+A basis declaration (<em>basdec</em>) must be one of the following forms.
</p>
<ul>
@@ -117,7 +117,7 @@
<p>
-A basis expression <em>basexp</em> must be of one the following forms.
+A basis expression (<em>basexp</em>) must be of one the following forms.
</p>
<ul>
@@ -145,7 +145,7 @@
Nested SML-style comments (enclosed with <tt>(*</tt> and <tt>*)</tt>) are ignored (but <a href="LineDirective">LineDirective</a>s are recognized).
</p>
<p>
-Paths can be relative or absolute. Relative paths are relative to the directory containing the MLB file. Paths may include path variables and are expanded according to a <a href="MLBasisPathMap">path map</a>. Unquoted paths may include alpha-numeric characters and the symbols "<tt>-</tt>" and "<tt>_</tt>", along with the arc separator "<tt>/</tt>" and extension separator "<tt>.</tt>". More complicated paths, including paths with spaces, may be included by quoting the path with <tt>"</tt>. A quoted path is lexed as a SML string constant.
+Paths can be relative or absolute. Relative paths are relative to the directory containing the MLB file. Paths may include path variables and are expanded according to a <a href="MLBasisPathMap">path map</a>. Unquoted paths may include alpha-numeric characters and the symbols "<tt>-</tt>" and "<tt>_</tt>", along with the arc separator "<tt>/</tt>" and extension separator "<tt>.</tt>". More complicated paths, including paths with spaces, may be included by quoting the path with <tt>"</tt>. A quoted path is lexed as an SML string constant.
</p>
<p>
<a href="MLBasisAnnotations">Annotations</a> allow a library author to control options that affect the elaboration of SML source files.
@@ -172,5 +172,5 @@
<p>
<hr>
-Last edited on 2005-12-01 20:54:18 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-23 04:22:13 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLtonArray
===================================================================
--- mlton/trunk/doc/guide/MLtonArray 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLtonArray 2007-08-23 04:47:52 UTC (rev 5931)
@@ -70,14 +70,10 @@
<li>
<p>
- <tt>unfoldi (n, b, f)</tt>
+ <tt>unfoldi (n, b, f)</tt> <br>
+constructs an array <em>a</em> of length <tt>n</tt>, whose elements <em>a<sub>i</sub></em> are determined by the equations <em>b<sub>0</sub> = b</em> and <em>(a<sub>i</sub>, b<sub>i+1</sub>) = f (i, b<sub>i</sub>)</em>.
</p>
</li>
-
- <ul>
-
- constructs an array <em>a</em> of length <tt>n</tt>, whose elements <em>a<sub>i</sub></em> are determined by the equations <em>b<sub>0</sub> = b</em> and <em>(a<sub>i</sub>, b<sub>i+1</sub>) = f (i, b<sub>i</sub>)</em>. </ul>
-
</ul>
</div>
@@ -86,5 +82,5 @@
<p>
<hr>
-Last edited on 2007-08-13 20:55:50 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-23 03:43:43 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLtonCont
===================================================================
--- mlton/trunk/doc/guide/MLtonCont 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLtonCont 2007-08-23 04:47:52 UTC (rev 5931)
@@ -75,62 +75,34 @@
<li>
<p>
- <tt>type 'a t</tt>
+ <tt>type 'a t</tt> <br>
+the type of continuations that expect a value of type <tt>'a</tt>.
</p>
</li>
-
- <ul>
-
- the type of continuations that expect a value of type <tt>'a</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>callcc f</tt>
+ <tt>callcc f</tt> <br>
+applies <tt>f</tt> to the current continuation. This copies the entire stack; hence, <tt>callcc</tt> takes time proportional to the current stack size.
</p>
</li>
-
- <ul>
-
- applies <tt>f</tt> to the current continuation. This copies the entire stack; hence, <tt>callcc</tt> takes time proportional to the current stack size.
- </ul>
-
-
<li class="gap">
<p>
- <tt>prepend (k, f)</tt>
+ <tt>prepend (k, f)</tt> <br>
+composes a function <tt>f</tt> with a continuation <tt>k</tt> to create a continuation that first does <tt>f</tt> and then does <tt>k</tt>. This is a constant time operation.
</p>
</li>
-
- <ul>
-
- composes a function <tt>f</tt> with a continuation <tt>k</tt> to create a continuation that first does <tt>f</tt> and then does <tt>k</tt>. This is a constant time operation.
- </ul>
-
-
<li class="gap">
<p>
- <tt>throw (k, v)</tt>
+ <tt>throw (k, v)</tt> <br>
+throws value <tt>v</tt> to continuation <tt>k</tt>. This copies the entire stack of <tt>k</tt>; hence, <tt>throw</tt> takes time proportional to the size of this stack.
</p>
</li>
-
- <ul>
-
- throws value <tt>v</tt> to continuation <tt>k</tt>. This copies the entire stack of <tt>k</tt>; hence, <tt>throw</tt> takes time proportional to the size of this stack.
- </ul>
-
-
<li class="gap">
<p>
- <tt>throw' (k, th)</tt>
+ <tt>throw' (k, th)</tt> <br>
+a generalization of throw that evaluates <tt>th ()</tt> in the context of <tt>k</tt>. Thus, for example, if <tt>th ()</tt> raises an exception or grabs another continuation, it will see <tt>k</tt>, not the current continuation.
</p>
</li>
-
- <ul>
-
- a generalization of throw that evaluates <tt>th ()</tt> in the context of <tt>k</tt>. Thus, for example, if <tt>th ()</tt> raises an exception or grabs another continuation, it will see <tt>k</tt>, not the current continuation. </ul>
-
</ul>
</div>
@@ -139,5 +111,5 @@
<p>
<hr>
-Last edited on 2005-12-01 22:27:22 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-23 03:43:48 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLtonExn
===================================================================
--- mlton/trunk/doc/guide/MLtonExn 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLtonExn 2007-08-23 04:47:52 UTC (rev 5931)
@@ -76,77 +76,43 @@
<li>
<p>
- <tt>addExnMessager f</tt>
+ <tt>addExnMessager f</tt> <br>
+adds <tt>f</tt> as a pretty-printer to be used by <tt>General.exnMessage</tt> for converting exceptions to strings. Messagers are tried in order from most recently added to least recently added.
</p>
</li>
-
- <ul>
-
- adds <tt>f</tt> as a pretty-printer to be used by <tt>General.exnMessage</tt> for converting exceptions to strings. Messagers are tried in order from most recently added to least recently added.
- </ul>
-
-
<li class="gap">
<p>
- <tt>history e</tt>
+ <tt>history e</tt> <br>
+returns call stack at the point that <tt>e</tt> was first raised. Each element of the list is a file position. The elements are in reverse chronological order, i.e. the function called last is at the front of the list.
</p>
-</li>
-
- <ul>
-
- returns call stack at the point that <tt>e</tt> was first raised. Each element of the list is a file position. The elements are in reverse chronological order, i.e. the function called last is at the front of the list. <p>
- <tt>history e</tt> will return <tt>[]</tt> unless the program is compiled with <tt>-const 'Exn.keepHistory true'</tt>.
+<p>
+ <tt>history e</tt> will return <tt>[]</tt> unless the program is compiled with <tt>-const 'Exn.keepHistory true'</tt>.
</p>
-
- </ul>
-
-
+</li>
<li class="gap">
<p>
- <tt>defaultTopLevelHandler e</tt>
+ <tt>defaultTopLevelHandler e</tt> <br>
+function that behaves as the default top level handler; that is, print out the unhandled exception message for <tt>e</tt> and exit.
</p>
</li>
-
- <ul>
-
- function that behaves as the default top level handler; that is, print out the unhandled exception message for <tt>e</tt> and exit.
- </ul>
-
-
<li class="gap">
<p>
- <tt>getTopLevelHandler ()</tt>
+ <tt>getTopLevelHandler ()</tt> <br>
+get the top level handler.
</p>
</li>
-
- <ul>
-
- get the top level handler.
- </ul>
-
-
<li class="gap">
<p>
- <tt>setTopLevelHandler f</tt>
+ <tt>setTopLevelHandler f</tt> <br>
+set the top level handler to the function <tt>f</tt>. The function <tt>f</tt> should not raise an exception or return normally.
</p>
</li>
-
- <ul>
-
- set the top level handler to the function <tt>f</tt>. The function <tt>f</tt> should not raise an exception or return normally.
- </ul>
-
-
<li class="gap">
<p>
- <tt>topLevelHandler e</tt>
+ <tt>topLevelHandler e</tt> <br>
+behaves as if the top level handler received the exception <tt>e</tt>.
</p>
</li>
-
- <ul>
-
- behaves as if the top level handler received the exception <tt>e</tt>. </ul>
-
</ul>
</div>
@@ -155,5 +121,5 @@
<p>
<hr>
-Last edited on 2007-08-13 20:55:55 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-23 03:43:53 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLtonFinalizable
===================================================================
--- mlton/trunk/doc/guide/MLtonFinalizable 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLtonFinalizable 2007-08-23 04:47:52 UTC (rev 5931)
@@ -79,65 +79,35 @@
<li>
<p>
- <tt>addFinalizer (v, f)</tt>
+ <tt>addFinalizer (v, f)</tt> <br>
+adds <tt>f</tt> as a finalizer to <tt>v</tt>. This means that sometime after the last call to <tt>withValue</tt> on <tt>v</tt> completes and <tt>v</tt> becomes unreachable, <tt>f</tt> will be called with the value of <tt>v</tt>.
</p>
</li>
-
- <ul>
-
- adds <tt>f</tt> as a finalizer to <tt>v</tt>. This means that sometime after the last call to <tt>withValue</tt> on <tt>v</tt> completes and <tt>v</tt> becomes unreachable, <tt>f</tt> will be called with the value of <tt>v</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>finalizeBefore (v1, v2)</tt>
+ <tt>finalizeBefore (v1, v2)</tt> <br>
+ensures that <tt>v1</tt> will be finalized before <tt>v2</tt>. A cycle of values <tt>v</tt> = <tt>v1</tt>, ..., <tt>vn</tt> = <tt>v</tt> with <tt>finalizeBefore (vi, vi+1)</tt> will result in none of the <tt>vi</tt> being finalized.
</p>
</li>
-
- <ul>
-
- ensures that <tt>v1</tt> will be finalized before <tt>v2</tt>. A cycle of values <tt>v</tt> = <tt>v1</tt>, ..., <tt>vn</tt> = <tt>v</tt> with <tt>finalizeBefore (vi, vi+1)</tt> will result in none of the <tt>vi</tt> being finalized.
- </ul>
-
-
<li class="gap">
<p>
- <tt>new x</tt>
+ <tt>new x</tt> <br>
+creates a new finalizable value, <tt>v</tt>, with value <tt>x</tt>. The finalizers of <tt>v</tt> will run sometime after the last call to <tt>withValue</tt> on <tt>v</tt> when the garbage collector determines that <tt>v</tt> is unreachable.
</p>
</li>
-
- <ul>
-
- creates a new finalizable value, <tt>v</tt>, with value <tt>x</tt>. The finalizers of <tt>v</tt> will run sometime after the last call to <tt>withValue</tt> on <tt>v</tt> when the garbage collector determines that <tt>v</tt> is unreachable.
- </ul>
-
-
<li class="gap">
<p>
- <tt>touch v</tt>
+ <tt>touch v</tt> <br>
+ensures that <tt>v</tt>'s finalizers will not run before the call to <tt>touch</tt>.
</p>
</li>
-
- <ul>
-
- ensures that <tt>v</tt>'s finalizers will not run before the call to <tt>touch</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>withValue (v, f)</tt>
+ <tt>withValue (v, f)</tt> <br>
+returns the result of applying <tt>f</tt> to the value of <tt>v</tt> and ensures that <tt>v</tt>'s finalizers will not run before <tt>f</tt> completes. The call to <tt>f</tt> is a nontail call.
</p>
</li>
- <ul>
-
- returns the result of applying <tt>f</tt> to the value of <tt>v</tt> and ensures that <tt>v</tt>'s finalizers will not run before <tt>f</tt> completes. The call to <tt>f</tt> is a nontail call.
- </ul>
-
-
-
</ul>
@@ -346,5 +316,5 @@
<p>
<hr>
-Last edited on 2006-08-21 19:41:33 by <span title="ppp-71-139-165-239.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-23 03:44:00 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLtonGC
===================================================================
--- mlton/trunk/doc/guide/MLtonGC 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLtonGC 2007-08-23 04:47:52 UTC (rev 5931)
@@ -74,62 +74,34 @@
<li>
<p>
- <tt>collect ()</tt>
+ <tt>collect ()</tt> <br>
+causes a garbage collection to occur.
</p>
</li>
-
- <ul>
-
- causes a garbage collection to occur.
- </ul>
-
-
<li class="gap">
<p>
- <tt>pack ()</tt>
+ <tt>pack ()</tt> <br>
+shrinks the heap as much as possible so that other processes can use available RAM.
</p>
</li>
-
- <ul>
-
- shrinks the heap as much as possible so that other processes can use available RAM.
- </ul>
-
-
<li class="gap">
<p>
- <tt>setMessages b</tt>
+ <tt>setMessages b</tt> <br>
+controls whether diagnostic messages are printed at the beginning and end of each garbage collection. It is the same as the <tt>gc-messages</tt> runtime system option.
</p>
</li>
-
- <ul>
-
- controls whether diagnostic messages are printed at the beginning and end of each garbage collection. It is the same as the <tt>gc-messages</tt> runtime system option.
- </ul>
-
-
<li class="gap">
<p>
- <tt>setSummary b</tt>
+ <tt>setSummary b</tt> <br>
+controls whether a summary of garbage collection statistics is printed upon termination of the program. It is the same as the <tt>gc-summary</tt> runtime system option.
</p>
</li>
-
- <ul>
-
- controls whether a summary of garbage collection statistics is printed upon termination of the program. It is the same as the <tt>gc-summary</tt> runtime system option.
- </ul>
-
-
<li class="gap">
<p>
- <tt>unpack ()</tt>
+ <tt>unpack ()</tt> <br>
+ resizes a packed heap to the size desired by the runtime.
</p>
</li>
-
- <ul>
-
- resizes a packed heap to the size desired by the runtime. </ul>
-
</ul>
</div>
@@ -138,5 +110,5 @@
<p>
<hr>
-Last edited on 2004-11-02 04:24:34 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-23 03:44:05 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLtonIO
===================================================================
--- mlton/trunk/doc/guide/MLtonIO 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLtonIO 2007-08-23 04:47:52 UTC (rev 5931)
@@ -79,86 +79,46 @@
<li>
<p>
- <tt>inFd ins</tt>
+ <tt>inFd ins</tt> <br>
+returns the file descriptor corresponding to <tt>ins</tt>.
</p>
</li>
-
- <ul>
-
- returns the file descriptor corresponding to <tt>ins</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>mkstemp s</tt>
+ <tt>mkstemp s</tt> <br>
+like the C <tt>mkstemp</tt> function, generates and open a temporary file with prefix <tt>s</tt>.
</p>
</li>
-
- <ul>
-
- like the C <tt>mkstemp</tt> function, generates and open a temporary file with prefix <tt>s</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>mkstemps {prefix, suffix} </tt>
+ <tt>mkstemps {prefix, suffix} </tt> <br>
+like <tt>mkstemp</tt>, except it has both a prefix and suffix.
</p>
</li>
-
- <ul>
-
- like <tt>mkstemp</tt>, except it has both a prefix and suffix.
- </ul>
-
-
<li class="gap">
<p>
- <tt>newIn (fd, name)</tt>
+ <tt>newIn (fd, name)</tt> <br>
+creates a new instream from file descriptor <tt>fd</tt>, with <tt>name</tt> used in any <tt>Io</tt> exceptions later raised.
</p>
</li>
-
- <ul>
-
- creates a new instream from file descriptor <tt>fd</tt>, with <tt>name</tt> used in any <tt>Io</tt> exceptions later raised.
- </ul>
-
-
<li class="gap">
<p>
- <tt>newOut (fd, name)</tt>
+ <tt>newOut (fd, name)</tt> <br>
+creates a new outstream from file descriptor <tt>fd</tt>, with <tt>name</tt> used in any <tt>Io</tt> exceptions later raised.
</p>
</li>
-
- <ul>
-
- creates a new outstream from file descriptor <tt>fd</tt>, with <tt>name</tt> used in any <tt>Io</tt> exceptions later raised.
- </ul>
-
-
<li class="gap">
<p>
- <tt>outFd out</tt>
+ <tt>outFd out</tt> <br>
+returns the file descriptor corresponding to <tt>out</tt>.
</p>
</li>
-
- <ul>
-
- returns the file descriptor corresponding to <tt>out</tt>.
- </ul>
-
-
<li class="gap">
<p>
- <tt>tempPrefix s</tt>
+ <tt>tempPrefix s</tt> <br>
+adds a suitable system or user specific prefix (directory) for temp files.
</p>
</li>
-
- <ul>
-
- adds a suitable system or user specific prefix (directory) for temp files. </ul>
-
</ul>
</div>
@@ -167,5 +127,5 @@
<p>
<hr>
-Last edited on 2007-08-13 20:56:04 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-23 03:44:14 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLtonIntInf
===================================================================
--- mlton/trunk/doc/guide/MLtonIntInf 2007-08-22 19:07:58 UTC (rev 5930)
+++ mlton/trunk/doc/guide/MLtonIntInf 2007-08-23 04:47:52 UTC (rev 5931)
@@ -59,7 +59,7 @@
<pre class=code>
<B><FONT COLOR="#0000FF">signature</FONT></B> MLTON_INT_INF =
<B><FONT COLOR="#0000FF">sig</FONT></B>
- <B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> t
+ <B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> t </FONT></B>=<B><FONT COLOR="#228B22"> IntInf.int
</FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> areSmall: t * t -> bool
<B><FONT COLOR="#A020F0">val</FONT></B> gcd: t * t -> t
@@ -84,98 +84,52 @@
<li>
<p>
- <tt>type t</tt>
+ <tt>type t</tt> <br>
+the same as type <tt>IntInf.int</tt>.
</p>
</li>
-
-
More information about the MLton-commit
mailing list