[MLton-commit] r5959
Matthew Fluet
fluet at mlton.org
Sun Aug 26 13:24:28 PDT 2007
Ran grab-wiki for release
----------------------------------------------------------------------
A mlton/trunk/doc/guide/Bugs20070826
D mlton/trunk/doc/guide/Bugs200708XX
U mlton/trunk/doc/guide/Fixpoints
U mlton/trunk/doc/guide/Home
U mlton/trunk/doc/guide/Index
U mlton/trunk/doc/guide/InfixingOperators
U mlton/trunk/doc/guide/MLTONWIKIVERSION
U mlton/trunk/doc/guide/OrphanedPages
U mlton/trunk/doc/guide/PageSize
D mlton/trunk/doc/guide/PortStatus
U mlton/trunk/doc/guide/ProductType
U mlton/trunk/doc/guide/Release20051202
A mlton/trunk/doc/guide/Release20070826
D mlton/trunk/doc/guide/Release200708XX
U mlton/trunk/doc/guide/ReleaseChecklist
U mlton/trunk/doc/guide/Serialization
U mlton/trunk/doc/guide/SystemInfo
U mlton/trunk/doc/guide/TypeIndexedValues
U mlton/trunk/doc/guide/VesaKarvonen
U mlton/trunk/doc/guide/index.html
----------------------------------------------------------------------
Added: mlton/trunk/doc/guide/Bugs20070826
===================================================================
--- mlton/trunk/doc/guide/Bugs20070826 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/Bugs20070826 2007-08-26 20:24:25 UTC (rev 5959)
@@ -0,0 +1,68 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+<meta name="robots" content="index,nofollow">
+
+
+
+<title>Bugs20070826 - MLton Standard ML Compiler (SML Compiler)</title>
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
+
+
+<link rel="Start" href="Home">
+
+
+</head>
+
+<body lang="en" dir="ltr">
+
+<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
+</script>
+<script type="text/javascript">
+_uacct = "UA-833377-1";
+urchinTracker();
+</script>
+<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
+ <tr>
+ <td style = "
+ border: 0px;
+ color: darkblue;
+ font-size: 150%;
+ text-align: left;">
+ <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
+ <td style = "
+ border: 0px;
+ font-size: 150%;
+ text-align: center;
+ width: 50%;">
+ Bugs20070826
+ <td style = "
+ border: 0px;
+ text-align: right;">
+ <table cellspacing = 0 style = "border: 0px">
+ <tr style = "vertical-align: middle;">
+ </table>
+ <tr style = "background-color: white;">
+ <td colspan = 3
+ style = "
+ border: 0px;
+ font-size:70%;
+ text-align: right;">
+ <a href = "Home">Home</a>
+ <a href = "Index">Index</a>
+
+</table>
+<div id="content" lang="en" dir="ltr">
+Here are the known bugs in <a href="Release20070826">MLton 20070826</a>, listed in reverse chronological order of date reported. <p>
+
+</p>
+</div>
+
+
+
+<p>
+<hr>
+Last edited on 2007-08-26 19:54:52 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+</body></html>
Deleted: mlton/trunk/doc/guide/Bugs200708XX
===================================================================
--- mlton/trunk/doc/guide/Bugs200708XX 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/Bugs200708XX 2007-08-26 20:24:25 UTC (rev 5959)
@@ -1,68 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
-<html>
-<head>
-<meta name="robots" content="index,nofollow">
-
-
-
-<title>Bugs200708XX - MLton Standard ML Compiler (SML Compiler)</title>
-<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
-<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
-<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
-
-
-<link rel="Start" href="Home">
-
-
-</head>
-
-<body lang="en" dir="ltr">
-
-<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
-</script>
-<script type="text/javascript">
-_uacct = "UA-833377-1";
-urchinTracker();
-</script>
-<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
- <tr>
- <td style = "
- border: 0px;
- color: darkblue;
- font-size: 150%;
- text-align: left;">
- <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
- <td style = "
- border: 0px;
- font-size: 150%;
- text-align: center;
- width: 50%;">
- Bugs200708XX
- <td style = "
- border: 0px;
- text-align: right;">
- <table cellspacing = 0 style = "border: 0px">
- <tr style = "vertical-align: middle;">
- </table>
- <tr style = "background-color: white;">
- <td colspan = 3
- style = "
- border: 0px;
- font-size:70%;
- text-align: right;">
- <a href = "Home">Home</a>
- <a href = "Index">Index</a>
-
-</table>
-<div id="content" lang="en" dir="ltr">
-Here are the known bugs in <a href="Release200708XX">MLton 200708XX</a>, listed in reverse chronological order of date reported. <p>
-
-</p>
-</div>
-
-
-
-<p>
-<hr>
-Last edited on 2007-08-24 20:21:07 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
-</body></html>
Modified: mlton/trunk/doc/guide/Fixpoints
===================================================================
--- mlton/trunk/doc/guide/Fixpoints 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/Fixpoints 2007-08-26 20:24:25 UTC (rev 5959)
@@ -56,7 +56,7 @@
</table>
<div id="content" lang="en" dir="ltr">
This page discusses a framework that makes it possible to compute fixpoints over arbitrary products of abstract types. The code is from an Extended Basis library (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/extended-basis/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>). <p>
-First the signature of the framework:
+First the signature of the framework (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tie.sig</a>):
</p>
<p>
<pre class=code><I><FONT COLOR="#B22222">(**
@@ -109,15 +109,15 @@
<B><FONT COLOR="#A020F0">val</FONT></B> tier : ('a * 'a Effect.t) Thunk.t -> 'a t
<I><FONT COLOR="#B22222">(**
- * {tier} is used to define fixpoint tiers for new abstract types by
- * providing a thunk whose instantiation allocates a mutable proxy and
- * a procedure for updating it with the result.
+ * {tier} is used to define fixpoint witnesses for new abstract types
+ * by providing a thunk whose instantiation allocates a mutable proxy
+ * and a procedure for updating it with the result.
*)</FONT></I>
<B><FONT COLOR="#A020F0">val</FONT></B> id : 'a -> 'a t
<I><FONT COLOR="#B22222">(** {id x} is equivalent to {pure (const (x, id))}. *)</FONT></I>
- <I><FONT COLOR="#B22222">(** == Combining Existing Tiers == *)</FONT></I>
+ <I><FONT COLOR="#B22222">(** == Combining Existing Witnesses == *)</FONT></I>
<B><FONT COLOR="#A020F0">val</FONT></B> iso : 'b t -> ('a, 'b) Iso.t -> 'a t
<I><FONT COLOR="#B22222">(**
@@ -139,7 +139,7 @@
* {'a * 'b}.
*)</FONT></I>
- <I><FONT COLOR="#B22222">(** == Particular Tiers == *)</FONT></I>
+ <I><FONT COLOR="#B22222">(** == Particular Witnesses == *)</FONT></I>
<B><FONT COLOR="#A020F0">val</FONT></B> function : ('a -> 'b) t
<I><FONT COLOR="#B22222">(** Witness for functions. *)</FONT></I>
@@ -154,7 +154,7 @@
Note that instead of using an infix operator, we could alternatively employ an interface using <a href="Fold">Fold</a>. Also, witnesses are eta-expanded to work around the <a href="ValueRestriction">value restriction</a>, while maintaining abstraction.
</p>
<p>
-Here is the implementation:
+Here is the implementation (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/extended-basis/unstable/detail/generic/tie.sml?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tie.sml</a>):
</p>
<p>
<pre class=code><B><FONT COLOR="#0000FF">structure</FONT></B> Tie :> TIE = <B><FONT COLOR="#0000FF">struct</FONT></B>
@@ -265,5 +265,5 @@
<p>
<hr>
-Last edited on 2007-08-24 17:46:00 by <span title="cs27019070.pp.htv.fi"><a href="VesaKarvonen">VesaKarvonen</a></span>.
+Last edited on 2007-08-25 21:26:24 by <span title="cs27019070.pp.htv.fi"><a href="VesaKarvonen">VesaKarvonen</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Home
===================================================================
--- mlton/trunk/doc/guide/Home 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/Home 2007-08-26 20:24:25 UTC (rev 5959)
@@ -62,7 +62,7 @@
<li>
<p>
- See the <a class="external" href="http://mlton.org/pages/References/attachments/060916-mlton.pdf"><img src="moin-www.png" alt="[WWW]" height="11" width="11">slides</a> from the talk on MLton given at the <a class="external" href="http://gallium.inria.fr/ml2006/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ML Workshop</a> on September 16, 2006.
+ Please try out our new release, <a href="Release20070826">MLton 20070826</a>.
</p>
</li>
@@ -121,5 +121,5 @@
<p>
<hr>
-Last edited on 2007-08-21 12:48:19 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-26 19:55:03 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/Index
===================================================================
--- mlton/trunk/doc/guide/Index 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/Index 2007-08-26 20:24:25 UTC (rev 5959)
@@ -55,7 +55,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-There are 335 pages. <p><p><a href="#A">A</a> | <a href="#B">B</a> | <a href="#C">C</a> | <a href="#D">D</a> | <a href="#E">E</a> | <a href="#F">F</a> | <a href="#G">G</a> | <a href="#H">H</a> | <a href="#I">I</a> | <a href="#J">J</a> | <a href="#K">K</a> | <a href="#L">L</a> | <a href="#M">M</a> | <a href="#N">N</a> | <a href="#O">O</a> | <a href="#P">P</a> | <a href="#R">R</a> | <a href="#S">S</a> | <a href="#T">T</a> | <a href="#U">U</a> | <a href="#V">V</a> | <a href="#W">W</a> | <a href="#X">X</a> | <a href="#Z">Z</a><br>
+There are 334 pages. <p><p><a href="#A">A</a> | <a href="#B">B</a> | <a href="#C">C</a> | <a href="#D">D</a> | <a href="#E">E</a> | <a href="#F">F</a> | <a href="#G">G</a> | <a href="#H">H</a> | <a href="#I">I</a> | <a href="#J">J</a> | <a href="#K">K</a> | <a href="#L">L</a> | <a href="#M">M</a> | <a href="#N">N</a> | <a href="#O">O</a> | <a href="#P">P</a> | <a href="#R">R</a> | <a href="#S">S</a> | <a href="#T">T</a> | <a href="#U">U</a> | <a href="#V">V</a> | <a href="#W">W</a> | <a href="#X">X</a> | <a href="#Z">Z</a><br>
</p><a name="A"><h3>A</h3></a><a href="AccessControl">AccessControl</a>
<br><a href="AdamGoode">AdamGoode</a>
<br><a href="AdmitsEquality">AdmitsEquality</a>
@@ -68,7 +68,7 @@
<br><a href="Bug">Bug</a>
<br><a href="Bugs20041109">Bugs20041109</a>
<br><a href="Bugs20051202">Bugs20051202</a>
-<br><a href="Bugs200708XX">Bugs200708XX</a>
+<br><a href="Bugs20070826">Bugs20070826</a>
<a name="C"><h3>C</h3></a><a href="CallGraph">CallGraph</a>
<br><a href="CallingFromCToSML">CallingFromCToSML</a>
<br><a href="CallingFromSMLToC">CallingFromSMLToC</a>
@@ -250,7 +250,6 @@
<br><a href="Polyvariance">Polyvariance</a>
<br><a href="Poplog">Poplog</a>
<br><a href="PortingMLton">PortingMLton</a>
-<br><a href="PortStatus">PortStatus</a>
<br><a href="PrecedenceParse">PrecedenceParse</a>
<br><a href="Printf">Printf</a>
<br><a href="PrintfGentle">PrintfGentle</a>
@@ -272,7 +271,7 @@
<br><a href="Regions">Regions</a>
<br><a href="Release20041109">Release20041109</a>
<br><a href="Release20051202">Release20051202</a>
-<br><a href="Release200708XX">Release200708XX</a>
+<br><a href="Release20070826">Release20070826</a>
<br><a href="ReleaseChecklist">ReleaseChecklist</a>
<br><a href="RemoveUnused">RemoveUnused</a>
<br><a href="Restore">Restore</a>
Modified: mlton/trunk/doc/guide/InfixingOperators
===================================================================
--- mlton/trunk/doc/guide/InfixingOperators 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/InfixingOperators 2007-08-26 20:24:25 UTC (rev 5959)
@@ -222,11 +222,22 @@
<p>
The closest approximation of Haskell's <tt>x `f` y</tt> syntax achievable in Standard ML would probably be something like <tt>x `f^ y</tt>, but <tt>^</tt> is already used for string concatenation by the Basis library. Other combinations of the characters <tt>`</tt> and <tt>^</tt> would be possible, but none seems clearly the best visually. The symbols <tt><\</tt>, <tt>\></tt>, <tt></</tt> and <tt>/></tt> are reasonably concise and have a certain self-documenting appearance and symmetry, which can help to remember them. As the names suggest, the symbols of the piping operators <tt>>|</tt> and <tt>|<</tt> are inspired by Unix shell pipelines.
</p>
+<h2 id="head-a4bc8bf5caf54b18cea9f58e83dd4acb488deb17">Also see</h2>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="Utilities">Utilities</a>
+</p>
+</li>
+</ul>
+
</div>
<p>
<hr>
-Last edited on 2006-08-01 10:32:53 by <span title="www-cache2.hel.fi.ssh.com"><a href="VesaKarvonen">VesaKarvonen</a></span>.
+Last edited on 2007-08-26 19:59: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/MLTONWIKIVERSION
===================================================================
--- mlton/trunk/doc/guide/MLTONWIKIVERSION 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/MLTONWIKIVERSION 2007-08-26 20:24:25 UTC (rev 5959)
@@ -1 +1 @@
-20070824
+20070826
Modified: mlton/trunk/doc/guide/OrphanedPages
===================================================================
--- mlton/trunk/doc/guide/OrphanedPages 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/OrphanedPages 2007-08-26 20:24:25 UTC (rev 5959)
@@ -58,8 +58,6 @@
Pages that no other page links to. Also see <a href="WantedPages">WantedPages</a>. <p>
<ol>
<li>
-<a href="PortStatus">PortStatus</a></li>
-<li>
<a href="ZZZOrphanedPages">ZZZOrphanedPages</a></li>
</ol>
Modified: mlton/trunk/doc/guide/PageSize
===================================================================
--- mlton/trunk/doc/guide/PageSize 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/PageSize 2007-08-26 20:24:25 UTC (rev 5959)
@@ -66,8 +66,10 @@
<li>
<tt> 29165 </tt><a href="http://mlton.org/HenryCejtin_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">HenryCejtin/MoinEditorBackup</a></li>
<li>
-<tt> 19518 </tt><a href="TypeIndexedValues">TypeIndexedValues</a></li>
+<tt> 18832 </tt><a href="http://mlton.org/VesaKarvonen_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">VesaKarvonen/MoinEditorBackup</a></li>
<li>
+<tt> 18728 </tt><a href="TypeIndexedValues">TypeIndexedValues</a></li>
+<li>
<tt> 14401 </tt><a href="BasisLibrary">BasisLibrary</a></li>
<li>
<tt> 11993 </tt><a href="http://mlton.org/WesleyTerpstra_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">WesleyTerpstra/MoinEditorBackup</a></li>
@@ -92,7 +94,7 @@
<li>
<tt> 8317 </tt><a href="SyntacticConventions">SyntacticConventions</a></li>
<li>
-<tt> 8242 </tt><a href="InfixingOperators">InfixingOperators</a></li>
+<tt> 8274 </tt><a href="InfixingOperators">InfixingOperators</a></li>
<li>
<tt> 7294 </tt><a href="FunctionalRecordUpdate">FunctionalRecordUpdate</a></li>
<li>
@@ -112,8 +114,6 @@
<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>
@@ -134,7 +134,7 @@
<li>
<tt> 5170 </tt><a href="TipsForWritingConciseSML">TipsForWritingConciseSML</a></li>
<li>
-<tt> 5043 </tt><a href="Release200708XX">Release200708XX</a></li>
+<tt> 5051 </tt><a href="Release20070826">Release20070826</a></li>
<li>
<tt> 5000 </tt><a href="StandardMLGotchas">StandardMLGotchas</a></li>
<li>
@@ -154,10 +154,16 @@
<li>
<tt> 4293 </tt><a href="Bugs20051202">Bugs20051202</a></li>
<li>
+<tt> 4260 </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> 4244 </tt><a href="Fold01N">Fold01N</a></li>
<li>
<tt> 4194 </tt><a href="MLtonProfile">MLtonProfile</a></li>
<li>
+<tt> 4157 </tt><a href="ReleaseChecklist">ReleaseChecklist</a></li>
+<li>
+<tt> 4131 </tt><a href="http://mlton.org/AdamGoode_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">AdamGoode/MoinEditorBackup</a></li>
+<li>
<tt> 4104 </tt><a href="Printf">Printf</a></li>
<li>
<tt> 4101 </tt><a href="Users">Users</a></li>
@@ -166,13 +172,11 @@
<li>
<tt> 3961 </tt><a href="UniversalType">UniversalType</a></li>
<li>
-<tt> 3915 </tt><a href="ReleaseChecklist">ReleaseChecklist</a></li>
-<li>
<tt> 3758 </tt><a href="ReturnStatement">ReturnStatement</a></li>
<li>
<tt> 3753 </tt><a href="ForeignFunctionInterfaceTypes">ForeignFunctionInterfaceTypes</a></li>
<li>
-<tt> 3686 </tt><a href="Release20051202">Release20051202</a></li>
+<tt> 3619 </tt><a href="Release20051202">Release20051202</a></li>
<li>
<tt> 3593 </tt><a href="VariableArityPolymorphism">VariableArityPolymorphism</a></li>
<li>
@@ -188,6 +192,8 @@
<li>
<tt> 3052 </tt><a href="RunTimeOptions">RunTimeOptions</a></li>
<li>
+<tt> 3026 </tt><a href="Fixpoints">Fixpoints</a></li>
+<li>
<tt> 2997 </tt><a href="NumericLiteral">NumericLiteral</a></li>
<li>
<tt> 2995 </tt><a href="ArrayLiteral">ArrayLiteral</a></li>
@@ -198,12 +204,8 @@
<li>
<tt> 2966 </tt><a href="ForeignFunctionInterfaceSyntax">ForeignFunctionInterfaceSyntax</a></li>
<li>
-<tt> 2952 </tt><a href="http://mlton.org/VesaKarvonen_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">VesaKarvonen/MoinEditorBackup</a></li>
-<li>
<tt> 2856 </tt><a href="PropertyList">PropertyList</a></li>
<li>
-<tt> 2856 </tt><a href="Fixpoints">Fixpoints</a></li>
-<li>
<tt> 2816 </tt><a href="Stabilizers">Stabilizers</a></li>
<li>
<tt> 2806 </tt><a href="MLRISCLibrary">MLRISCLibrary</a></li>
@@ -236,8 +238,6 @@
<li>
<tt> 2355 </tt><a href="OCaml">OCaml</a></li>
<li>
-<tt> 2354 </tt><a href="PortStatus">PortStatus</a></li>
-<li>
<tt> 2305 </tt><a href="RunningOnMinGW">RunningOnMinGW</a></li>
<li>
<tt> 2288 </tt><a href="History">History</a></li>
@@ -248,8 +248,6 @@
<li>
<tt> 2236 </tt><a href="RefFlatten">RefFlatten</a></li>
<li>
-<tt> 2202 </tt><a href="http://mlton.org/Experimental"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Experimental</a></li>
-<li>
<tt> 2159 </tt><a href="MLBasisAnnotationExamples">MLBasisAnnotationExamples</a></li>
<li>
<tt> 2158 </tt><a href="ProfilingCounts">ProfilingCounts</a></li>
@@ -272,12 +270,12 @@
<li>
<tt> 1900 </tt><a href="SMLofNJStructure">SMLofNJStructure</a></li>
<li>
+<tt> 1893 </tt><a href="ProductType">ProductType</a></li>
+<li>
<tt> 1893 </tt><a href="Overloading">Overloading</a></li>
<li>
<tt> 1883 </tt><a href="FAQ">FAQ</a></li>
<li>
-<tt> 1875 </tt><a href="ProductType">ProductType</a></li>
-<li>
<tt> 1872 </tt><a href="ConcurrentML">ConcurrentML</a></li>
<li>
<tt> 1859 </tt><a href="Unicode">Unicode</a></li>
@@ -292,6 +290,8 @@
<li>
<tt> 1689 </tt><a href="CallingFromSMLToCFunctionPointer">CallingFromSMLToCFunctionPointer</a></li>
<li>
+<tt> 1684 </tt><a href="VesaKarvonen">VesaKarvonen</a></li>
+<li>
<tt> 1672 </tt><a href="MLtonSyslog">MLtonSyslog</a></li>
<li>
<tt> 1667 </tt><a href="Contact">Contact</a></li>
@@ -306,8 +306,6 @@
<li>
<tt> 1616 </tt><a href="http://mlton.org/JesperLouisAndersen_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">JesperLouisAndersen/MoinEditorBackup</a></li>
<li>
-<tt> 1582 </tt><a href="VesaKarvonen">VesaKarvonen</a></li>
-<li>
<tt> 1562 </tt><a href="DefineTypeBeforeUse">DefineTypeBeforeUse</a></li>
<li>
<tt> 1547 </tt><a href="Shrink">Shrink</a></li>
@@ -508,8 +506,6 @@
<li>
<tt> 590 </tt><a href="DefinitionOfStandardML">DefinitionOfStandardML</a></li>
<li>
-<tt> 589 </tt><a href="Home">Home</a></li>
-<li>
<tt> 585 </tt><a href="RedundantTests">RedundantTests</a></li>
<li>
<tt> 578 </tt><a href="Developers">Developers</a></li>
@@ -562,12 +558,16 @@
<li>
<tt> 480 </tt><a href="MichaelNorrish">MichaelNorrish</a></li>
<li>
+<tt> 466 </tt><a href="Home">Home</a></li>
+<li>
<tt> 465 </tt><a href="MLtonItimer">MLtonItimer</a></li>
<li>
<tt> 462 </tt><a href="LocalFlatten">LocalFlatten</a></li>
<li>
<tt> 457 </tt><a href="Globalize">Globalize</a></li>
<li>
+<tt> 455 </tt><a href="Serialization">Serialization</a></li>
+<li>
<tt> 455 </tt><a href="ConstantPropagation">ConstantPropagation</a></li>
<li>
<tt> 422 </tt><a href="HowToAttachFile">HowToAttachFile</a></li>
@@ -654,7 +654,7 @@
<li>
<tt> 254 </tt><a href="StandardMLHistory">StandardMLHistory</a></li>
<li>
-<tt> 244 </tt><a href="Bugs200708XX">Bugs200708XX</a></li>
+<tt> 244 </tt><a href="Bugs20070826">Bugs20070826</a></li>
<li>
<tt> 244 </tt><a href="TalkFromSMLTo">TalkFromSMLTo</a></li>
<li>
@@ -686,12 +686,12 @@
<li>
<tt> 196 </tt><a href="MoinMoin">MoinMoin</a></li>
<li>
+<tt> 193 </tt><a href="http://mlton.org/Experimental"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Experimental</a></li>
+<li>
<tt> 192 </tt><a href="HenryCejtin">HenryCejtin</a></li>
<li>
<tt> 190 </tt><a href="Variant">Variant</a></li>
<li>
-<tt> 177 </tt><a href="Serialization">Serialization</a></li>
-<li>
<tt> 176 </tt><a href="TalkDiveIn">TalkDiveIn</a></li>
<li>
<tt> 175 </tt><a href="JohnnyAndersen">JohnnyAndersen</a></li>
Deleted: mlton/trunk/doc/guide/PortStatus
===================================================================
--- mlton/trunk/doc/guide/PortStatus 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/PortStatus 2007-08-26 20:24:25 UTC (rev 5959)
@@ -1,341 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
-<html>
-<head>
-<meta name="robots" content="index,nofollow">
-
-
-
-<title>PortStatus - MLton Standard ML Compiler (SML Compiler)</title>
-<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
-<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
-<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
-
-
-<link rel="Start" href="Home">
-
-
-<link rel="Appendix" title="amd64-linux.bench-amd64.txt" href="http://mlton.org/pages/PortStatus/attachments/amd64-linux.bench-amd64.txt">
-<link rel="Appendix" title="amd64-linux.bench-c.txt" href="http://mlton.org/pages/PortStatus/attachments/amd64-linux.bench-c.txt">
-<link rel="Appendix" title="amd64-linux.bench.txt" href="http://mlton.org/pages/PortStatus/attachments/amd64-linux.bench.txt">
-<link rel="Appendix" title="amd64-linux.log" href="http://mlton.org/pages/PortStatus/attachments/amd64-linux.log">
-<link rel="Appendix" title="inline-repeat-loops.amd64-linux.bench-amd64.txt" href="http://mlton.org/pages/PortStatus/attachments/inline-repeat-loops.amd64-linux.bench-amd64.txt">
-<link rel="Appendix" title="inline-repeat.amd64-linux.bench-amd64.txt" href="http://mlton.org/pages/PortStatus/attachments/inline-repeat.amd64-linux.bench-amd64.txt">
-<link rel="Appendix" title="sparc-solaris.log" href="http://mlton.org/pages/PortStatus/attachments/sparc-solaris.log">
-<link rel="Appendix" title="x86-darwin.bench-c.txt" href="http://mlton.org/pages/PortStatus/attachments/x86-darwin.bench-c.txt">
-<link rel="Appendix" title="x86-darwin.bench-x86.txt" href="http://mlton.org/pages/PortStatus/attachments/x86-darwin.bench-x86.txt">
-<link rel="Appendix" title="x86-freebsd.bench.txt" href="http://mlton.org/pages/PortStatus/attachments/x86-freebsd.bench.txt">
-<link rel="Appendix" title="x86-freebsd.log" href="http://mlton.org/pages/PortStatus/attachments/x86-freebsd.log">
-<link rel="Appendix" title="x86-linux.bench.txt" href="http://mlton.org/pages/PortStatus/attachments/x86-linux.bench.txt">
-<link rel="Appendix" title="x86-linux.log" href="http://mlton.org/pages/PortStatus/attachments/x86-linux.log">
-<link rel="Appendix" title="x86-netbsd.log" href="http://mlton.org/pages/PortStatus/attachments/x86-netbsd.log">
-<link rel="Appendix" title="x86-openbsd.log" href="http://mlton.org/pages/PortStatus/attachments/x86-openbsd.log">
-</head>
-
-<body lang="en" dir="ltr">
-
-<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
-</script>
-<script type="text/javascript">
-_uacct = "UA-833377-1";
-urchinTracker();
-</script>
-<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
- <tr>
- <td style = "
- border: 0px;
- color: darkblue;
- font-size: 150%;
- text-align: left;">
- <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
- <td style = "
- border: 0px;
- font-size: 150%;
- text-align: center;
- width: 50%;">
- PortStatus
- <td style = "
- border: 0px;
- text-align: right;">
- <table cellspacing = 0 style = "border: 0px">
- <tr style = "vertical-align: middle;">
- </table>
- <tr style = "background-color: white;">
- <td colspan = 3
- style = "
- border: 0px;
- font-size:70%;
- text-align: right;">
- <a href = "Home">Home</a>
- <a href = "Index">Index</a>
-
-</table>
-<div id="content" lang="en" dir="ltr">
-<h3 id="head-fd4291edb06289e3865797a92026bca638f1f805">x86_64 Branch</h3>
-<p>
-This table accumulates logs and benchmarks.
-</p>
-
-<div>
-<table>
-<tr>
-<td>
- amd64 </td>
-<td>
- Linux </td>
-<td>
- Matthew </td>
-<td>
- <a href="http://mlton.org/pages/PortStatus/attachments/amd64-linux.bench.txt"><img src="moin-www.png" alt="[WWW]" height="11" width="11">amd64-linux.bench.txt</a> </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- FreeBSD </td>
-<td>
- Jesper </td>
-<td>
- <a href="http://mlton.org/pages/PortStatus/attachments/x86-freebsd.bench.txt"><img src="moin-www.png" alt="[WWW]" height="11" width="11">x86-freebsd.bench.txt</a> </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- Linux </td>
-<td>
- Matthew </td>
-<td>
- <a href="http://mlton.org/pages/PortStatus/attachments/x86-linux.bench.txt"><img src="moin-www.png" alt="[WWW]" height="11" width="11">x86-linux.bench.txt</a> </td>
-<td>
- possibly bogus; x86-linux virtual machine hosted on amd64-linux physical machine </td>
-</tr>
-</table>
-</div>
-<hr size="6">
- <h3 id="head-2026cdd4693bed4e14a538233ac9f01bae1a3322">Inlining Benchmarks</h3>
-
-<div>
-<table>
-<tr>
-<td>
- amd64 </td>
-<td>
- Linux </td>
-<td>
- amd64 codegen </td>
-<td>
- <a href="http://mlton.org/pages/PortStatus/attachments/inline-repeat-loops.amd64-linux.bench-amd64.txt"><img src="moin-www.png" alt="[WWW]" height="11" width="11">inline-repeat-loops.amd64-linux.bench-amd64.txt</a> </td>
-</tr>
-<tr>
-<td>
- amd64 </td>
-<td>
- Linux </td>
-<td>
- amd64 codegen </td>
-<td>
- <a href="http://mlton.org/pages/PortStatus/attachments/inline-repeat.amd64-linux.bench-amd64.txt"><img src="moin-www.png" alt="[WWW]" height="11" width="11">inline-repeat.amd64-linux.bench-amd64.txt</a> </td>
-</tr>
-<tr>
-<td>
- amd64 </td>
-<td>
- Linux </td>
-<td>
- amd64 codegen </td>
-<td>
- <a href="http://mlton.org/pages/PortStatus/attachments/amd64-linux.bench-amd64.txt"><img src="moin-www.png" alt="[WWW]" height="11" width="11">amd64-linux.bench-amd64.txt</a> </td>
-</tr>
-<tr>
-<td>
- amd64 </td>
-<td>
- Linux </td>
-<td>
- c codegen </td>
-<td>
- <a href="http://mlton.org/pages/PortStatus/attachments/amd64-linux.bench-c.txt"><img src="moin-www.png" alt="[WWW]" height="11" width="11">amd64-linux.bench-c.txt</a> </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- Darwin </td>
-<td>
- x86 codegen </td>
-<td>
- <a href="http://mlton.org/pages/PortStatus/attachments/x86-darwin.bench-x86.txt"><img src="moin-www.png" alt="[WWW]" height="11" width="11">x86-darwin.bench-x86.txt</a> </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- Darwin </td>
-<td>
- c codegen </td>
-<td>
- <a href="http://mlton.org/pages/PortStatus/attachments/x86-darwin.bench-c.txt"><img src="moin-www.png" alt="[WWW]" height="11" width="11">x86-darwin.bench-c.txt</a> </td>
-</tr>
-</table>
-</div>
-<hr size="6">
- <h3 id="head-f89e29500b93acf453ed25b36aa09467008a688d">x86_64 Branch Runtime (20060525)</h3>
-<p>
-This table shows who's working on which port of the x86_64 branch and what the status is.
-</p>
-
-<div>
-<table>
-<tr>
-<td>
- amd64 </td>
-<td>
- Linux </td>
-<td>
- Matthew </td>
-<td>
- (<tt>-m32</tt>) done <a href="http://mlton.org/pages/PortStatus/attachments/amd64-linux.log"><img src="moin-www.png" alt="[WWW]" height="11" width="11">amd64-linux.log</a> (Fedora Core 4) </td>
-</tr>
-<tr>
-<td>
- amd64 </td>
-<td>
- FreeBSD </td>
-<td>
- Jesper </td>
-<td>
- Runtime compiles, but has bugs</td>
-</tr>
-<tr>
-<td>
- HPPA </td>
-<td>
- HP-UX </td>
-<td>
- Ville </td>
-<td>
- runtime compiles </td>
-</tr>
-<tr>
-<td>
- PowerPC </td>
-<td>
- AIX </td>
-<td>
- Ville </td>
-<td>
- </td>
-</tr>
-<tr>
-<td>
- PowerPC </td>
-<td>
- Darwin </td>
-<td>
- Wesley </td>
-<td>
- done </td>
-</tr>
-<tr>
-<td>
- PowerPC </td>
-<td>
- Linux </td>
-<td>
- Wesley </td>
-<td>
- done </td>
-</tr>
-<tr>
-<td>
- Sparc </td>
-<td>
- Solaris </td>
-<td>
- Stephen </td>
-<td>
- done <a href="http://mlton.org/pages/PortStatus/attachments/sparc-solaris.log"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sparc-solaris.log</a> (SunOS 5.8) </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- Cygwin </td>
-<td>
- Stephen </td>
-<td>
- runtime compiles </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- Darwin </td>
-<td>
- </td>
-<td>
- </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- FreeBSD </td>
-<td>
- Matthew </td>
-<td>
- done <a href="http://mlton.org/pages/PortStatus/attachments/x86-freebsd.log"><img src="moin-www.png" alt="[WWW]" height="11" width="11">x86-freebsd.log</a> (FreeBSD 6.1) </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- Linux </td>
-<td>
- Matthew </td>
-<td>
- done <a href="http://mlton.org/pages/PortStatus/attachments/x86-linux.log"><img src="moin-www.png" alt="[WWW]" height="11" width="11">x86-linux.log</a> (Red Hat Enterprise Linux AS 4) </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- MinGW </td>
-<td>
- Wesley </td>
-<td>
- done </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- NetBSD </td>
-<td>
- Matthew </td>
-<td>
- done <a href="http://mlton.org/pages/PortStatus/attachments/x86-netbsd.log"><img src="moin-www.png" alt="[WWW]" height="11" width="11">x86-netbsd.log</a> (NetBSD 3.0) </td>
-</tr>
-<tr>
-<td>
- x86 </td>
-<td>
- OpenBSD </td>
-<td>
- Matthew </td>
-<td>
- done <a href="http://mlton.org/pages/PortStatus/attachments/x86-openbsd.log"><img src="moin-www.png" alt="[WWW]" height="11" width="11">x86-openbsd.log</a> (OpenBSD 3.9) </td>
-</tr>
-</table>
-</div>
-<p>
-Logs produced with <tt>(gmake all-no-docs ; ./bin/regression) 2>&1 | tee x86-netbsd.log</tt>.
-</p>
-</div>
-
-
-
-<p>
-<hr>
-Last edited on 2007-08-07 14:36:24 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
-</body></html>
Modified: mlton/trunk/doc/guide/ProductType
===================================================================
--- mlton/trunk/doc/guide/ProductType 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/ProductType 2007-08-26 20:24:25 UTC (rev 5959)
@@ -121,6 +121,11 @@
<a href="VariableArityPolymorphism">VariableArityPolymorphism</a>
</p>
</li>
+ <li>
+<p>
+ <a href="Utilities">Utilities</a>
+</p>
+</li>
</ul>
</div>
@@ -129,5 +134,5 @@
<p>
<hr>
-Last edited on 2007-08-15 22:07:11 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-26 19:59: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/Release20051202
===================================================================
--- mlton/trunk/doc/guide/Release20051202 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/Release20051202 2007-08-26 20:24:25 UTC (rev 5959)
@@ -56,7 +56,7 @@
</table>
<div id="content" lang="en" dir="ltr">
<p>
-Here you can download the latest public release of MLton, version 20051202. Elsewhere you can download newer, <a href="http://mlton.org/Experimental"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Experimental</a> releases.
+This is an archived public release of MLton, version 20051202.
</p>
<h2 id="head-9fa56f6715598f7143da2e8633da0b6fa4b9cfa7">Changes since the last public release</h2>
@@ -375,7 +375,7 @@
</ul>
-<h2 id="head-90d5279ca067f7c2b549e11a8bfdc12552e443d5">20051202 sources</h2>
+<h2 id="head-f18a5c1c80fc2949da67f53e50afc37dcc250a85">20051202 source packages</h2>
<ul>
@@ -448,5 +448,5 @@
<p>
<hr>
-Last edited on 2007-08-24 20:21:14 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-26 19:56:57 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Added: mlton/trunk/doc/guide/Release20070826
===================================================================
--- mlton/trunk/doc/guide/Release20070826 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/Release20070826 2007-08-26 20:24:25 UTC (rev 5959)
@@ -0,0 +1,350 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+<meta name="robots" content="index,nofollow">
+
+
+
+<title>Release20070826 - MLton Standard ML Compiler (SML Compiler)</title>
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
+
+
+<link rel="Start" href="Home">
+
+
+</head>
+
+<body lang="en" dir="ltr">
+
+<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
+</script>
+<script type="text/javascript">
+_uacct = "UA-833377-1";
+urchinTracker();
+</script>
+<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
+ <tr>
+ <td style = "
+ border: 0px;
+ color: darkblue;
+ font-size: 150%;
+ text-align: left;">
+ <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
+ <td style = "
+ border: 0px;
+ font-size: 150%;
+ text-align: center;
+ width: 50%;">
+ Release20070826
+ <td style = "
+ border: 0px;
+ text-align: right;">
+ <table cellspacing = 0 style = "border: 0px">
+ <tr style = "vertical-align: middle;">
+ </table>
+ <tr style = "background-color: white;">
+ <td colspan = 3
+ style = "
+ border: 0px;
+ font-size:70%;
+ text-align: right;">
+ <a href = "Home">Home</a>
+ <a href = "Index">Index</a>
+
+</table>
+<div id="content" lang="en" dir="ltr">
+Here you can download the latest public release of MLton, version 20070826. Elsewhere you can download newer, <a href="http://mlton.org/Experimental"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Experimental</a> releases. <h2 id="head-9fa56f6715598f7143da2e8633da0b6fa4b9cfa7">Changes since the last public release</h2>
+
+ <ul>
+
+ <li>
+<p>
+ New platforms:
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="RunningOnAMD64">AMD64</a>/<a href="RunningOnLinux">Linux</a>, <a href="RunningOnAMD64">AMD64</a>/<a href="RunningOnFreeBSD">FreeBSD</a>
+</p>
+</li>
+ <li>
+<p>
+ <a href="RunningOnHPPA">HPPA</a>/<a href="RunningOnHPUX">HPUX</a>
+</p>
+</li>
+ <li>
+<p>
+ <a href="RunningOnPowerPC">PowerPC</a>/<a href="RunningOnAIX">AIX</a>
+</p>
+</li>
+ <li>
+<p>
+ <a href="RunningOnX86">X86</a>/<a href="RunningOnDarwin">Darwin (Mac OS X)</a>
+</p>
+</li>
+
+ </ul>
+
+
+ <li>
+<p>
+ Compiler.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ Support for 64-bit platforms.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ Native amd64 codegen.
+</p>
+</li>
+
+ </ul>
+
+
+ <li>
+<p>
+ <a href="CompileTimeOptions">Compile-time options</a>.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ Added: <tt>-codegen amd64</tt>, <tt>-codegen x86</tt>, <tt>-default-type </tt><em>type</em>, <tt>-profile-val {false|true}</tt>.
+</p>
+</li>
+ <li>
+<p>
+ Changed: <tt>-stop f</tt> (file listing now includes <tt>.mlb</tt> files).
+</p>
+</li>
+
+ </ul>
+
+
+ <li>
+<p>
+ Bytecode codegen.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ Support for exception history.
+</p>
+</li>
+ <li>
+<p>
+ Support for profiling.
+</p>
+</li>
+
+ </ul>
+
+
+
+ </ul>
+
+
+ <li>
+<p>
+ Language.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="MLBasisAnnotations">ML Basis annotations</a>.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ Removed: <tt>allowExport</tt>, <tt>allowImport</tt>, <tt>sequenceUnit</tt>, <tt>warnMatch</tt>.
+</p>
+</li>
+
+ </ul>
+
+
+
+ </ul>
+
+
+ <li>
+<p>
+ Libraries.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="BasisLibrary">Basis Library</a>.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ Added: <tt>PackWord16Big</tt>, <tt>PackWord16Little</tt>, <tt>PackWord64Big</tt>, <tt>PackWord64Little</tt>.
+</p>
+</li>
+ <li>
+<p>
+ Bug Fixes: see <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20070826-release/doc/changelog"><img src="moin-www.png" alt="[WWW]" height="11" width="11">changelog</a>.
+</p>
+</li>
+
+ </ul>
+
+
+ <li>
+<p>
+ <a href="MLtonStructure">MLton structure</a>.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ Added: <tt>MLTON_MONO_ARRAY</tt>, <tt>MLTON_MONO_VECTOR</tt>, <tt>MLTON_REAL</tt>, <tt>MLton.BinIO.tempPrefix</tt>, <tt>MLton.CharArray</tt>, <tt>MLton.CharVector</tt>, <tt>MLton.Exn.defaultTopLevelHandler</tt>, <tt>MLton.Exn.getTopLevelHandler</tt>, <tt>MLton.Exn.setTopLevelHandler</tt>, <tt>MLton.IntInf.BigWord</tt>, <tt>Mlton.IntInf.SmallInt</tt>, <tt>MLton.LargeReal</tt>, <tt>MLton.LargeWord</tt>, <tt>MLton.Real</tt>, <tt>MLton.Real32</tt>, <tt>MLton.Real64</tt>, <tt>MLton.Rlimit.Rlim</tt>, <tt>MLton.TextIO.tempPrefix</tt>, <tt>MLton.Vector.create</tt>, <tt>MLton.Word.bswap</tt>, <tt>MLton.Word8.bswap</tt>, <tt>MLton.Word16</tt>, <tt>MLton.Word32</tt>, <tt>MLton.Word64</tt>, <tt>MLton.Word8Array</tt>, <tt>MLton.Word8Vector</tt>.
+</p>
+</li>
+ <li>
+<p>
+ Changed: <tt>MLton.Array.unfoldi</tt>, <tt>MLton.IntInf.rep</tt>, <tt>MLton.Rlimit</tt>, <tt>MLton.Vector.unfoldi</tt>.
+</p>
+</li>
+ <li>
+<p>
+ Deprecated: <tt>MLton.Socket</tt>.
+</p>
+</li>
+
+ </ul>
+
+
+ <li>
+<p>
+ Other libraries.
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ Added: <a href="MLRISCLibrary">MLRISC library</a>.
+</p>
+</li>
+ <li>
+<p>
+ Updated: <a href="CKitLibrary">ckit library</a>, <a href="SMLNJLibrary">SML/NJ library</a>.
+</p>
+</li>
+
+ </ul>
+
+
+
+ </ul>
+
+
+ <li>
+<p>
+ Tools.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+For a complete list of changes and bug fixes since <a href="Release20051202">Release20051202</a>, see the <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20070826-release/doc/changelog"><img src="moin-www.png" alt="[WWW]" height="11" width="11">changelog</a> and <a href="Bugs20051202">Bugs20051202</a>.
+</p>
+<h2 id="head-d62432d3375582b0d63518db784f802c69fac82f">20070826 binary packages</h2>
+<p>
+
+</p>
+<h2 id="head-3c37f5e19583a54a2bd97e294cdca7b44008313b">20070826 source packages</h2>
+<p>
+
+</p>
+<h2 id="head-c9f200c953410684e25381b86acb0096e9ca73f2">Packages available at other sites</h2>
+
+ <ul>
+
+ <li>
+<p>
+ <a class="external" href="http://packages.debian.org/cgi-bin/search_packages.pl?keywords=mlton&searchon=names&version=all&release=all"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Debian</a>
+</p>
+</li>
+ <li>
+<p>
+ <a class="external" href="http://www.freebsd.org/cgi/ports.cgi?query=mlton&stype=all"><img src="moin-www.png" alt="[WWW]" height="11" width="11">FreeBSD</a>
+</p>
+</li>
+ <li>
+<p>
+ <a class="external" href="http://koji.fedoraproject.org/koji/packageinfo?packageID=2541"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Fedora</a>
+</p>
+</li>
+ <li>
+<p>
+ <a class="external" href="http://packages.ubuntu.com/cgi-bin/search_packages.pl?keywords=mlton&searchon=names&version=all&release=all"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Ubuntu</a>
+</p>
+</li>
+
+ </ul>
+
+
+<h2 id="head-a4bc8bf5caf54b18cea9f58e83dd4acb488deb17">Also see</h2>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="Bugs20070826">Bugs20070826</a>
+</p>
+</li>
+ <li>
+<p>
+ <a class="external" href="http://mlton.org/guide/20070826/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MLton Guide (20070826)</a>. A snapshot of the MLton wiki at the time of release.
+</p>
+</li>
+</ul>
+
+</div>
+
+
+
+<p>
+<hr>
+Last edited on 2007-08-26 19:57:04 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+</body></html>
Deleted: mlton/trunk/doc/guide/Release200708XX
===================================================================
--- mlton/trunk/doc/guide/Release200708XX 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/Release200708XX 2007-08-26 20:24:25 UTC (rev 5959)
@@ -1,350 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
-<html>
-<head>
-<meta name="robots" content="index,nofollow">
-
-
-
-<title>Release200708XX - MLton Standard ML Compiler (SML Compiler)</title>
-<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
-<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
-<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
-
-
-<link rel="Start" href="Home">
-
-
-</head>
-
-<body lang="en" dir="ltr">
-
-<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
-</script>
-<script type="text/javascript">
-_uacct = "UA-833377-1";
-urchinTracker();
-</script>
-<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
- <tr>
- <td style = "
- border: 0px;
- color: darkblue;
- font-size: 150%;
- text-align: left;">
- <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
- <td style = "
- border: 0px;
- font-size: 150%;
- text-align: center;
- width: 50%;">
- Release200708XX
- <td style = "
- border: 0px;
- text-align: right;">
- <table cellspacing = 0 style = "border: 0px">
- <tr style = "vertical-align: middle;">
- </table>
- <tr style = "background-color: white;">
- <td colspan = 3
- style = "
- border: 0px;
- font-size:70%;
- text-align: right;">
- <a href = "Home">Home</a>
- <a href = "Index">Index</a>
-
-</table>
-<div id="content" lang="en" dir="ltr">
-Here you can download the latest public release of MLton, version 200708XX. Elsewhere you can download newer, <a href="http://mlton.org/Experimental"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Experimental</a> releases. <h2 id="head-9fa56f6715598f7143da2e8633da0b6fa4b9cfa7">Changes since the last public release</h2>
-
- <ul>
-
- <li>
-<p>
- New platforms:
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- <a href="RunningOnAMD64">AMD64</a>/<a href="RunningOnLinux">Linux</a>, <a href="RunningOnAMD64">AMD64</a>/<a href="RunningOnFreeBSD">FreeBSD</a>
-</p>
-</li>
- <li>
-<p>
- <a href="RunningOnHPPA">HPPA</a>/<a href="RunningOnHPUX">HPUX</a>
-</p>
-</li>
- <li>
-<p>
- <a href="RunningOnPowerPC">PowerPC</a>/<a href="RunningOnAIX">AIX</a>
-</p>
-</li>
- <li>
-<p>
- <a href="RunningOnX86">X86</a>/<a href="RunningOnDarwin">Darwin (Mac OS X)</a>
-</p>
-</li>
-
- </ul>
-
-
- <li>
-<p>
- Compiler.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- Support for 64-bit platforms.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- Native amd64 codegen.
-</p>
-</li>
-
- </ul>
-
-
- <li>
-<p>
- <a href="CompileTimeOptions">Compile-time options</a>.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- Added: <tt>-codegen amd64</tt>, <tt>-codegen x86</tt>, <tt>-default-type </tt><em>type</em>, <tt>-profile-val {false|true}</tt>.
-</p>
-</li>
- <li>
-<p>
- Changed: <tt>-stop f</tt> (file listing now includes <tt>.mlb</tt> files).
-</p>
-</li>
-
- </ul>
-
-
- <li>
-<p>
- Bytecode codegen.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- Support for exception history.
-</p>
-</li>
- <li>
-<p>
- Support for profiling.
-</p>
-</li>
-
- </ul>
-
-
-
- </ul>
-
-
- <li>
-<p>
- Language.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- <a href="MLBasisAnnotations">ML Basis annotations</a>.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- Removed: <tt>allowExport</tt>, <tt>allowImport</tt>, <tt>sequenceUnit</tt>, <tt>warnMatch</tt>.
-</p>
-</li>
-
- </ul>
-
-
-
- </ul>
-
-
- <li>
-<p>
- Libraries.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- <a href="BasisLibrary">Basis Library</a>.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- Added: <tt>PackWord16Big</tt>, <tt>PackWord16Little</tt>, <tt>PackWord64Big</tt>, <tt>PackWord64Little</tt>.
-</p>
-</li>
- <li>
-<p>
- Bug Fixes: see <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-200708XX-release/doc/changelog"><img src="moin-www.png" alt="[WWW]" height="11" width="11">changelog</a>.
-</p>
-</li>
-
- </ul>
-
-
- <li>
-<p>
- <a href="MLtonStructure">MLton structure</a>.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- Added: <tt>MLTON_MONO_ARRAY</tt>, <tt>MLTON_MONO_VECTOR</tt>, <tt>MLTON_REAL</tt>, <tt>MLton.BinIO.tempPrefix</tt>, <tt>MLton.CharArray</tt>, <tt>MLton.CharVector</tt>, <tt>MLton.Exn.defaultTopLevelHandler</tt>, <tt>MLton.Exn.getTopLevelHandler</tt>, <tt>MLton.Exn.setTopLevelHandler</tt>, <tt>MLton.IntInf.BigWord</tt>, <tt>Mlton.IntInf.SmallInt</tt>, <tt>MLton.LargeReal</tt>, <tt>MLton.LargeWord</tt>, <tt>MLton.Real</tt>, <tt>MLton.Real32</tt>, <tt>MLton.Real64</tt>, <tt>MLton.Rlimit.Rlim</tt>, <tt>MLton.TextIO.tempPrefix</tt>, <tt>MLton.Vector.create</tt>, <tt>MLton.Word.bswap</tt>, <tt>MLton.Word8.bswap</tt>, <tt>MLton.Word16</tt>, <tt>MLton.Word32</tt>, <tt>MLton.Word64</tt>, <tt>MLton.Word8Array</tt>, <tt>MLton.Word8Vector</tt>.
-</p>
-</li>
- <li>
-<p>
- Changed: <tt>MLton.Array.unfoldi</tt>, <tt>MLton.IntInf.rep</tt>, <tt>MLton.Rlimit</tt>, <tt>MLton.Vector.unfoldi</tt>.
-</p>
-</li>
- <li>
-<p>
- Deprecated: <tt>MLton.Socket</tt>.
-</p>
-</li>
-
- </ul>
-
-
- <li>
-<p>
- Other libraries.
-</p>
-</li>
-
- <ul>
-
- <li>
-<p>
- Added: <a href="MLRISCLibrary">MLRISC library</a>.
-</p>
-</li>
- <li>
-<p>
- Updated: <a href="CKitLibrary">ckit library</a>, <a href="SMLNJLibrary">SML/NJ library</a>.
-</p>
-</li>
-
- </ul>
-
-
-
- </ul>
-
-
- <li>
-<p>
- Tools.
-</p>
-</li>
-
- </ul>
-
-
-<p>
-For a complete list of changes and bug fixes since <a href="Release20051202">Release20051202</a>, see the <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-200708XX-release/doc/changelog"><img src="moin-www.png" alt="[WWW]" height="11" width="11">changelog</a> and <a href="Bugs20051202">Bugs20051202</a>.
-</p>
-<h2 id="head-8c49abcb0ee11fc4a0e06cf7a412250e82455812">200708XX binary packages</h2>
-<p>
-
-</p>
-<h2 id="head-979916d6a2485d2f520cac2d82bc33988638f81b">200708XX sources</h2>
-<p>
-
-</p>
-<h2 id="head-c9f200c953410684e25381b86acb0096e9ca73f2">Packages available at other sites</h2>
-
- <ul>
-
- <li>
-<p>
- <a class="external" href="http://packages.debian.org/cgi-bin/search_packages.pl?keywords=mlton&searchon=names&version=all&release=all"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Debian</a>
-</p>
-</li>
- <li>
-<p>
- <a class="external" href="http://www.freebsd.org/cgi/ports.cgi?query=mlton&stype=all"><img src="moin-www.png" alt="[WWW]" height="11" width="11">FreeBSD</a>
-</p>
-</li>
- <li>
-<p>
- <a class="external" href="http://koji.fedoraproject.org/koji/packageinfo?packageID=2541"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Fedora</a>
-</p>
-</li>
- <li>
-<p>
- <a class="external" href="http://packages.ubuntu.com/cgi-bin/search_packages.pl?keywords=mlton&searchon=names&version=all&release=all"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Ubuntu</a>
-</p>
-</li>
-
- </ul>
-
-
-<h2 id="head-a4bc8bf5caf54b18cea9f58e83dd4acb488deb17">Also see</h2>
-
- <ul>
-
- <li>
-<p>
- <a href="Bugs200708XX">Bugs200708XX</a>
-</p>
-</li>
- <li>
-<p>
- <a class="external" href="http://mlton.org/guide/200708XX/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MLton Guide (200708XX)</a>. A snapshot of the MLton wiki at the time of release.
-</p>
-</li>
-</ul>
-
-</div>
-
-
-
-<p>
-<hr>
-Last edited on 2007-08-24 20:21:18 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
-</body></html>
Modified: mlton/trunk/doc/guide/ReleaseChecklist
===================================================================
--- mlton/trunk/doc/guide/ReleaseChecklist 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/ReleaseChecklist 2007-08-26 20:24:25 UTC (rev 5959)
@@ -252,6 +252,23 @@
</p>
</li>
+ <ul>
+
+ <li>
+<p>
+ Change <tt>What's new?</tt> text to <tt>Please try out our new release, [:ReleaseYYYYMMDD:MLton YYYYMMDD]</tt>.
+</p>
+</li>
+
+ </ul>
+
+
+ <li>
+<p>
+ Clear <a href="http://mlton.org/Experimental"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Experimental</a>.
+</p>
+</li>
+
</ul>
@@ -302,7 +319,7 @@
<li>
<p>
Shell commands:
-<pre>svn copy svn+ssh://mlton.org/svnroot/mlton/trunk svn+ssh://mlton.org/svnroot/mlton/tags/on-YYYYMMDD-release
+<pre>svn copy -m "Tagging YYYYMMDD release" svn+ssh://mlton.org/svnroot/mlton/trunk svn+ssh://mlton.org/svnroot/mlton/tags/on-YYYYMMDD-release
</pre>
</p>
</li>
@@ -387,7 +404,7 @@
</li>
<li>
<p>
- RedHat: ???
+ Red Hat: Fedora 8 will have MLton packaged soon after the release, at least for 32-bit arches. Fedora 7 and 6 will likely follow.
</p>
</li>
@@ -425,24 +442,7 @@
</ul>
- <li>
-<p>
- Wiki
-</p>
-</li>
- <ul>
-
- <li>
-<p>
- <a href="http://mlton.org/Experimental"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Experimental</a> is cleared.
-</p>
-</li>
-
- </ul>
-
-
-
</ul>
@@ -530,5 +530,5 @@
<p>
<hr>
-Last edited on 2007-08-24 21:39:58 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-26 20:11:40 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/Serialization
===================================================================
--- mlton/trunk/doc/guide/Serialization 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/Serialization 2007-08-26 20:24:25 UTC (rev 5959)
@@ -55,7 +55,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-<a href="StandardML">Standard ML</a> does not have built-in support for serialization. Here are papers that describes a user-level approach.
+<a href="StandardML">Standard ML</a> does not have built-in support for serialization. Here are papers that describe user-level approaches:
<ul>
<li>
@@ -68,13 +68,18 @@
<a href = "References#Kennedy04">Kennedy04</a>
</p>
</li>
-</ul>
+ </ul>
+
+
+<p>
+The MLton repository also contains an experimental generic programming library (see <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/generic/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) that includes a pickling (serialization) generic (see <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/generic/unstable/public/value/pickle.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">pickle.sig</a>).
+</p>
</div>
<p>
<hr>
-Last edited on 2005-12-02 01:46:34 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-26 01:29:29 by <span title="cs27019070.pp.htv.fi"><a href="VesaKarvonen">VesaKarvonen</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/SystemInfo
===================================================================
--- mlton/trunk/doc/guide/SystemInfo 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/SystemInfo 2007-08-26 20:24:25 UTC (rev 5959)
@@ -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>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
+[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>2182</dd><dt>Accumulated page sizes</dt><dd>793837</dd><dt>Entries in edit log</dt><dd>2811 (278911 bytes)</dd><dt>Event log</dt><dd>104022553 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>
Modified: mlton/trunk/doc/guide/TypeIndexedValues
===================================================================
--- mlton/trunk/doc/guide/TypeIndexedValues 2007-08-26 18:18:56 UTC (rev 5958)
+++ mlton/trunk/doc/guide/TypeIndexedValues 2007-08-26 20:24:25 UTC (rev 5959)
@@ -55,10 +55,10 @@
</table>
<div id="content" lang="en" dir="ltr">
-<a href="StandardML">Standard ML</a> does not support ad hoc polymorphism. This presents a challenge to programmers. The problem is that at first glance there seems to be no practical way to implement something like a function for converting a value of any type to a string or a function for computing a hash value for a value of any type. Fortunately there are ways to implement type-indexed values in SML as discussed in <a href = "References#Yang98">Yang98</a>. Various articles such as <a href = "References#Danvy98">Danvy98</a>, <a href = "References#Ramsey03">Ramsey03</a>, <a href = "References#Elsman04">Elsman04</a>, <a href = "References#Kennedy04">Kennedy04</a>, and <a href = "References#Benton05">Benton05</a> also contain examples of type-indexed values. <h2 id="head-2ea0b5ca6b0ef3808544cdd88ef0b644bbad42c4">Example: Converting any SML value to (roughly) SML syntax</h2>
-<p>
-<strong>NOTE:</strong> This is example is work-in-progress. Please send your comments to the <a class="external" href="mailto:MLton-user at mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">MLton-user at mlton.org</a> list.
+<a href="StandardML">Standard ML</a> does not support ad hoc polymorphism. This presents a challenge to programmers. The problem is that at first glance there seems to be no practical way to implement something like a function for converting a value of any type to a string or a function for computing a hash value for a value of any type. Fortunately there are ways to implement type-indexed values in SML as discussed in <a href = "References#Yang98">Yang98</a>. Various articles such as <a href = "References#Danvy98">Danvy98</a>, <a href = "References#Ramsey03">Ramsey03</a>, <a href = "References#Elsman04">Elsman04</a>, <a href = "References#Kennedy04">Kennedy04</a>, and <a href = "References#Benton05">Benton05</a> also contain examples of type-indexed values. <p>
+<strong>NOTE:</strong> The technique used in the following example uses an early (and somewhat broken) variation of the basic technique used in an experimental generic programming library (see <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/generic/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>) that can be found from the MLton repository. The generic programming library also includes a more advanced generic pretty printing function (see <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/generic/unstable/public/value/pretty.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">pretty.sig</a>).
</p>
+<h2 id="head-2ea0b5ca6b0ef3808544cdd88ef0b644bbad42c4">Example: Converting any SML value to (roughly) SML syntax</h2>
<p>
Consider the problem of converting any SML value to a textual presentation that matches the syntax of SML as closely as possible. One solution is a type-indexed function that maps a given type to a function that maps any value (of the type) to its textual presentation. A type-indexed function like this can be useful for a variety of purposes. For example, one could use it to show debugging information. We'll call this function "<tt>show</tt>".
</p>
@@ -66,7 +66,7 @@
We'll do a fairly complete implementation of <tt>show</tt>. We do not distinguish infix and nonfix constructors, but that is not an intrinsic property of SML datatypes. We also don't reconstruct a type name for the value, although it would be particularly useful for functional values. To reconstruct type names, some changes would be needed and the reader is encouraged to consider how to do that. A more realistic implementation would use some pretty printing combinators to compute a layout for the result. This should be a relatively easy change (given a suitable pretty printing library). Cyclic values (through references and arrays) do not have a standard textual presentation and it is impossible to convert arbitrary functional values (within SML) to a meaningful textual presentation. Finally, it would also make sense to show sharing of references and arrays. We'll leave these improvements to an actual library implementation.
</p>
<p>
-We'll make use of the <a href="Fixpoints">fixpoint framework</a>, which is actually also a simple type-indexed function. The following code assumes that the <tt>Fix</tt> structure and <a href="Utilities">utilities</a> are in scope.
+The following code uses the <a href="Fixpoints">fixpoint framework</a> and other utilities from an Extended Basis library (see <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/extended-basis/unstable/README?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">README</a>).
</p>
<h3 id="head-2f32be1dc74166373c988ec03b0bd86f0a576919">Signature</h3>
<p>
@@ -76,58 +76,57 @@
<pre class=code>
<B><FONT COLOR="#A020F0">infixr</FONT></B> -->
-<B><FONT COLOR="#0000FF">signature</FONT></B> SHOW =
- <B><FONT COLOR="#0000FF">sig</FONT></B>
- <B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> 'a t <I><FONT COLOR="#B22222">(* complete type-index *)</FONT></I>
- </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> 'a s <I><FONT COLOR="#B22222">(* incomplete sum *)</FONT></I>
- </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> ('a, 'k) p <I><FONT COLOR="#B22222">(* incomplete product *)</FONT></I>
- </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> u <I><FONT COLOR="#B22222">(* tuple or unlabelled product *)</FONT></I>
- </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> l <I><FONT COLOR="#B22222">(* record or labelled product *)</FONT></I>
+<B><FONT COLOR="#0000FF">signature</FONT></B> SHOW = <B><FONT COLOR="#0000FF">sig</FONT></B>
+ <B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> 'a t <I><FONT COLOR="#B22222">(* complete type-index *)</FONT></I>
+ </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> 'a s <I><FONT COLOR="#B22222">(* incomplete sum *)</FONT></I>
+ </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> ('a, 'k) p <I><FONT COLOR="#B22222">(* incomplete product *)</FONT></I>
+ </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> u <I><FONT COLOR="#B22222">(* tuple or unlabelled product *)</FONT></I>
+ </FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> l <I><FONT COLOR="#B22222">(* record or labelled product *)</FONT></I>
- </FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> show : 'a t -> 'a -> string
+ </FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> show : 'a t -> 'a -> string
- <I><FONT COLOR="#B22222">(* user-defined types *)</FONT></I>
- <B><FONT COLOR="#A020F0">val</FONT></B> inj : ('a -> 'b) -> 'b t -> 'a t
+ <I><FONT COLOR="#B22222">(* user-defined types *)</FONT></I>
+ <B><FONT COLOR="#A020F0">val</FONT></B> inj : ('a -> 'b) -> 'b t -> 'a t
- <I><FONT COLOR="#B22222">(* tuples and records *)</FONT></I>
- <B><FONT COLOR="#A020F0">val</FONT></B> * : ('a, 'k) p * ('b, 'k) p -> (('a, 'b) product, 'k) p
+ <I><FONT COLOR="#B22222">(* tuples and records *)</FONT></I>
+ <B><FONT COLOR="#A020F0">val</FONT></B> * : ('a, 'k) p * ('b, 'k) p -> (('a, 'b) product, 'k) p
- <B><FONT COLOR="#A020F0">val</FONT></B> U : 'a t -> ('a, u) p
- <B><FONT COLOR="#A020F0">val</FONT></B> L : string -> 'a t -> ('a, l) p
+ <B><FONT COLOR="#A020F0">val</FONT></B> U : 'a t -> ('a, u) p
+ <B><FONT COLOR="#A020F0">val</FONT></B> L : string -> 'a t -> ('a, l) p
- <B><FONT COLOR="#A020F0">val</FONT></B> tuple : ('a, u) p -> 'a t
- <B><FONT COLOR="#A020F0">val</FONT></B> record : ('
More information about the MLton-commit
mailing list