[MLton-commit] r5945
Matthew Fluet
fluet at mlton.org
Fri Aug 24 15:20:51 PDT 2007
Verify that new grab-wiki works on MacOSX
----------------------------------------------------------------------
U mlton/trunk/doc/guide/Features
U mlton/trunk/doc/guide/PageSize
U mlton/trunk/doc/guide/ReleaseChecklist
U mlton/trunk/doc/guide/SystemInfo
----------------------------------------------------------------------
Modified: mlton/trunk/doc/guide/Features
===================================================================
--- mlton/trunk/doc/guide/Features 2007-08-24 22:20:16 UTC (rev 5944)
+++ mlton/trunk/doc/guide/Features 2007-08-24 22:20:50 UTC (rev 5945)
@@ -221,52 +221,28 @@
<li>
<p>
- Supports the full SML 97 language as given in <a href="DefinitionOfStandardML">The Definition of Standard ML (Revised)</a>.
+ Supports the full SML 97 language as given in <a href="DefinitionOfStandardML">The Definition of Standard ML (Revised)</a>. <br>
+If there is a program that is valid according to The Definition that is rejected by MLton, or a program that is invalid according to the Definition that is accepted by MLton, it is a bug. For a list of known bugs, see <a href="UnresolvedBugs">UnresolvedBugs</a>.
</p>
</li>
-
- <ul>
-
- If there is a program that is valid according to The Definition that is rejected by MLton, or a program that is invalid according to the Definition that is accepted by MLton, it is a bug. For a list of known bugs, see <a href="UnresolvedBugs">UnresolvedBugs</a>.
- </ul>
-
-
<li class="gap">
<p>
- A complete implementation of the <a href="BasisLibrary">Basis Library</a>.
+ A complete implementation of the <a href="BasisLibrary">Basis Library</a>. <br>
+MLton's implementation matches latest Basis Library specification, and includes a complete implementation of all the required modules, as well as many of the optional modules.
</p>
</li>
-
- <ul>
-
- MLton's implementation matches latest Basis Library specification, and includes a complete implementation of all the required modules, as well as many of the optional modules.
- </ul>
-
-
<li class="gap">
<p>
- Generates standalone executables.
+ Generates standalone executables. <br>
+No additional code or libraries are necessary in order to run an executable, except for the standard shared libraries. MLton can also generate statically linked executables.
</p>
</li>
-
- <ul>
-
- No additional code or libraries are necessary in order to run an executable, except for the standard shared libraries. MLton can also generate statically linked executables.
- </ul>
-
-
<li class="gap">
<p>
- Compiles large programs.
+ Compiles large programs. <br>
+MLton is sufficiently efficient and robust that it can compile large programs, including itself (over 140K lines). The distributed version of MLton was compiled by MLton.
</p>
</li>
-
- <ul>
-
- MLton is sufficiently efficient and robust that it can compile large programs, including itself (over 140K lines). The distributed version of MLton was compiled by MLton.
- </ul>
-
-
<li class="gap">
<p>
Support for large amounts of memory (up to 4G on 32-bit systems; more on 64-bit systems).
@@ -297,40 +273,22 @@
</li>
<li class="gap">
<p>
- Generates small executables.
+ Generates small executables. <br>
+MLton takes advantage of whole-program compilation to perform very aggressive dead-code elimination, which often leads to smaller executables than with other SML compilers.
</p>
</li>
-
- <ul>
-
- MLton takes advantage of whole-program compilation to perform very aggressive dead-code elimination, which often leads to smaller executables than with other SML compilers.
- </ul>
-
-
<li class="gap">
<p>
- Native integers, reals, and words.
+ Native integers, reals, and words. <br>
+In MLton, integers and words are 32 bits and arithmetic does not have any overhead due to tagging or boxing. Also, reals are stored unboxed, avoiding any overhead due to boxing.
</p>
</li>
-
- <ul>
-
- In MLton, integers and words are 32 bits and arithmetic does not have any overhead due to tagging or boxing. Also, reals are stored unboxed, avoiding any overhead due to boxing.
- </ul>
-
-
<li class="gap">
<p>
- Unboxed native arrays.
+ Unboxed native arrays. <br>
+In MLton, an array (or vector) of integers, reals, or words uses the natural C-like representation. This is fast and supports easy exchange of data with C. Monomorphic arrays (and vectors) use the same C-like representations as their polymorphic counterparts.
</p>
</li>
-
- <ul>
-
- In MLton, an array (or vector) of integers, reals, or words uses the natural C-like representation. This is fast and supports easy exchange of data with C. Monomorphic arrays (and vectors) use the same C-like representations as their polymorphic counterparts.
- </ul>
-
-
<li class="gap">
<p>
Multiple <a href="GarbageCollection">garbage collection</a> strategies.
@@ -338,7 +296,8 @@
</li>
<li class="gap">
<p>
- Fast arbitrary precision arithmetic (<tt>IntInf</tt>) based on the <a href="GnuMP">GnuMP</a>. For <tt>IntInf</tt> intensive programs, MLton can be an order of magnitude or more faster than Poly/ML or SML/NJ.
+ Fast arbitrary precision arithmetic (<tt>IntInf</tt>) based on the <a href="GnuMP">GnuMP</a>. <br>
+For <tt>IntInf</tt> intensive programs, MLton can be an order of magnitude or more faster than Poly/ML or SML/NJ.
</p>
</li>
@@ -379,7 +338,7 @@
<li>
<p>
- A simple and fast C <a href="ForeignFunctionInterface">ForeignFunctionInterface</a> that supports calling from SML to C and from C to SML.
+ A simple and fast C <a href="ForeignFunctionInterface">ForeignFunctionInterface</a> that supports calling from SML to C and from C to SML.
</p>
</li>
<li class="gap">
@@ -397,146 +356,76 @@
<li>
<p>
- continuations
+ <a href="MLtonCont">continuations</a> <br>
+MLton supports continuations via <tt>callcc</tt> and <tt>throw</tt>.
</p>
</li>
-
- <ul>
-
- MLton supports continuations via <tt>callcc</tt> and <tt>throw</tt>.
- </ul>
-
-
<li class="gap">
<p>
- finalization
+ <a href="MLtonFinalizable">finalization</a> <br>
+MLton supports finalizable values of arbitrary type.
</p>
</li>
-
- <ul>
-
- MLton supports finalizable values of arbitrary type.
- </ul>
-
-
<li class="gap">
<p>
- interval timers
+ <a href="MLtonItimer">interval timers</a> <br>
+MLton supports the functionality of the C <tt>setitimer</tt> function.
</p>
</li>
-
- <ul>
-
- MLton supports the functionality of the C <tt>setitimer</tt> function.
- </ul>
-
-
<li class="gap">
<p>
- random numbers
+ <a href="MLtonRandom">random numbers</a> <br>
+MLton has functions similar to the C <tt>rand</tt> and <tt>srand</tt> functions, as well as support for access to <tt>/dev/random</tt> and <tt>/dev/urandom</tt>.
</p>
</li>
-
- <ul>
-
- MLton has functions similar to the C <tt>rand</tt> and <tt>srand</tt> functions, as well as support for access to <tt>/dev/random</tt> and <tt>/dev/urandom</tt>.
- </ul>
-
-
<li class="gap">
<p>
- resource limits
+ <a href="MLtonRlimit">resource limits</a> <br>
+MLton has functions similar to the C <tt>getrlimit</tt> and <tt>setrlimit</tt> functions.
</p>
</li>
-
- <ul>
-
- MLton has functions similar to the C <tt>getrlimit</tt> and <tt>setrlimit</tt> functions.
- </ul>
-
-
<li class="gap">
<p>
- resource usage
+ <a href="MLtonRusage">resource usage</a> <br>
+MLton supports a subset of the functionality of the C <tt>getrusage</tt> function.
</p>
</li>
-
- <ul>
-
- MLton supports a subset of the functionality of the C <tt>getrusage</tt> function.
- </ul>
-
-
<li class="gap">
<p>
- signal handlers
+ <a href="MLtonSignal">signal handlers</a> <br>
+MLton supports signal handlers written in SML. Signal handlers run in a separate MLton thread, and have access to the thread that was interrupted by the signal. Signal handlers can be used in conjunction with threads to implement preemptive multitasking.
</p>
</li>
-
- <ul>
-
- MLton supports signal handlers written in SML. Signal handlers run in a separate MLton thread, and have access to the thread that was interrupted by the signal. Signal handlers can be used in conjunction with threads to implement preemptive multitasking.
- </ul>
-
-
<li class="gap">
<p>
- size primitive
+ <a href="MLtonStructure">size primitive</a> <br>
+MLton includes a primitive that returns the size (in bytes) of any object. This can be useful in understanding the space behavior of a program.
</p>
</li>
-
- <ul>
-
- MLton includes a primitive that returns the size (in bytes) of any object. This can be useful in understanding the space behavior of a program.
- </ul>
-
-
<li class="gap">
<p>
- system logging
+ <a href="MLtonSyslog">system logging</a> <br>
+MLton has a complete interface to the C <tt>syslog</tt> function.
</p>
</li>
-
- <ul>
-
- MLton has a complete interface to the C <tt>syslog</tt> function.
- </ul>
-
-
<li class="gap">
<p>
- threads
+ <a href="MLtonThread">threads</a> <br>
+MLton has support for its own threads, upon which either preemptive or non-preemptive multitasking can be implemented. MLton also has support for <a href="ConcurrentML">Concurrent ML</a> (CML).
</p>
</li>
-
- <ul>
-
- MLton has support for its own threads, upon which either preemptive or non-preemptive multitasking can be implemented. MLton also has support for <a href="ConcurrentML">Concurrent ML</a> (CML).
- </ul>
-
-
<li class="gap">
<p>
- weak pointers
+ <a href="MLtonWeak">weak pointers</a> <br>
+MLton supports weak pointers, which allow the garbage collector to reclaim objects that it would otherwise be forced to keep. Weak pointers are also used to provide finalization.
</p>
</li>
-
- <ul>
-
- MLton supports weak pointers, which allow the garbage collector to reclaim objects that it would otherwise be forced to keep. Weak pointers are also used to provide finalization.
- </ul>
-
-
<li class="gap">
<p>
- world save and restore
+ <a href="MLtonWorld">world save and restore</a> <br>
+MLton has a facility for saving the entire state of a computation to a file and restarting it later. This facility can be used for staging and for checkpointing computations. It can even be used from within signal handlers, allowing interrupt driven checkpointing.
</p>
</li>
-
- <ul>
-
- MLton has a facility for saving the entire state of a computation to a file and restarting it later. This facility can be used for staging and for checkpointing computations. It can even be used from within signal handlers, allowing interrupt driven checkpointing. </ul>
-
</ul>
</ul>
@@ -547,5 +436,5 @@
<p>
<hr>
-Last edited on 2007-08-21 05:14:01 by <span title="82-203-177-2.dsl.gohome.fi">VilleLaurikari</span>.
+Last edited on 2007-08-24 21:51:26 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/PageSize
===================================================================
--- mlton/trunk/doc/guide/PageSize 2007-08-24 22:20:16 UTC (rev 5944)
+++ mlton/trunk/doc/guide/PageSize 2007-08-24 22:20:50 UTC (rev 5945)
@@ -112,8 +112,12 @@
<li>
<tt> 6206 </tt><a href="Elaborate">Elaborate</a></li>
<li>
+<tt> 6073 </tt><a href="http://mlton.org/MatthewFluet_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MatthewFluet/MoinEditorBackup</a></li>
+<li>
<tt> 5995 </tt><a href="PolymorphicEquality">PolymorphicEquality</a></li>
<li>
+<tt> 5978 </tt><a href="Features">Features</a></li>
+<li>
<tt> 5977 </tt><a href="OptionalArguments">OptionalArguments</a></li>
<li>
<tt> 5849 </tt><a href="MLtonFinalizable">MLtonFinalizable</a></li>
@@ -122,8 +126,6 @@
<li>
<tt> 5742 </tt><a href="EmacsBgBuildMode">EmacsBgBuildMode</a></li>
<li>
-<tt> 5717 </tt><a href="Features">Features</a></li>
-<li>
<tt> 5666 </tt><a href="MLtonSignal">MLtonSignal</a></li>
<li>
<tt> 5326 </tt><a href="CompilationManager">CompilationManager</a></li>
@@ -164,7 +166,7 @@
<li>
<tt> 3961 </tt><a href="UniversalType">UniversalType</a></li>
<li>
-<tt> 3775 </tt><a href="http://mlton.org/MatthewFluet_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MatthewFluet/MoinEditorBackup</a></li>
+<tt> 3915 </tt><a href="ReleaseChecklist">ReleaseChecklist</a></li>
<li>
<tt> 3758 </tt><a href="ReturnStatement">ReturnStatement</a></li>
<li>
@@ -172,8 +174,6 @@
<li>
<tt> 3686 </tt><a href="Release20051202">Release20051202</a></li>
<li>
-<tt> 3672 </tt><a href="ReleaseChecklist">ReleaseChecklist</a></li>
-<li>
<tt> 3593 </tt><a href="VariableArityPolymorphism">VariableArityPolymorphism</a></li>
<li>
<tt> 3557 </tt><a href="Enscript">Enscript</a></li>
Modified: mlton/trunk/doc/guide/ReleaseChecklist
===================================================================
--- mlton/trunk/doc/guide/ReleaseChecklist 2007-08-24 22:20:16 UTC (rev 5944)
+++ mlton/trunk/doc/guide/ReleaseChecklist 2007-08-24 22:20:50 UTC (rev 5945)
@@ -274,6 +274,16 @@
</li>
<li>
<p>
+ Make sure that <strong>ReleaseYYYYMMDD</strong> and <strong>BugsYYYYMMDD</strong> are added to the repository.
+</p>
+</li>
+ <li>
+<p>
+ Make sure that <strong>ReleaseYYYYMM??</strong> and <strong>BugsYYYYMM??</strong> are removed from the repository (if they were added during the advanced preparation).
+</p>
+</li>
+ <li>
+<p>
Commit changes to <tt>doc/guide</tt>.
</p>
</li>
@@ -520,5 +530,5 @@
<p>
<hr>
-Last edited on 2007-08-24 20:38:33 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-24 21:39:58 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/SystemInfo
===================================================================
--- mlton/trunk/doc/guide/SystemInfo 2007-08-24 22:20:16 UTC (rev 5944)
+++ mlton/trunk/doc/guide/SystemInfo 2007-08-24 22:20:50 UTC (rev 5945)
@@ -57,7 +57,7 @@
<div id="content" lang="en" dir="ltr">
<p>
<dl><dt>Python Version</dt><dd>2.3.5 (#2, Sep 4 2005, 22:01:42)
-[GCC 3.3.5 (Debian 1:3.3.5-13)]</dd><dt>MoinMoin Version</dt><dd>Release 1.2.3 [Revision 1.186]</dd><dt>Number of pages</dt><dd>349</dd><dt>Number of system pages</dt><dd>2</dd><dt>Number of backup versions</dt><dd>2158</dd><dt>Accumulated page sizes</dt><dd>777330</dd><dt>Entries in edit log</dt><dd>2770 (274334 bytes)</dd><dt>Event log</dt><dd>103459583 bytes</dd><dt>Global extension macros</dt><dd>AbandonedPages, BR, FootNote, Form, FullSearch, GetText, Include, Navigation, OrphanedPages, PageHits, PageSize, RandomPage, RandomQuote, RecentChanges, ShowSmileys, StatsChart, SystemAdmin, TableOfContents, TeudView, WantedPages</dd><dt>Local extension macros</dt><dd>Cite, Div, DownloadSVN, Form, Improvement, IncludeSVN, Input, Span, TextArea, ViewCVS, ViewCVSDir, ViewSVN, ViewSVNDir, ViewSVNRev</dd><dt>Global extension actions</dt><dd>AttachFile, DeletePage, LikePages, LocalSiteMap, RenamePage, SpellCheck, links, rss_rc, titleindex</dd><dt>Local extension actions</dt><dd>AllLinks</dd><dt>Installed processors</dt><dd>CSV, Colorize</dd></dl
+[GCC 3.3.5 (Debian 1:3.3.5-13)]</dd><dt>MoinMoin Version</dt><dd>Release 1.2.3 [Revision 1.186]</dd><dt>Number of pages</dt><dd>349</dd><dt>Number of system pages</dt><dd>2</dd><dt>Number of backup versions</dt><dd>2160</dd><dt>Accumulated page sizes</dt><dd>780132</dd><dt>Entries in edit log</dt><dd>2772 (274506 bytes)</dd><dt>Event log</dt><dd>103572087 bytes</dd><dt>Global extension macros</dt><dd>AbandonedPages, BR, FootNote, Form, FullSearch, GetText, Include, Navigation, OrphanedPages, PageHits, PageSize, RandomPage, RandomQuote, RecentChanges, ShowSmileys, StatsChart, SystemAdmin, TableOfContents, TeudView, WantedPages</dd><dt>Local extension macros</dt><dd>Cite, Div, DownloadSVN, Form, Improvement, IncludeSVN, Input, Span, TextArea, ViewCVS, ViewCVSDir, ViewSVN, ViewSVNDir, ViewSVNRev</dd><dt>Global extension actions</dt><dd>AttachFile, DeletePage, LikePages, LocalSiteMap, RenamePage, SpellCheck, links, rss_rc, titleindex</dd><dt>Local extension actions</dt><dd>AllLinks</dd><dt>Installed processors</dt><dd>CSV, Colorize</dd></dl
</p>
</div>
More information about the MLton-commit
mailing list