[MLton-commit] r4072
Stephen Weeks
MLton@mlton.org
Tue, 6 Sep 2005 12:36:13 -0700
Grab wiki script now adds moin-www.png before links to mlton.org.
----------------------------------------------------------------------
U mlton/trunk/bin/grab-wiki
U mlton/trunk/doc/guide/AST
U mlton/trunk/doc/guide/AccessControl
U mlton/trunk/doc/guide/AllocateRegisters
U mlton/trunk/doc/guide/BasisLibrary
U mlton/trunk/doc/guide/Bug
U mlton/trunk/doc/guide/CKitLibrary
U mlton/trunk/doc/guide/CallingFromCToSML
U mlton/trunk/doc/guide/CallingFromSMLToC
U mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
U mlton/trunk/doc/guide/Chunkify
U mlton/trunk/doc/guide/ClosureConvert
U mlton/trunk/doc/guide/CommonArg
U mlton/trunk/doc/guide/CommonBlock
U mlton/trunk/doc/guide/CommonSubexp
U mlton/trunk/doc/guide/CompilerOverview
U mlton/trunk/doc/guide/CompilerPassTemplate
U mlton/trunk/doc/guide/ConcurrentMLImplementation
U mlton/trunk/doc/guide/ConstantPropagation
U mlton/trunk/doc/guide/Contact
U mlton/trunk/doc/guide/Contify
U mlton/trunk/doc/guide/CoreML
U mlton/trunk/doc/guide/CoreMLSimplify
U mlton/trunk/doc/guide/CreatingPages
U mlton/trunk/doc/guide/DeadCode
U mlton/trunk/doc/guide/DeepFlatten
U mlton/trunk/doc/guide/Defunctorize
U mlton/trunk/doc/guide/Documentation
U mlton/trunk/doc/guide/EditingPages
U mlton/trunk/doc/guide/Elaborate
U mlton/trunk/doc/guide/Emacs
U mlton/trunk/doc/guide/Enscript
U mlton/trunk/doc/guide/Experimental
U mlton/trunk/doc/guide/FAQ
U mlton/trunk/doc/guide/Flatten
U mlton/trunk/doc/guide/FrontEnd
U mlton/trunk/doc/guide/FunctionalRecordUpdate
U mlton/trunk/doc/guide/GarbageCollection
U mlton/trunk/doc/guide/Globalize
U mlton/trunk/doc/guide/Home
U mlton/trunk/doc/guide/HowProfilingWorks
U mlton/trunk/doc/guide/ImplementExceptions
U mlton/trunk/doc/guide/ImplementHandlers
U mlton/trunk/doc/guide/ImplementProfiling
U mlton/trunk/doc/guide/ImplementSuffix
U mlton/trunk/doc/guide/Inline
U mlton/trunk/doc/guide/InsertLimitChecks
U mlton/trunk/doc/guide/InsertSignalChecks
U mlton/trunk/doc/guide/IntroduceLoops
U mlton/trunk/doc/guide/KnownCase
U mlton/trunk/doc/guide/LambdaFree
U mlton/trunk/doc/guide/LanguageChanges
U mlton/trunk/doc/guide/Libraries
U mlton/trunk/doc/guide/LocalFlatten
U mlton/trunk/doc/guide/LocalRef
U mlton/trunk/doc/guide/LoopInvariant
U mlton/trunk/doc/guide/MLBasis
U mlton/trunk/doc/guide/MLtonFinalizable
U mlton/trunk/doc/guide/Machine
U mlton/trunk/doc/guide/MatchCompile
U mlton/trunk/doc/guide/Monomorphise
U mlton/trunk/doc/guide/Multi
U mlton/trunk/doc/guide/OpenGL
U mlton/trunk/doc/guide/OptionalArguments
U mlton/trunk/doc/guide/OrphanedPages
U mlton/trunk/doc/guide/PackedRepresentation
U mlton/trunk/doc/guide/PageSize
U mlton/trunk/doc/guide/ParallelMove
U mlton/trunk/doc/guide/Performance
U mlton/trunk/doc/guide/PolyEqual
U mlton/trunk/doc/guide/PolymorphicEquality
U mlton/trunk/doc/guide/Polyvariance
U mlton/trunk/doc/guide/PortingMLton
U mlton/trunk/doc/guide/PrecedenceParse
U mlton/trunk/doc/guide/Printf
U mlton/trunk/doc/guide/Pronounce
U mlton/trunk/doc/guide/PropertyList
U mlton/trunk/doc/guide/RSSA
U mlton/trunk/doc/guide/RSSAShrink
U mlton/trunk/doc/guide/RSSASimplify
U mlton/trunk/doc/guide/Redundant
U mlton/trunk/doc/guide/RedundantTests
U mlton/trunk/doc/guide/RefFlatten
U mlton/trunk/doc/guide/References
U mlton/trunk/doc/guide/ReleaseChecklist
U mlton/trunk/doc/guide/RemoveUnused
U mlton/trunk/doc/guide/Restore
U mlton/trunk/doc/guide/SMLNJLibrary
U mlton/trunk/doc/guide/SSA
U mlton/trunk/doc/guide/SSA2
U mlton/trunk/doc/guide/SSA2Simplify
U mlton/trunk/doc/guide/SSASimplify
U mlton/trunk/doc/guide/SXML
U mlton/trunk/doc/guide/SXMLShrink
U mlton/trunk/doc/guide/SXMLSimplify
U mlton/trunk/doc/guide/ScopeInference
U mlton/trunk/doc/guide/Shrink
U mlton/trunk/doc/guide/SimplifyTypes
U mlton/trunk/doc/guide/Sources
U mlton/trunk/doc/guide/Swerve
U mlton/trunk/doc/guide/SystemInfo
U mlton/trunk/doc/guide/TalkDiveIn
U mlton/trunk/doc/guide/ToMachine
U mlton/trunk/doc/guide/ToRSSA
U mlton/trunk/doc/guide/ToSSA2
U mlton/trunk/doc/guide/Useless
U mlton/trunk/doc/guide/WebSite
U mlton/trunk/doc/guide/WikiMacros
U mlton/trunk/doc/guide/XML
U mlton/trunk/doc/guide/XMLShrink
U mlton/trunk/doc/guide/XMLSimplify
U mlton/trunk/doc/guide/XMLSimplifyTypes
U mlton/trunk/doc/guide/Zone
U mlton/trunk/doc/guide/index.html
----------------------------------------------------------------------
Modified: mlton/trunk/bin/grab-wiki
===================================================================
--- mlton/trunk/bin/grab-wiki 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/bin/grab-wiki 2005-09-06 19:36:07 UTC (rev 4072)
@@ -1,7 +1,6 @@
#!/bin/bash
set -e
-set -x
name=`basename $0`
dir=`dirname $0`
@@ -39,6 +38,7 @@
drop='\(Download\|.*MoinEditorBackup\|OldPages\|Preferences\|RecentChanges\|TemporaryBugExamples\|TemporaryUpload\|WikiSandBox\)'
+#if true; then (cd $HOME/mlton/guide-in && tar.write .) | tar.read; else
echo "Getting index:"
lynx -dump "$base/Index?action=titleindex" | \
grep -v >$index -e '^$' -e "^$drop$"
@@ -55,6 +55,7 @@
for f in bottom email ftp top www; do
wget -c $base/wiki/mlton/img/moin-$f.png
done
+#fi
echo "Fixing pages:"
@@ -62,6 +63,8 @@
grep -v "$drop" Index >$tmp
mv $tmp Index
+wwwImg='<img src="moin-www.png" alt="[WWW]" height="11" width="11">'
+
# Write sed script to file.
cat >$script <<EOF
# Delete search box.
@@ -83,6 +86,7 @@
s; href *= *"/"; href="Home";g
s; href *= *"$drop"; href="$base/\1";g
s; \(href\|src\) *= *"wiki/mlton/[^/]\+/\([^"]*\)"; \1="\2";g
+s;\(<a href *= *"http://mlton.org[^>]*>\);\1$wwwImg;g
EOF
for f in $(cat $index); do
Modified: mlton/trunk/doc/guide/AST
===================================================================
--- mlton/trunk/doc/guide/AST 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/AST 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,22 +55,22 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-programs.sig?view=markup">ast-programs.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-programs.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-programs.fun?view=markup">ast-programs.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-programs.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-modules.sig?view=markup">ast-modules.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-modules.fun?view=markup">ast-modules.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-core.sig?view=markup">ast-core.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-core.fun?view=markup">ast-core.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast">ast</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast</a>
<h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
<p>
The AST <a href="IntermediateLanguage">IntermediateLanguage</a> has no independent type checker. Type inference is performed on an AST program as part of <a href="Elaborate">Elaborate</a>.
Modified: mlton/trunk/doc/guide/AccessControl
===================================================================
--- mlton/trunk/doc/guide/AccessControl 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/AccessControl 2005-09-06 19:36:07 UTC (rev 4072)
@@ -50,7 +50,7 @@
</table>
<div id="content" lang="en" dir="ltr">
<a href="MoinMoin">MoinMoin</a> supports a lot of <a class="external" href="http://moinmaster.wikiwikiweb.de/HelpOnAccessControlLists"><img src="moin-www.png" alt="[WWW]" height="11" width="11">access control features</a>. <p>
-Because people download binaries from the MLton web site, and we are worried about malicious users either changing those binaries, or changing the links that should point at those binaries, we only allow editing of some pages (in particular, <a href="http://mlton.org/Download">Download</a>, <a href="Home">Home</a>, and <a href="Experimental">Experimental</a>) by <a href="TrustedGroup">TrustedGroup</a> members.
+Because people download binaries from the MLton web site, and we are worried about malicious users either changing those binaries, or changing the links that should point at those binaries, we only allow editing of some pages (in particular, <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a>, <a href="Home">Home</a>, and <a href="Experimental">Experimental</a>) by <a href="TrustedGroup">TrustedGroup</a> members.
</p>
<p>
All other pages are freely editable by any user with an account.
Modified: mlton/trunk/doc/guide/AllocateRegisters
===================================================================
--- mlton/trunk/doc/guide/AllocateRegisters 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/AllocateRegisters 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.sig?view=markup">ZZZ.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.fun?view=markup">ZZZ.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/BasisLibrary
===================================================================
--- mlton/trunk/doc/guide/BasisLibrary 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/BasisLibrary 2005-09-06 19:36:07 UTC (rev 4072)
@@ -49,7 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-The <a href="StandardML">Standard ML</a> Basis Library is a collection of modules dealing with basic types, input/output, OS interfaces, and simple datatypes. It is intended as a portable library usable across all implementations of SML. The official online version of the Basis Library specification is at <a href="http://www.standardml.org/Basis/">http://www.standardml.org/Basis/</a>. We keep a copy at <a href="http://mlton.org/basis/">http://mlton.org/basis/</a>. There is a <a href = "References#GansnerReppy04"> book</a> that includes all of the online version and more. For a reverse chronological list of changes to the specification, see <a href="http://www.standardml.org/Basis/history.html">http://www.standardml.org/Basis/history.html</a>. <p>
+The <a href="StandardML">Standard ML</a> Basis Library is a collection of modules dealing with basic types, input/output, OS interfaces, and simple datatypes. It is intended as a portable library usable across all implementations of SML. The official online version of the Basis Library specification is at <a href="http://www.standardml.org/Basis/">http://www.standardml.org/Basis/</a>. We keep a copy at <a href="http://mlton.org/basis/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/basis/</a>. There is a <a href = "References#GansnerReppy04"> book</a> that includes all of the online version and more. For a reverse chronological list of changes to the specification, see <a href="http://www.standardml.org/Basis/history.html">http://www.standardml.org/Basis/history.html</a>. <p>
MLton implements all of the required portions of the Basis Library. MLton also implements many of the optional structures. You can obtain a complete and current list of what's available using <tt>mlton -show-basis</tt> (see <a href="ShowBasis">ShowBasis</a>). By default, MLton makes the Basis Library available to user programs. You can also <a href="MLBasisAvailableLibraries">access the Basis Library</a> from <a href="MLBasis"> ML Basis</a> files.
</p>
<p>
Modified: mlton/trunk/doc/guide/Bug
===================================================================
--- mlton/trunk/doc/guide/Bug 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Bug 2005-09-06 19:36:07 UTC (rev 4072)
@@ -49,7 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-To report a bug, please send mail to <a class="external" href="mailto:MLton@mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">MLton@mlton.org</a>. Please include the complete SML program that caused the problem and a log of a compile of the program with <tt>-verbose 2</tt>. For large messages (over 512K), please send an email containing the discussion text and a link to any large files. You may use our <a href="http://mlton.org/TemporaryUpload">TemporaryUpload</a> page for uploading large files. <p>
+To report a bug, please send mail to <a class="external" href="mailto:MLton@mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">MLton@mlton.org</a>. Please include the complete SML program that caused the problem and a log of a compile of the program with <tt>-verbose 2</tt>. For large messages (over 512K), please send an email containing the discussion text and a link to any large files. You may use our <a href="http://mlton.org/TemporaryUpload"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TemporaryUpload</a> page for uploading large files. <p>
There are some <a href="UnresolvedBugs">UnresolvedBugs</a> that we don't plan to fix.
</p>
<p>
Modified: mlton/trunk/doc/guide/CKitLibrary
===================================================================
--- mlton/trunk/doc/guide/CKitLibrary 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CKitLibrary 2005-09-06 19:36:07 UTC (rev 4072)
@@ -167,7 +167,7 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/ckit-lib/ckit.patch?view=markup">ckit.patch</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/ckit-lib/ckit.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit.patch</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/CallingFromCToSML
===================================================================
--- mlton/trunk/doc/guide/CallingFromCToSML 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CallingFromCToSML 2005-09-06 19:36:07 UTC (rev 4072)
@@ -195,14 +195,14 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/export.sml">export.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/export.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">export.sml</a>
</p>
</li>
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/ffi-export.c">ffi-export.c</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/ffi-export.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-export.c</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/CallingFromSMLToC
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToC 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CallingFromSMLToC 2005-09-06 19:36:07 UTC (rev 4072)
@@ -134,14 +134,14 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/import.sml">import.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/import.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">import.sml</a>
</p>
</li>
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/ffi-import.c">ffi-import.c</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/ffi-import.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-import.c</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2005-09-06 19:36:07 UTC (rev 4072)
@@ -210,7 +210,7 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/iimport.sml">iimport.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/iimport.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">iimport.sml</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/Chunkify
===================================================================
--- mlton/trunk/doc/guide/Chunkify 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Chunkify 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/chunkify.sig?view=markup">chunkify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/chunkify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/chunkify.fun?view=markup">chunkify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/chunkify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Breaking large <a href="RSSA">RSSA</a> functions into chunks is necessary for reasonable <tt>gcc</tt> compile times with the <a class="nonexistent" href="CCodegen">CCodegen</a>.
Modified: mlton/trunk/doc/guide/ClosureConvert
===================================================================
--- mlton/trunk/doc/guide/ClosureConvert 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ClosureConvert 2005-09-06 19:36:07 UTC (rev 4072)
@@ -61,9 +61,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/closure-convert.sig?view=markup">closure-convert.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/closure-convert.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/closure-convert.fun?view=markup">closure-convert.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/closure-convert.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/CommonArg
===================================================================
--- mlton/trunk/doc/guide/CommonArg 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CommonArg 2005-09-06 19:36:07 UTC (rev 4072)
@@ -82,9 +82,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-arg.sig?view=markup">common-arg.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-arg.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-arg.fun?view=markup">common-arg.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-arg.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Three analyses were originally proposed to drive the optimization transformation. Only the <em>Dominator Analysis</em> is currently implemented. (Implementations of the other analyses are available in the Subversion repository.)
Modified: mlton/trunk/doc/guide/CommonBlock
===================================================================
--- mlton/trunk/doc/guide/CommonBlock 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CommonBlock 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-block.sig?view=markup">common-block.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-block.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-block.fun?view=markup">common-block.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-block.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<ul>
Modified: mlton/trunk/doc/guide/CommonSubexp
===================================================================
--- mlton/trunk/doc/guide/CommonSubexp 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CommonSubexp 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-subexp.sig?view=markup">common-subexp.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-subexp.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-subexp.fun?view=markup">common-subexp.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-subexp.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
In addition to getting the usual sorts of things like
Modified: mlton/trunk/doc/guide/CompilerOverview
===================================================================
--- mlton/trunk/doc/guide/CompilerOverview 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CompilerOverview 2005-09-06 19:36:07 UTC (rev 4072)
@@ -259,9 +259,9 @@
<p>
The <tt>Compile</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.sig?view=markup">compile.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.sig</a>
,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.fun?view=markup">compile.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>
), controls the high-level view of the compiler passes, from <a href="FrontEnd">FrontEnd</a> to code generation.
</p>
</div>
Modified: mlton/trunk/doc/guide/CompilerPassTemplate
===================================================================
--- mlton/trunk/doc/guide/CompilerPassTemplate 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CompilerPassTemplate 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.sig?view=markup">ZZZ.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.fun?view=markup">ZZZ.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Relevant details and notes.
Modified: mlton/trunk/doc/guide/ConcurrentMLImplementation
===================================================================
--- mlton/trunk/doc/guide/ConcurrentMLImplementation 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ConcurrentMLImplementation 2005-09-06 19:36:07 UTC (rev 4072)
@@ -269,7 +269,7 @@
<ul>
- <a href="http://mlton.org/pipermail/mlton/2004-May/">http://mlton.org/pipermail/mlton/2004-May/</a>
+ <a href="http://mlton.org/pipermail/mlton/2004-May/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2004-May/</a>
</ul>
Modified: mlton/trunk/doc/guide/ConstantPropagation
===================================================================
--- mlton/trunk/doc/guide/ConstantPropagation 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ConstantPropagation 2005-09-06 19:36:07 UTC (rev 4072)
@@ -61,9 +61,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/constant-propagation.sig?view=markup">constant-propagation.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/constant-propagation.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/constant-propagation.fun?view=markup">constant-propagation.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/constant-propagation.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/Contact
===================================================================
--- mlton/trunk/doc/guide/Contact 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Contact 2005-09-06 19:36:07 UTC (rev 4072)
@@ -84,7 +84,7 @@
</li>
<li class="gap">
<p>
- Large messages (over 512K) should not be sent. Rather, please send an email containing the discussion text and a link to any large files. You may use our <a href="http://mlton.org/TemporaryUpload">TemporaryUpload</a> page for uploading these files.
+ Large messages (over 512K) should not be sent. Rather, please send an email containing the discussion text and a link to any large files. You may use our <a href="http://mlton.org/TemporaryUpload"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TemporaryUpload</a> page for uploading these files.
</p>
</li>
<li class="gap">
Modified: mlton/trunk/doc/guide/Contify
===================================================================
--- mlton/trunk/doc/guide/Contify 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Contify 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/contify.sig?view=markup">contify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/contify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/contify.fun?view=markup">contify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/contify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
See <a href = "References#FluetWeeks01">Contification Using Dominators</a>. The intermediate language described in that paper has since evolved to the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>; hence, the complication described in Section 6.1 is no longer relevant.
Modified: mlton/trunk/doc/guide/CoreML
===================================================================
--- mlton/trunk/doc/guide/CoreML 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CoreML 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/core-ml.sig?view=markup">core-ml.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/core-ml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/core-ml.fun?view=markup">core-ml.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/core-ml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.fun</a>
<h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
<p>
The CoreML <a href="IntermediateLanguage">IntermediateLanguage</a> has no independent type checker.
Modified: mlton/trunk/doc/guide/CoreMLSimplify
===================================================================
--- mlton/trunk/doc/guide/CoreMLSimplify 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CoreMLSimplify 2005-09-06 19:36:07 UTC (rev 4072)
@@ -50,7 +50,7 @@
</table>
<div id="content" lang="en" dir="ltr">
The single optimization pass for the <a href="CoreML">CoreML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> is controlled by the <tt>Compile</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.fun?view=markup">compile.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>
). <p>
The following optimization pass is implemented:
</p>
Modified: mlton/trunk/doc/guide/CreatingPages
===================================================================
--- mlton/trunk/doc/guide/CreatingPages 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/CreatingPages 2005-09-06 19:36:07 UTC (rev 4072)
@@ -50,7 +50,7 @@
</table>
<div id="content" lang="en" dir="ltr">
To create a page, edit an existing page, and add the name of the new page, like <tt>FooBar</tt>, to the page contents. When you view the new version of the existing page, a link will have been automatically created, and if you click on it, you will be given the option to create the new page. <p>
-You can also go directly to a new page by entering the page name as a URL into your browser, like <tt>http://www.mlton.org/FooBar</tt>.
+You can also go directly to a new page by entering the page name as a URL into your browser, like <tt>http://mlton.org/FooBar</tt>.
</p>
<p>
You can also type in the page name here to go directly to that page.
@@ -66,5 +66,5 @@
<p>
<hr>
-Last edited on 2004-10-28 22:37:02 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 17:36:53 by <span title="adsl-64-166-225-193.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/DeadCode
===================================================================
--- mlton/trunk/doc/guide/DeadCode 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/DeadCode 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/dead-code.sig?view=markup">dead-code.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/dead-code.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/dead-code.fun?view=markup">dead-code.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/dead-code.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
In order to compile small programs rapidly, a pass of dead code elimination is run in order to eliminate as much of the Basis Library as possible. The dead code elimination algorithm used is not safe in general, and only works because the Basis Library implementation has special properties:
Modified: mlton/trunk/doc/guide/DeepFlatten
===================================================================
--- mlton/trunk/doc/guide/DeepFlatten 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/DeepFlatten 2005-09-06 19:36:07 UTC (rev 4072)
@@ -61,9 +61,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/deep-flatten.sig?view=markup">deep-flatten.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/deep-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/deep-flatten.fun?view=markup">deep-flatten.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/deep-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/Defunctorize
===================================================================
--- mlton/trunk/doc/guide/Defunctorize 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Defunctorize 2005-09-06 19:36:07 UTC (rev 4072)
@@ -87,9 +87,9 @@
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/defunctorize/defunctorize.sig?view=markup">defunctorize.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/defunctorize/defunctorize.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/defunctorize/defunctorize.fun?view=markup">defunctorize.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/defunctorize/defunctorize.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
This pass is grossly misnamed (a consequence of the implementation of an <a href="Elaborate">Elaborate</a> pass that follows the <a href="DefinitionOfStandardML"> Definition</a> and produces readable error messages).
Modified: mlton/trunk/doc/guide/Documentation
===================================================================
--- mlton/trunk/doc/guide/Documentation 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Documentation 2005-09-06 19:36:07 UTC (rev 4072)
@@ -174,12 +174,12 @@
<li>
<p>
- <a class="nonexistent" href="MLLex">MLLex</a> <a href="http://mlton.org/pages/Documentation/attachments/mllex.pdf">pdf</a>
+ <a class="nonexistent" href="MLLex">MLLex</a> <a href="http://mlton.org/pages/Documentation/attachments/mllex.pdf"><img src="moin-www.png" alt="[WWW]" height="11" width="11">pdf</a>
</p>
</li>
<li>
<p>
- <a class="nonexistent" href="MLYacc">MLYacc</a> <a href="http://mlton.org/pages/Documentation/attachments/mlyacc.pdf">pdf</a>
+ <a class="nonexistent" href="MLYacc">MLYacc</a> <a href="http://mlton.org/pages/Documentation/attachments/mlyacc.pdf"><img src="moin-www.png" alt="[WWW]" height="11" width="11">pdf</a>
</p>
</li>
<li>
Modified: mlton/trunk/doc/guide/EditingPages
===================================================================
--- mlton/trunk/doc/guide/EditingPages 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/EditingPages 2005-09-06 19:36:07 UTC (rev 4072)
@@ -49,8 +49,8 @@
</table>
<div id="content" lang="en" dir="ltr">
-You can help maintain the site and improve a page's contents by using the "Edit" link found at the bottom of that page. Pages are written using <a href="MoinMoin">MoinMoin</a>'s <a class="external" href="http://moinmoin.wikiwikiweb.de/HelpOnEditing"><img src="moin-www.png" alt="[WWW]" height="11" width="11">wiki markup language</a>. You can practice editing in the <a href="http://mlton.org/WikiSandBox">WikiSandBox</a>. <p>
-Before you begin editing, you must <a href="http://mlton.org/Preferences">create a user account</a>. When you do so, please also create a home page (like <a href="StephenWeeks">StephenWeeks</a>) so we know who you are. See our <a href="AccessControl">AccessControl</a> policy for who is allowed to edit what.
+You can help maintain the site and improve a page's contents by using the "Edit" link found at the bottom of that page. Pages are written using <a href="MoinMoin">MoinMoin</a>'s <a class="external" href="http://moinmoin.wikiwikiweb.de/HelpOnEditing"><img src="moin-www.png" alt="[WWW]" height="11" width="11">wiki markup language</a>. You can practice editing in the <a href="http://mlton.org/WikiSandBox"><img src="moin-www.png" alt="[WWW]" height="11" width="11">WikiSandBox</a>. <p>
+Before you begin editing, you must <a href="http://mlton.org/Preferences"><img src="moin-www.png" alt="[WWW]" height="11" width="11">create a user account</a>. When you do so, please also create a home page (like <a href="StephenWeeks">StephenWeeks</a>) so we know who you are. See our <a href="AccessControl">AccessControl</a> policy for who is allowed to edit what.
</p>
<p>
By contributing to this web site, you agree to dedicate your contribution to the public domain. For more details, please see the <a href="License">License</a>.
Modified: mlton/trunk/doc/guide/Elaborate
===================================================================
--- mlton/trunk/doc/guide/Elaborate 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Elaborate 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,27 +55,27 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate.sig?view=markup">elaborate.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate.fun?view=markup">elaborate.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-env.sig?view=markup">elaborate-env.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-env.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-env.fun?view=markup">elaborate-env.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-env.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-modules.sig?view=markup">elaborate-modules.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-modules.fun?view=markup">elaborate-modules.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-core.sig?view=markup">elaborate-core.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-core.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-core.fun?view=markup">elaborate-core.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-core.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate">elaborate</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
At the modules level, the Elaborate pass:
@@ -86,9 +86,9 @@
<li>
<p>
elaborates signatures with interfaces (see
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/interface.sig?view=markup">interface.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/interface.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">interface.sig</a>
and
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/interface.fun?view=markup">interface.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/interface.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">interface.fun</a>
).
</p>
</li>
@@ -120,9 +120,9 @@
<ul>
This is implemented by building a dummy structure realized from the signature, just as we would for a functor argument when type checking a functor. The dummy structure contains exactly the type information that is in the signature, which is what opacity requires. We then replace the variables (and constructors) in the dummy structure with the corresponding variables (and constructors) from the actual structure so that the translation to <a href="CoreML">CoreML</a> uses the right stuff. For each tycon in the dummy structure, we keep track of the corresponding type structure in the actual structure. This is used when producing the <a href="CoreML">CoreML</a> types (see <tt>expandOpaque</tt> in
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/type-env.sig?view=markup">type-env.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/type-env.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-env.sig</a>
and
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/type-env.fun?view=markup">type-env.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/type-env.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-env.fun</a>
).
</ul>
Modified: mlton/trunk/doc/guide/Emacs
===================================================================
--- mlton/trunk/doc/guide/Emacs 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Emacs 2005-09-06 19:36:07 UTC (rev 4072)
@@ -83,7 +83,7 @@
<li class="gap">
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/emacs/mlton.el?view=markup">mlton.el</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/emacs/mlton.el?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlton.el</a>
contains the Emacs lisp that <a href="StephenWeeks">StephenWeeks</a> uses to interact with MLton (in addition to using <tt>sml-mode</tt>).
</p>
</li>
@@ -113,13 +113,13 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/emacs/esml-mlb-mode.el?view=markup">esml-mlb-mode.el</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/emacs/esml-mlb-mode.el?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">esml-mlb-mode.el</a>
</p>
</li>
<li>
<p>
- <a href="http://mlton.org/pages/Emacs/attachments/mlb.el">mlb.el</a>
+ <a href="http://mlton.org/pages/Emacs/attachments/mlb.el"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlb.el</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/Enscript
===================================================================
--- mlton/trunk/doc/guide/Enscript 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Enscript 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,7 +55,7 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_simple.st?view=markup">sml_simple.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_simple.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_simple.st</a>
-- Provides highlighting of keywords, string and character constants, and (nested) comments.
<pre class=code>
<I><FONT COLOR="#B22222">(* Comments (* can be nested *) *)</FONT></I>
@@ -69,7 +69,7 @@
<li class="gap">
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_verbose.st?view=markup">sml_verbose.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_verbose.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_verbose.st</a>
-- Supersedes the above, adding highlighting of numeric constants. Due to the limited parsing available, numeric record labels are highlighted as numeric constants, in all contexts. Likewise, a binding precedence separated from <tt>infix</tt> or <tt>infixr</tt> by a newline is highlighted as a numeric constant and a numeric record label selector separated from <tt>#</tt> by a newline is highlighted as a numeric constant.
</p>
@@ -93,7 +93,7 @@
<li class="gap">
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_fancy.st?view=markup">sml_fancy.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_fancy.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_fancy.st</a>
-- Supersedes the above, adding highlighting of type and constructor bindings, highlighting of explicit binding of type variables at <tt>val</tt> and <tt>fun</tt> declarations, and separate highlighting of core and modules level keywords. Due to the limited parsing available, it is assumed that the input is a syntactically correct, top-level declaration.
<pre class=code>
<B><FONT COLOR="#0000FF">structure</FONT></B> S = <B><FONT COLOR="#0000FF">struct</FONT></B>
@@ -116,7 +116,7 @@
<li class="gap">
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_gaudy.st?view=markup">sml_gaudy.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_gaudy.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_gaudy.st</a>
-- Supersedes the above, adding highlighting of type annotations, in both expressions and signatures. Due to the limited parsing available, it is assumed that the input is a syntactically correct, top-level declaration.
<pre class=code>
<B><FONT COLOR="#0000FF">signature</FONT></B> S = <B><FONT COLOR="#0000FF">sig</FONT></B>
@@ -175,7 +175,7 @@
<li>
<p>
Append
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_all.st?view=markup">sml_all.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_all.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_all.st</a>
to <tt>/usr/share/enscript/enscript.st</tt>
</p>
</li>
Modified: mlton/trunk/doc/guide/Experimental
===================================================================
--- mlton/trunk/doc/guide/Experimental 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Experimental 2005-09-06 19:36:07 UTC (rev 4072)
@@ -65,7 +65,7 @@
</table>
<div id="content" lang="en" dir="ltr">
<p>
-This page is for experimental releases of MLton. These versions are not as well tested as our <a href="http://mlton.org/Download">public releases</a>, and may not be available for our all our usual platforms.
+This page is for experimental releases of MLton. These versions are not as well tested as our <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">public releases</a>, and may not be available for our all our usual platforms.
</p>
<h2 id="head-9fa56f6715598f7143da2e8633da0b6fa4b9cfa7">Changes since the last public release</h2>
@@ -119,7 +119,7 @@
<li>
<p>
- <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386-freebsd.tgz">FreeBSD</a> 5.4
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386-freebsd.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">FreeBSD</a> 5.4
</p>
</li>
<li>
@@ -132,17 +132,17 @@
<li>
<p>
- <a href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1_i386.deb">Debian</a> testing
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1_i386.deb"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Debian</a> testing
</p>
</li>
<li>
<p>
- <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386.rpm">RedHat</a> 7.1
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386.rpm"><img src="moin-www.png" alt="[WWW]" height="11" width="11">RedHat</a> 7.1
</p>
</li>
<li>
<p>
- <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386-linux.tgz">tgz</a> for other distributions (glibc 2.3)
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386-linux.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tgz</a> for other distributions (glibc 2.3)
</p>
</li>
@@ -151,12 +151,12 @@
<li>
<p>
- <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386-netbsd.tgz">NetBSD</a> 2.0.2
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386-netbsd.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">NetBSD</a> 2.0.2
</p>
</li>
<li>
<p>
- <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386-openbsd.tgz">OpenBSD</a> 3.7
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.i386-openbsd.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">OpenBSD</a> 3.7
</p>
</li>
@@ -173,7 +173,7 @@
<li>
<p>
- <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.powerpc-darwin.tgz">Darwin</a> 7.0.0 (Mac OS X)
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.powerpc-darwin.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Darwin</a> 7.0.0 (Mac OS X)
</p>
</li>
@@ -190,7 +190,7 @@
<li>
<p>
- <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.sparc-solaris.tgz">Solaris</a> 8
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.sparc-solaris.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Solaris</a> 8
</p>
</li>
@@ -207,17 +207,17 @@
<li>
<p>
- <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.src.tgz">source tgz</a>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.src.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">source tgz</a>
</p>
</li>
<li>
<p>
- Debian <a href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1.dsc">dsc</a>, <a href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1.diff.gz">diff.gz</a>, <a href="http://mlton.org/pages/Experimental/attachments/mlton_20050731.orig.tar.gz">orig.tar.gz</a>
+ Debian <a href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1.dsc"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dsc</a>, <a href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1.diff.gz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">diff.gz</a>, <a href="http://mlton.org/pages/Experimental/attachments/mlton_20050731.orig.tar.gz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">orig.tar.gz</a>
</p>
</li>
<li>
<p>
- R<strong></strong>edHat <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.src.rpm">source rpm</a>
+ R<strong></strong>edHat <a href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.src.rpm"><img src="moin-www.png" alt="[WWW]" height="11" width="11">source rpm</a>
</p>
</li>
</ul>
Modified: mlton/trunk/doc/guide/FAQ
===================================================================
--- mlton/trunk/doc/guide/FAQ 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/FAQ 2005-09-06 19:36:07 UTC (rev 4072)
@@ -101,7 +101,7 @@
</p>
<h2 id="head-5da60bc9034a764c34c1be37aa3017ce70bc131e">How do I see what has changed recently in the wiki?</h2>
<p>
-<a href="http://mlton.org/RecentChanges">RecentChanges</a>
+<a href="http://mlton.org/RecentChanges"><img src="moin-www.png" alt="[WWW]" height="11" width="11">RecentChanges</a>
</p>
<h2 id="head-756d1bccf1783a78c8c7af9ff6aadb9dee01b567">How portable is SML code across SML compilers?</h2>
<p>
Modified: mlton/trunk/doc/guide/Flatten
===================================================================
--- mlton/trunk/doc/guide/Flatten 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Flatten 2005-09-06 19:36:07 UTC (rev 4072)
@@ -103,9 +103,9 @@
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/flatten.sig?view=markup">flatten.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">flatten.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/flatten.fun?view=markup">flatten.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">flatten.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/FrontEnd
===================================================================
--- mlton/trunk/doc/guide/FrontEnd 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/FrontEnd 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,18 +55,18 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/front-end.sig?view=markup">front-end.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/front-end.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">front-end.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/front-end.fun?view=markup">front-end.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/front-end.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">front-end.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
The lexer is produced by <a class="nonexistent" href="MLLex">MLLex</a> from
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/ml.lex?view=markup">ml.lex</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/ml.lex?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ml.lex</a>
.
</p>
<p>
The parser is produced by <a class="nonexistent" href="MLYacc">MLYacc</a> from
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/ml.grm?view=markup">ml.grm</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/ml.grm?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ml.grm</a>
.
</p>
<p>
Modified: mlton/trunk/doc/guide/FunctionalRecordUpdate
===================================================================
--- mlton/trunk/doc/guide/FunctionalRecordUpdate 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/FunctionalRecordUpdate 2005-09-06 19:36:07 UTC (rev 4072)
@@ -217,7 +217,7 @@
</p>
<p>
The MLton SVN contains Emacs functions in
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/emacs/esml-gen.el?view=markup">esml-gen.el</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/emacs/esml-gen.el?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">esml-gen.el</a>
to generate functional tuple update functions and functional record update functions. For example, to generate a <tt>set</tt> function for the record <tt>{a, b, c</tt>} it is sufficient to type <tt>M x esml-gen-fru-setter a b c</tt>.
</p>
<h2 id="head-12c4ffe1d987164a4bedf6ab2aac597a113e181c">Efficiency</h2>
Modified: mlton/trunk/doc/guide/GarbageCollection
===================================================================
--- mlton/trunk/doc/guide/GarbageCollection 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/GarbageCollection 2005-09-06 19:36:07 UTC (rev 4072)
@@ -61,7 +61,7 @@
<li>
<p>
- <a href="http://mlton.org/pipermail/mlton/2002-May/012420.html">http://mlton.org/pipermail/mlton/2002-May/012420.html</a> <br>
+ <a href="http://mlton.org/pipermail/mlton/2002-May/012420.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2002-May/012420.html</a> <br>
object layout and header word design
</p>
</li>
Modified: mlton/trunk/doc/guide/Globalize
===================================================================
--- mlton/trunk/doc/guide/Globalize 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Globalize 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/globalize.sig?view=markup">globalize.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/globalize.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">globalize.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/globalize.fun?view=markup">globalize.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/globalize.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">globalize.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/Home
===================================================================
--- mlton/trunk/doc/guide/Home 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Home 2005-09-06 19:36:07 UTC (rev 4072)
@@ -71,7 +71,7 @@
</li>
<li>
<p>
- <a href="http://mlton.org/Download">Download</a> MLton.
+ <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a> MLton.
</p>
</li>
<li>
Modified: mlton/trunk/doc/guide/HowProfilingWorks
===================================================================
--- mlton/trunk/doc/guide/HowProfilingWorks 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/HowProfilingWorks 2005-09-06 19:36:07 UTC (rev 4072)
@@ -73,7 +73,7 @@
</p>
<p>
There is the <tt>checkProf</tt> function in
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check.fun?view=markup">type-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.fun</a>
, which checks that the <tt>Enter</tt>/<tt>Leave</tt> statements match up.
</p>
<p>
Modified: mlton/trunk/doc/guide/ImplementExceptions
===================================================================
--- mlton/trunk/doc/guide/ImplementExceptions 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ImplementExceptions 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-exceptions.sig?view=markup">implement-exceptions.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-exceptions.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-exceptions.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-exceptions.fun?view=markup">implement-exceptions.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-exceptions.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-exceptions.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/ImplementHandlers
===================================================================
--- mlton/trunk/doc/guide/ImplementHandlers 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ImplementHandlers 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/implement-handlers.sig?view=markup">implement-handlers.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/implement-handlers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-handlers.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/implement-handlers.fun?view=markup">implement-handlers.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/implement-handlers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-handlers.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/ImplementProfiling
===================================================================
--- mlton/trunk/doc/guide/ImplementProfiling 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ImplementProfiling 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/profile.sig?view=markup">profile.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/profile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">profile.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/profile.fun?view=markup">profile.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/profile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">profile.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
See <a href="HowProfilingWorks">HowProfilingWorks</a>.
Modified: mlton/trunk/doc/guide/ImplementSuffix
===================================================================
--- mlton/trunk/doc/guide/ImplementSuffix 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ImplementSuffix 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-suffix.sig?view=markup">implement-suffix.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-suffix.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-suffix.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-suffix.fun?view=markup">implement-suffix.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-suffix.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-suffix.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
ImplementSuffix works by introducing a new <tt>ref</tt> cell to contain the function of type <tt>unit -> unit</tt> that should be called on program exit.
Modified: mlton/trunk/doc/guide/Inline
===================================================================
--- mlton/trunk/doc/guide/Inline 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Inline 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/inline.sig?view=markup">inline.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/inline.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">inline.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/inline.fun?view=markup">inline.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/inline.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">inline.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
The Inline pass can be invoked to use one of three metrics:
Modified: mlton/trunk/doc/guide/InsertLimitChecks
===================================================================
--- mlton/trunk/doc/guide/InsertLimitChecks 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/InsertLimitChecks 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.sig?view=markup">limit-check.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.fun?view=markup">limit-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/InsertSignalChecks
===================================================================
--- mlton/trunk/doc/guide/InsertSignalChecks 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/InsertSignalChecks 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.sig?view=markup">limit-check.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.fun?view=markup">limit-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/IntroduceLoops
===================================================================
--- mlton/trunk/doc/guide/IntroduceLoops 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/IntroduceLoops 2005-09-06 19:36:07 UTC (rev 4072)
@@ -79,9 +79,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/introduce-loops.sig?view=markup">introduce-loops.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/introduce-loops.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">introduce-loops.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/introduce-loops.fun?view=markup">introduce-loops.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/introduce-loops.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">introduce-loops.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/KnownCase
===================================================================
--- mlton/trunk/doc/guide/KnownCase 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/KnownCase 2005-09-06 19:36:07 UTC (rev 4072)
@@ -105,9 +105,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/known-case.sig?view=markup">known-case.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/known-case.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">known-case.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/known-case.fun?view=markup">known-case.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/known-case.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">known-case.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
One interesting aspect of KnownCase, is that it often has the effect of unrolling list traversals by one iteration, moving the <tt>nil</tt>/<tt>::</tt> check to the end of the loop, rather than the beginning.
Modified: mlton/trunk/doc/guide/LambdaFree
===================================================================
--- mlton/trunk/doc/guide/LambdaFree 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/LambdaFree 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/lambda-free.sig?view=markup">lambda-free.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/lambda-free.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">lambda-free.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/lambda-free.fun?view=markup">lambda-free.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/lambda-free.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">lambda-free.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
For <tt>Lambda</tt>s bound in a <tt>Fun</tt> dec, <tt>lambdaFree</tt> gives the union of the frees of the entire group of mutually recursive functions. Hence, <tt>lambdaFree</tt> for every <tt>Lambda</tt> in a single <tt>Fun</tt> dec is the same. Furthermore, for a <tt>Lambda</tt> bound in a <tt>Fun</tt> dec, <tt>lambdaRec</tt> gives the list of other functions bound in the same dec defining that <tt>Lambda</tt>. For example:
Modified: mlton/trunk/doc/guide/LanguageChanges
===================================================================
--- mlton/trunk/doc/guide/LanguageChanges 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/LanguageChanges 2005-09-06 19:36:07 UTC (rev 4072)
@@ -105,12 +105,12 @@
<li>
<p>
- <a href="http://mlton.org/pipermail/mlton/2004-August/016165.html">http://mlton.org/pipermail/mlton/2004-August/016165.html</a>
+ <a href="http://mlton.org/pipermail/mlton/2004-August/016165.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2004-August/016165.html</a>
</p>
</li>
<li>
<p>
- <a href="http://mlton.org/pipermail/mlton-user/2004-December/000320.html">http://mlton.org/pipermail/mlton-user/2004-December/000320.html</a>
+ <a href="http://mlton.org/pipermail/mlton-user/2004-December/000320.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton-user/2004-December/000320.html</a>
</p>
</li>
</ul>
Modified: mlton/trunk/doc/guide/Libraries
===================================================================
--- mlton/trunk/doc/guide/Libraries 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Libraries 2005-09-06 19:36:07 UTC (rev 4072)
@@ -100,9 +100,9 @@
<li>
<p>
The internal MLton library has a regexp module which we hope to cleanup and make more accessible someday. See
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/regexp.sig?view=markup">regexp.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/regexp.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">regexp.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/regexp.sml?view=markup">regexp.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/regexp.sml?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">regexp.sml</a>
</p>
</li>
@@ -193,12 +193,12 @@
<li>
<p>
- Moscow ML: <a href="http://www.dina.kvl.dk/~sestoft/mosmllib/Postgres.html">http://www.dina.kvl.dk/~sestoft/mosmllib/Postgres.html</a>
+ Moscow ML: <a class="external" href="http://www.dina.kvl.dk/~sestoft/mosmllib/Postgres.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://www.dina.kvl.dk/~sestoft/mosmllib/Postgres.html</a>
</p>
</li>
<li>
<p>
- SML/NJ NLFFI: <a href="http://smlweb.sourceforge.net/smlsql/">http://smlweb.sourceforge.net/smlsql/</a>
+ SML/NJ NLFFI: <a class="external" href="http://smlweb.sourceforge.net/smlsql/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://smlweb.sourceforge.net/smlsql/</a>
</p>
</li>
@@ -238,5 +238,5 @@
<p>
<hr>
-Last edited on 2005-08-19 15:53:41 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 11:42:21 by <span title="209-6-203-188.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/LocalFlatten
===================================================================
--- mlton/trunk/doc/guide/LocalFlatten 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/LocalFlatten 2005-09-06 19:36:07 UTC (rev 4072)
@@ -61,9 +61,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-flatten.sig?view=markup">local-flatten.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-flatten.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-flatten.fun?view=markup">local-flatten.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-flatten.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/LocalRef
===================================================================
--- mlton/trunk/doc/guide/LocalRef 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/LocalRef 2005-09-06 19:36:07 UTC (rev 4072)
@@ -78,9 +78,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-ref.sig?view=markup">local-ref.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-ref.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-ref.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-ref.fun?view=markup">local-ref.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-ref.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-ref.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Moving a global <tt>ref</tt> requires the <a href="Multi">Multi</a> analysis, because a global <tt>ref</tt> can only be moved into a function that is executed at most once.
Modified: mlton/trunk/doc/guide/LoopInvariant
===================================================================
--- mlton/trunk/doc/guide/LoopInvariant 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/LoopInvariant 2005-09-06 19:36:07 UTC (rev 4072)
@@ -72,9 +72,9 @@
...
</pre><h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/loop-invariant.sig?view=markup">loop-invariant.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/loop-invariant.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">loop-invariant.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/loop-invariant.fun?view=markup">loop-invariant.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/loop-invariant.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">loop-invariant.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/MLBasis
===================================================================
--- mlton/trunk/doc/guide/MLBasis 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/MLBasis 2005-09-06 19:36:07 UTC (rev 4072)
@@ -51,7 +51,7 @@
</table>
<div id="content" lang="en" dir="ltr">
The ML Basis system extends Standard ML to support programming-in-the-very-large, namespace management at the module level, separate delivery of library sources, and more. While Standard ML modules are a sophisticated language for programming-in-the-large, it is difficult, if not impossible, to accomplish a number of routine namespace management operations when a program draws upon multiple libraries provided by different vendors. <p>
-The ML Basis system is a simple, yet powerful, approach that builds upon the programmer's intuitive notion (and the <a href="DefinitionOfStandardML"> Definition of Standard ML's</a> formal notion) of the top-level environment (a <em>basis</em>). The system has been designed to be a natural extension of <a href="StandardML"> Standard ML</a>; the Formal Specification of the ML Basis system (<a href="http://mlton.org/pages/MLBasis/attachments/mlb-formal.pdf">pdf</a>) is given in the style of the Definition.
+The ML Basis system is a simple, yet powerful, approach that builds upon the programmer's intuitive notion (and the <a href="DefinitionOfStandardML"> Definition of Standard ML's</a> formal notion) of the top-level environment (a <em>basis</em>). The system has been designed to be a natural extension of <a href="StandardML"> Standard ML</a>; the Formal Specification of the ML Basis system (<a href="http://mlton.org/pages/MLBasis/attachments/mlb-formal.pdf"><img src="moin-www.png" alt="[WWW]" height="11" width="11">pdf</a>) is given in the style of the Definition.
</p>
<p>
Here are some of the key features of the ML Basis system:
Modified: mlton/trunk/doc/guide/MLtonFinalizable
===================================================================
--- mlton/trunk/doc/guide/MLtonFinalizable 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/MLtonFinalizable 2005-09-06 19:36:07 UTC (rev 4072)
@@ -316,7 +316,7 @@
<li>
<p>
- <a href="http://mlton.org/pipermail/mlton/2004-September/016570.html">http://mlton.org/pipermail/mlton/2004-September/016570.html</a>
+ <a href="http://mlton.org/pipermail/mlton/2004-September/016570.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2004-September/016570.html</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/Machine
===================================================================
--- mlton/trunk/doc/guide/Machine 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Machine 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,18 +55,18 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.sig?view=markup">machine.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.fun?view=markup">machine.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.fun</a>
<h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
<p>
The Machine <a href="IntermediateLanguage">IntermediateLanguage</a> has a primitive type checker, which only checks some liveness properties.
</p>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.sig?view=markup">machine.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.fun?view=markup">machine.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.fun</a>
</p>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
Modified: mlton/trunk/doc/guide/MatchCompile
===================================================================
--- mlton/trunk/doc/guide/MatchCompile 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/MatchCompile 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/match-compile/match-compile.sig?view=markup">match-compile.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/match-compile/match-compile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">match-compile.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/match-compile/match-compile.fun?view=markup">match-compile.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/match-compile/match-compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">match-compile.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<pre>val matchCompile:
Modified: mlton/trunk/doc/guide/Monomorphise
===================================================================
--- mlton/trunk/doc/guide/Monomorphise 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Monomorphise 2005-09-06 19:36:07 UTC (rev 4072)
@@ -72,9 +72,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/monomorphise.sig?view=markup">monomorphise.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/monomorphise.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">monomorphise.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/monomorphise.fun?view=markup">monomorphise.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/monomorphise.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">monomorphise.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
The monomorphiser works by making one pass over the entire program. On the way down, it creates a cache for each variable declared in a polymorphic declaration that maps a lists of type arguments to a new variable name. At a variable reference, it consults the cache (based on the types the variable is applied to). If there is already an entry in the cache, it is used. If not, a new entry is created. On the way up, the monomorphiser duplicates a variable declaration for each entry in the cache.
Modified: mlton/trunk/doc/guide/Multi
===================================================================
--- mlton/trunk/doc/guide/Multi 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Multi 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/multi.sig?view=markup">multi.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/multi.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">multi.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/multi.fun?view=markup">multi.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/multi.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">multi.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/OpenGL
===================================================================
--- mlton/trunk/doc/guide/OpenGL 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/OpenGL 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,7 +55,7 @@
<li>
<p>
<a href="MikeThomas">MikeThomas</a> built a low-level interface, directly translating many of the functions, covering GL, GLU, and GLUT. This is available in the MLton <a href="Sources">Sources</a>:
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/opengl">opengl</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/opengl"><img src="moin-www.png" alt="[WWW]" height="11" width="11">opengl</a>
. The code contains a number of small, standard OpenGL examples translated to SML.
</p>
</li>
@@ -67,7 +67,7 @@
<ul>
- <a href="http://mlton.org/pipermail/mlton/2005-January/026669.html">http://mlton.org/pipermail/mlton/2005-January/026669.html</a>
+ <a href="http://mlton.org/pipermail/mlton/2005-January/026669.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2005-January/026669.html</a>
</ul>
Modified: mlton/trunk/doc/guide/OptionalArguments
===================================================================
--- mlton/trunk/doc/guide/OptionalArguments 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/OptionalArguments 2005-09-06 19:36:07 UTC (rev 4072)
@@ -271,7 +271,7 @@
<li>
<p>
- <a href="http://mlton.org/pages/OptionalArguments/attachments/optionalargs.sml">optionalargs.sml</a>
+ <a href="http://mlton.org/pages/OptionalArguments/attachments/optionalargs.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">optionalargs.sml</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/OrphanedPages
===================================================================
--- mlton/trunk/doc/guide/OrphanedPages 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/OrphanedPages 2005-09-06 19:36:07 UTC (rev 4072)
@@ -66,7 +66,7 @@
<li>
<a href="Swerve">Swerve</a></li>
<li>
-<a href="http://mlton.org/TemporaryBugExamples">TemporaryBugExamples</a></li>
+<a href="http://mlton.org/TemporaryBugExamples"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TemporaryBugExamples</a></li>
<li>
<a href="Variant">Variant</a></li>
<li>
Modified: mlton/trunk/doc/guide/PackedRepresentation
===================================================================
--- mlton/trunk/doc/guide/PackedRepresentation 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/PackedRepresentation 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/representation.sig?view=markup">representation.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/representation.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">representation.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/packed-representation.fun?view=markup">packed-representation.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/packed-representation.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">packed-representation.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Has a special case to make sure that <tt>true</tt> is represented as <tt>1</tt> and <tt>false</tt> is represented as <tt>0</tt>.
Modified: mlton/trunk/doc/guide/PageSize
===================================================================
--- mlton/trunk/doc/guide/PageSize 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/PageSize 2005-09-06 19:36:07 UTC (rev 4072)
@@ -72,8 +72,6 @@
<li>
<tt> 7972 </tt><a href="InfixingOperators">InfixingOperators</a></li>
<li>
-<tt> 7661 </tt><a href="http://mlton.org/StephenWeeks_2fMoinEditorBackup">StephenWeeks/MoinEditorBackup</a></li>
-<li>
<tt> 7621 </tt><a href="OptionalArguments">OptionalArguments</a></li>
<li>
<tt> 7556 </tt><a href="CompileTimeOptions">CompileTimeOptions</a></li>
@@ -84,13 +82,13 @@
<li>
<tt> 6422 </tt><a href="MLNLFFIImplementation">MLNLFFIImplementation</a></li>
<li>
-<tt> 6175 </tt><a href="http://mlton.org/VesaKarvonen_2fMoinEditorBackup">VesaKarvonen/MoinEditorBackup</a></li>
+<tt> 6175 </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> 6122 </tt><a href="Bugs20041109">Bugs20041109</a></li>
<li>
<tt> 6066 </tt><a href="FunctionalRecordUpdate">FunctionalRecordUpdate</a></li>
<li>
-<tt> 6036 </tt><a href="http://mlton.org/WesleyTerpstra_2fMoinEditorBackup">WesleyTerpstra/MoinEditorBackup</a></li>
+<tt> 6036 </tt><a href="http://mlton.org/WesleyTerpstra_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">WesleyTerpstra/MoinEditorBackup</a></li>
<li>
<tt> 5953 </tt><a href="PolymorphicEquality">PolymorphicEquality</a></li>
<li>
@@ -168,7 +166,7 @@
<li>
<tt> 2455 </tt><a href="MatchCompile">MatchCompile</a></li>
<li>
-<tt> 2450 </tt><a href="http://mlton.org/ChrisClearwater_2fMoinEditorBackup">ChrisClearwater/MoinEditorBackup</a></li>
+<tt> 2450 </tt><a href="http://mlton.org/ChrisClearwater_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ChrisClearwater/MoinEditorBackup</a></li>
<li>
<tt> 2378 </tt><a href="ShowBasis">ShowBasis</a></li>
<li>
@@ -180,7 +178,7 @@
<li>
<tt> 2288 </tt><a href="History">History</a></li>
<li>
-<tt> 2285 </tt><a href="http://mlton.org/Download">Download</a></li>
+<tt> 2285 </tt><a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a></li>
<li>
<tt> 2271 </tt><a href="Installation">Installation</a></li>
<li>
@@ -196,17 +194,19 @@
<li>
<tt> 2106 </tt><a href="CKitLibrary">CKitLibrary</a></li>
<li>
+<tt> 2099 </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> 2075 </tt><a href="ProfilingCounts">ProfilingCounts</a></li>
<li>
<tt> 2045 </tt><a href="MLtonSocket">MLtonSocket</a></li>
<li>
-<tt> 1999 </tt><a href="Libraries">Libraries</a></li>
+<tt> 2003 </tt><a href="Libraries">Libraries</a></li>
<li>
<tt> 1982 </tt><a href="MLBasis">MLBasis</a></li>
<li>
<tt> 1951 </tt><a href="SimplifyTypes">SimplifyTypes</a></li>
<li>
-<tt> 1923 </tt><a href="http://mlton.org/JesperLouisAndersen_2fMoinEditorBackup">JesperLouisAndersen/MoinEditorBackup</a></li>
+<tt> 1923 </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> 1919 </tt><a href="WikiTool">WikiTool</a></li>
<li>
@@ -272,7 +272,7 @@
<li>
<tt> 1318 </tt><a href="TypeConstructor">TypeConstructor</a></li>
<li>
-<tt> 1314 </tt><a href="http://mlton.org/Preferences">Preferences</a></li>
+<tt> 1314 </tt><a href="http://mlton.org/Preferences"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Preferences</a></li>
<li>
<tt> 1312 </tt><a href="ProfilingAllocation">ProfilingAllocation</a></li>
<li>
@@ -318,7 +318,7 @@
<li>
<tt> 1034 </tt><a href="SXML">SXML</a></li>
<li>
-<tt> 1002 </tt><a href="http://mlton.org/WikiSandBox">WikiSandBox</a></li>
+<tt> 1002 </tt><a href="http://mlton.org/WikiSandBox"><img src="moin-www.png" alt="[WWW]" height="11" width="11">WikiSandBox</a></li>
<li>
<tt> 998 </tt><a href="WholeProgramOptimization">WholeProgramOptimization</a></li>
<li>
@@ -378,7 +378,7 @@
<li>
<tt> 700 </tt><a href="License">License</a></li>
<li>
-<tt> 686 </tt><a href="http://mlton.org/RayRacine_2fMoinEditorBackup">RayRacine/MoinEditorBackup</a></li>
+<tt> 686 </tt><a href="http://mlton.org/RayRacine_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">RayRacine/MoinEditorBackup</a></li>
<li>
<tt> 680 </tt><a href="GarbageCollection">GarbageCollection</a></li>
<li>
@@ -394,7 +394,7 @@
<li>
<tt> 662 </tt><a href="mGTK">mGTK</a></li>
<li>
-<tt> 660 </tt><a href="http://mlton.org/SureshJagannathan_2fMoinEditorBackup">SureshJagannathan/MoinEditorBackup</a></li>
+<tt> 660 </tt><a href="http://mlton.org/SureshJagannathan_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">SureshJagannathan/MoinEditorBackup</a></li>
<li>
<tt> 659 </tt><a href="IntroduceLoops">IntroduceLoops</a></li>
<li>
@@ -412,6 +412,8 @@
<li>
<tt> 607 </tt><a href="XMLSimplify">XMLSimplify</a></li>
<li>
+<tt> 601 </tt><a href="http://mlton.org/StephenWeeks_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">StephenWeeks/MoinEditorBackup</a></li>
+<li>
<tt> 596 </tt><a href="Swerve">Swerve</a></li>
<li>
<tt> 590 </tt><a href="DefinitionOfStandardML">DefinitionOfStandardML</a></li>
@@ -420,7 +422,7 @@
<li>
<tt> 586 </tt><a href="MLtonRusage">MLtonRusage</a></li>
<li>
-<tt> 583 </tt><a href="http://mlton.org/MichaelNorrish_2fMoinEditorBackup">MichaelNorrish/MoinEditorBackup</a></li>
+<tt> 583 </tt><a href="http://mlton.org/MichaelNorrish_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MichaelNorrish/MoinEditorBackup</a></li>
<li>
<tt> 571 </tt><a href="Developers">Developers</a></li>
<li>
@@ -446,7 +448,7 @@
<li>
<tt> 505 </tt><a href="SMLNJ">SMLNJ</a></li>
<li>
-<tt> 505 </tt><a href="CreatingPages">CreatingPages</a></li>
+<tt> 501 </tt><a href="CreatingPages">CreatingPages</a></li>
<li>
<tt> 499 </tt><a href="PhantomType">PhantomType</a></li>
<li>
@@ -482,13 +484,13 @@
<li>
<tt> 412 </tt><a href="StandardMLTutorials">StandardMLTutorials</a></li>
<li>
-<tt> 410 </tt><a href="http://mlton.org/AndreiFormiga_2fMoinEditorBackup">AndreiFormiga/MoinEditorBackup</a></li>
+<tt> 410 </tt><a href="http://mlton.org/AndreiFormiga_2fMoinEditorBackup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">AndreiFormiga/MoinEditorBackup</a></li>
<li>
<tt> 409 </tt><a href="Globalize">Globalize</a></li>
<li>
<tt> 405 </tt><a href="ConstantPropagation">ConstantPropagation</a></li>
<li>
-<tt> 400 </tt><a href="http://mlton.org/RecentChanges">RecentChanges</a></li>
+<tt> 400 </tt><a href="http://mlton.org/RecentChanges"><img src="moin-www.png" alt="[WWW]" height="11" width="11">RecentChanges</a></li>
<li>
<tt> 400 </tt><a href="TalkStandardML">TalkStandardML</a></li>
<li>
@@ -530,7 +532,7 @@
<li>
<tt> 318 </tt><a href="MLtonArray">MLtonArray</a></li>
<li>
-<tt> 314 </tt><a href="http://mlton.org/HenryCejtin_2fMoinEditorBackup">HenryCejtin/MoinEditorBackup</a></li>
+<tt> 314 </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> 309 </tt><a href="AndreiFormiga">AndreiFormiga</a></li>
<li>
@@ -538,8 +540,6 @@
<li>
<tt> 305 </tt><a href="ImplementHandlers">ImplementHandlers</a></li>
<li>
-<tt> 296 </tt><a href="http://mlton.org/MatthewFluet_2fMoinEditorBackup">MatthewFluet/MoinEditorBackup</a></li>
-<li>
<tt> 291 </tt><a href="AllocateRegisters">AllocateRegisters</a></li>
<li>
<tt> 286 </tt><a href="ImplementProfiling">ImplementProfiling</a></li>
@@ -586,7 +586,7 @@
<li>
<tt> 217 </tt><a href="HenryCejtin">HenryCejtin</a></li>
<li>
-<tt> 211 </tt><a href="http://mlton.org/TemporaryUpload">TemporaryUpload</a></li>
+<tt> 211 </tt><a href="http://mlton.org/TemporaryUpload"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TemporaryUpload</a></li>
<li>
<tt> 201 </tt><a href="Serialization">Serialization</a></li>
<li>
@@ -638,7 +638,7 @@
<li>
<tt> 90 </tt><a href="PolyML">PolyML</a></li>
<li>
-<tt> 86 </tt><a href="http://mlton.org/OldPages">OldPages</a></li>
+<tt> 86 </tt><a href="http://mlton.org/OldPages"><img src="moin-www.png" alt="[WWW]" height="11" width="11">OldPages</a></li>
<li>
<tt> 78 </tt><a href="OrphanedPages">OrphanedPages</a></li>
<li>
@@ -654,7 +654,7 @@
<li>
<tt> 23 </tt><a href="UserGuide">UserGuide</a></li>
<li>
-<tt> 21 </tt><a href="http://mlton.org/TemporaryBugExamples">TemporaryBugExamples</a></li>
+<tt> 21 </tt><a href="http://mlton.org/TemporaryBugExamples"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TemporaryBugExamples</a></li>
<li>
<tt> 20 </tt><a href="Papers">Papers</a></li>
<li>
Modified: mlton/trunk/doc/guide/ParallelMove
===================================================================
--- mlton/trunk/doc/guide/ParallelMove 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ParallelMove 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/parallel-move.sig?view=markup">parallel-move.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/parallel-move.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">parallel-move.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/parallel-move.fun?view=markup">parallel-move.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/parallel-move.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">parallel-move.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/Performance
===================================================================
--- mlton/trunk/doc/guide/Performance 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Performance 2005-09-06 19:36:07 UTC (rev 4072)
@@ -152,22 +152,22 @@
<li>
<p>
- <a href="http://mlton.org/pages/Performance/attachments/hamlet.sml">hamlet.sml</a> (<a href="http://mlton.org/pages/Performance/attachments/hamlet-input.sml">hamlet-input.sml</a>)
+ <a href="http://mlton.org/pages/Performance/attachments/hamlet.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">hamlet.sml</a> (<a href="http://mlton.org/pages/Performance/attachments/hamlet-input.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">hamlet-input.sml</a>)
</p>
</li>
<li>
<p>
- <a href="http://mlton.org/pages/Performance/attachments/ray.sml">ray.sml</a> (<a href="http://mlton.org/pages/Performance/attachments/ray">ray</a>)
+ <a href="http://mlton.org/pages/Performance/attachments/ray.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ray.sml</a> (<a href="http://mlton.org/pages/Performance/attachments/ray"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ray</a>)
</p>
</li>
<li>
<p>
- <a href="http://mlton.org/pages/Performance/attachments/raytrace.sml">raytrace.sml</a> (<a href="http://mlton.org/pages/Performance/attachments/chess.gml">chess.gml</a>)
+ <a href="http://mlton.org/pages/Performance/attachments/raytrace.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">raytrace.sml</a> (<a href="http://mlton.org/pages/Performance/attachments/chess.gml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chess.gml</a>)
</p>
</li>
<li>
<p>
- <a href="http://mlton.org/pages/Performance/attachments/vliw.sml">vliw.sml</a> (<a href="http://mlton.org/pages/Performance/attachments/ndotprod.s">ndotprod.s</a>)
+ <a href="http://mlton.org/pages/Performance/attachments/vliw.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vliw.sml</a> (<a href="http://mlton.org/pages/Performance/attachments/ndotprod.s"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ndotprod.s</a>)
</p>
</li>
@@ -197,7 +197,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/barnes-hut.sml">barnes-hut</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/barnes-hut.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">barnes-hut</a></td>
<td>
1.0</td>
<td>
@@ -211,7 +211,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/boyer.sml">boyer</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/boyer.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">boyer</a></td>
<td>
1.0</td>
<td>
@@ -225,7 +225,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/checksum.sml">checksum</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/checksum.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">checksum</a></td>
<td>
1.0</td>
<td>
@@ -239,7 +239,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/count-graphs.sml">count-graphs</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/count-graphs.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">count-graphs</a></td>
<td>
1.0</td>
<td>
@@ -253,7 +253,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/DLXSimulator.sml">DLXSimulator</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/DLXSimulator.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">DLXSimulator</a></td>
<td>
1.0</td>
<td>
@@ -267,7 +267,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/fft.sml">fft</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/fft.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">fft</a></td>
<td>
1.0</td>
<td>
@@ -281,7 +281,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/fib.sml">fib</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/fib.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">fib</a></td>
<td>
1.0</td>
<td>
@@ -295,7 +295,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/flat-array.sml">flat-array</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/flat-array.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">flat-array</a></td>
<td>
1.0</td>
<td>
@@ -309,7 +309,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/hamlet.sml">hamlet</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/hamlet.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">hamlet</a></td>
<td>
1.0</td>
<td>
@@ -323,7 +323,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/imp-for.sml">imp-for</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/imp-for.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">imp-for</a></td>
<td>
1.0</td>
<td>
@@ -337,7 +337,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/knuth-bendix.sml">knuth-bendix</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/knuth-bendix.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">knuth-bendix</a></td>
<td>
1.0</td>
<td>
@@ -351,7 +351,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/lexgen.sml">lexgen</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/lexgen.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">lexgen</a></td>
<td>
1.0</td>
<td>
@@ -365,7 +365,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/life.sml">life</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/life.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">life</a></td>
<td>
1.0</td>
<td>
@@ -379,7 +379,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/logic.sml">logic</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/logic.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">logic</a></td>
<td>
1.0</td>
<td>
@@ -393,7 +393,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/mandelbrot.sml">mandelbrot</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/mandelbrot.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mandelbrot</a></td>
<td>
1.0</td>
<td>
@@ -407,7 +407,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/matrix-multiply.sml">matrix-multiply</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/matrix-multiply.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">matrix-multiply</a></td>
<td>
1.0</td>
<td>
@@ -421,7 +421,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/md5.sml">md5</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/md5.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">md5</a></td>
<td>
1.0</td>
<td>
@@ -435,7 +435,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/merge.sml">merge</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/merge.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">merge</a></td>
<td>
1.0</td>
<td>
@@ -449,7 +449,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/mlyacc.sml">mlyacc</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/mlyacc.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlyacc</a></td>
<td>
1.0</td>
<td>
@@ -463,7 +463,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/model-elimination.sml">model-elimination</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/model-elimination.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">model-elimination</a></td>
<td>
1.0</td>
<td>
@@ -477,7 +477,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/mpuz.sml">mpuz</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/mpuz.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mpuz</a></td>
<td>
1.0</td>
<td>
@@ -491,7 +491,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/nucleic.sml">nucleic</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/nucleic.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">nucleic</a></td>
<td>
1.0</td>
<td>
@@ -505,7 +505,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/output1.sml">output1</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/output1.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">output1</a></td>
<td>
1.0</td>
<td>
@@ -519,7 +519,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/peek.sml">peek</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/peek.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">peek</a></td>
<td>
1.0</td>
<td>
@@ -533,7 +533,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/psdes-random.sml">psdes-random</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/psdes-random.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">psdes-random</a></td>
<td>
1.0</td>
<td>
@@ -547,7 +547,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/ratio-regions.sml">ratio-regions</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/ratio-regions.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ratio-regions</a></td>
<td>
1.0</td>
<td>
@@ -561,7 +561,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/ray.sml">ray</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/ray.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ray</a></td>
<td>
1.0</td>
<td>
@@ -575,7 +575,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/raytrace.sml">raytrace</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/raytrace.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">raytrace</a></td>
<td>
1.0</td>
<td>
@@ -589,7 +589,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/simple.sml">simple</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/simple.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simple</a></td>
<td>
1.0</td>
<td>
@@ -603,7 +603,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/smith-normal-form.sml">smith-normal-form</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/smith-normal-form.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">smith-normal-form</a></td>
<td>
1.0</td>
<td>
@@ -617,7 +617,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tailfib.sml">tailfib</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tailfib.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tailfib</a></td>
<td>
1.0</td>
<td>
@@ -631,7 +631,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tak.sml">tak</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tak.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tak</a></td>
<td>
1.0</td>
<td>
@@ -645,7 +645,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tensor.sml">tensor</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tensor.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tensor</a></td>
<td>
1.0</td>
<td>
@@ -659,7 +659,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tsp.sml">tsp</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tsp.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tsp</a></td>
<td>
1.0</td>
<td>
@@ -673,7 +673,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tyan.sml">tyan</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tyan.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tyan</a></td>
<td>
1.0</td>
<td>
@@ -687,7 +687,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/vector-concat.sml">vector-concat</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/vector-concat.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vector-concat</a></td>
<td>
1.0</td>
<td>
@@ -701,7 +701,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/vector-rev.sml">vector-rev</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/vector-rev.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vector-rev</a></td>
<td>
1.0</td>
<td>
@@ -715,7 +715,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/vliw.sml">vliw</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/vliw.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vliw</a></td>
<td>
1.0</td>
<td>
@@ -729,7 +729,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/wc-input1.sml">wc-input1</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/wc-input1.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">wc-input1</a></td>
<td>
1.0</td>
<td>
@@ -743,7 +743,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/wc-scanStream.sml">wc-scanStream</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/wc-scanStream.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">wc-scanStream</a></td>
<td>
1.0</td>
<td>
@@ -757,7 +757,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/zebra.sml">zebra</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/zebra.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zebra</a></td>
<td>
1.0</td>
<td>
@@ -771,7 +771,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/zern.sml">zern</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/zern.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zern</a></td>
<td>
1.0</td>
<td>
@@ -811,7 +811,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/barnes-hut.sml">barnes-hut</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/barnes-hut.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">barnes-hut</a></td>
<td>
7.06</td>
<td>
@@ -825,7 +825,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/boyer.sml">boyer</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/boyer.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">boyer</a></td>
<td>
8.08</td>
<td>
@@ -839,7 +839,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/checksum.sml">checksum</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/checksum.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">checksum</a></td>
<td>
4.96</td>
<td>
@@ -853,7 +853,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/count-graphs.sml">count-graphs</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/count-graphs.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">count-graphs</a></td>
<td>
5.73</td>
<td>
@@ -867,7 +867,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/DLXSimulator.sml">DLXSimulator</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/DLXSimulator.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">DLXSimulator</a></td>
<td>
7.67</td>
<td>
@@ -881,7 +881,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/fft.sml">fft</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/fft.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">fft</a></td>
<td>
5.00</td>
<td>
@@ -895,7 +895,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/fib.sml">fib</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/fib.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">fib</a></td>
<td>
4.67</td>
<td>
@@ -909,7 +909,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/flat-array.sml">flat-array</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/flat-array.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">flat-array</a></td>
<td>
4.60</td>
<td>
@@ -923,7 +923,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/hamlet.sml">hamlet</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/hamlet.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">hamlet</a></td>
<td>
46.86</td>
<td>
@@ -937,7 +937,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/imp-for.sml">imp-for</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/imp-for.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">imp-for</a></td>
<td>
4.63</td>
<td>
@@ -951,7 +951,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/knuth-bendix.sml">knuth-bendix</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/knuth-bendix.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">knuth-bendix</a></td>
<td>
6.12</td>
<td>
@@ -965,7 +965,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/lexgen.sml">lexgen</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/lexgen.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">lexgen</a></td>
<td>
9.09</td>
<td>
@@ -979,7 +979,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/life.sml">life</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/life.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">life</a></td>
<td>
5.09</td>
<td>
@@ -993,7 +993,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/logic.sml">logic</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/logic.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">logic</a></td>
<td>
6.52</td>
<td>
@@ -1007,7 +1007,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/mandelbrot.sml">mandelbrot</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/mandelbrot.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mandelbrot</a></td>
<td>
4.63</td>
<td>
@@ -1021,7 +1021,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/matrix-multiply.sml">matrix-multiply</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/matrix-multiply.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">matrix-multiply</a></td>
<td>
4.68</td>
<td>
@@ -1035,7 +1035,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/md5.sml">md5</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/md5.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">md5</a></td>
<td>
5.26</td>
<td>
@@ -1049,7 +1049,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/merge.sml">merge</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/merge.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">merge</a></td>
<td>
4.64</td>
<td>
@@ -1063,7 +1063,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/mlyacc.sml">mlyacc</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/mlyacc.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlyacc</a></td>
<td>
22.42</td>
<td>
@@ -1077,7 +1077,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/model-elimination.sml">model-elimination</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/model-elimination.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">model-elimination</a></td>
<td>
23.07</td>
<td>
@@ -1091,7 +1091,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/mpuz.sml">mpuz</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/mpuz.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mpuz</a></td>
<td>
4.75</td>
<td>
@@ -1105,7 +1105,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/nucleic.sml">nucleic</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/nucleic.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">nucleic</a></td>
<td>
65.13</td>
<td>
@@ -1119,7 +1119,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/output1.sml">output1</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/output1.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">output1</a></td>
<td>
5.28</td>
<td>
@@ -1133,7 +1133,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/peek.sml">peek</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/peek.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">peek</a></td>
<td>
5.19</td>
<td>
@@ -1147,7 +1147,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/psdes-random.sml">psdes-random</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/psdes-random.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">psdes-random</a></td>
<td>
4.65</td>
<td>
@@ -1161,7 +1161,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/ratio-regions.sml">ratio-regions</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/ratio-regions.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ratio-regions</a></td>
<td>
5.73</td>
<td>
@@ -1175,7 +1175,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/ray.sml">ray</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/ray.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ray</a></td>
<td>
7.94</td>
<td>
@@ -1189,7 +1189,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/raytrace.sml">raytrace</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/raytrace.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">raytrace</a></td>
<td>
12.32</td>
<td>
@@ -1203,7 +1203,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/simple.sml">simple</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/simple.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simple</a></td>
<td>
10.03</td>
<td>
@@ -1217,7 +1217,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/smith-normal-form.sml">smith-normal-form</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/smith-normal-form.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">smith-normal-form</a></td>
<td>
8.45</td>
<td>
@@ -1231,7 +1231,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tailfib.sml">tailfib</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tailfib.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tailfib</a></td>
<td>
4.59</td>
<td>
@@ -1245,7 +1245,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tak.sml">tak</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tak.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tak</a></td>
<td>
4.60</td>
<td>
@@ -1259,7 +1259,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tensor.sml">tensor</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tensor.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tensor</a></td>
<td>
7.34</td>
<td>
@@ -1273,7 +1273,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tsp.sml">tsp</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tsp.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tsp</a></td>
<td>
5.51</td>
<td>
@@ -1287,7 +1287,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tyan.sml">tyan</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tyan.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tyan</a></td>
<td>
7.38</td>
<td>
@@ -1301,7 +1301,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/vector-concat.sml">vector-concat</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/vector-concat.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vector-concat</a></td>
<td>
4.66</td>
<td>
@@ -1315,7 +1315,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/vector-rev.sml">vector-rev</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/vector-rev.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vector-rev</a></td>
<td>
4.62</td>
<td>
@@ -1329,7 +1329,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/vliw.sml">vliw</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/vliw.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vliw</a></td>
<td>
16.68</td>
<td>
@@ -1343,7 +1343,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/wc-input1.sml">wc-input1</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/wc-input1.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">wc-input1</a></td>
<td>
5.86</td>
<td>
@@ -1357,7 +1357,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/wc-scanStream.sml">wc-scanStream</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/wc-scanStream.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">wc-scanStream</a></td>
<td>
6.10</td>
<td>
@@ -1371,7 +1371,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/zebra.sml">zebra</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/zebra.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zebra</a></td>
<td>
7.01</td>
<td>
@@ -1385,7 +1385,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/zern.sml">zern</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/zern.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zern</a></td>
<td>
5.21</td>
<td>
@@ -1422,7 +1422,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/barnes-hut.sml">barnes-hut</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/barnes-hut.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">barnes-hut</a></td>
<td>
157,305</td>
<td>
@@ -1436,7 +1436,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/boyer.sml">boyer</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/boyer.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">boyer</a></td>
<td>
154,559</td>
<td>
@@ -1450,7 +1450,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/checksum.sml">checksum</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/checksum.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">checksum</a></td>
<td>
70,489</td>
<td>
@@ -1464,7 +1464,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/count-graphs.sml">count-graphs</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/count-graphs.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">count-graphs</a></td>
<td>
81,555</td>
<td>
@@ -1478,7 +1478,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/DLXSimulator.sml">DLXSimulator</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/DLXSimulator.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">DLXSimulator</a></td>
<td>
185,925</td>
<td>
@@ -1492,7 +1492,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/fft.sml">fft</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/fft.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">fft</a></td>
<td>
79,955</td>
<td>
@@ -1506,7 +1506,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/fib.sml">fib</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/fib.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">fib</a></td>
<td>
64,227</td>
<td>
@@ -1520,7 +1520,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/flat-array.sml">flat-array</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/flat-array.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">flat-array</a></td>
<td>
64,271</td>
<td>
@@ -1534,7 +1534,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/hamlet.sml">hamlet</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/hamlet.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">hamlet</a></td>
<td>
1,301,021</td>
<td>
@@ -1548,7 +1548,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/imp-for.sml">imp-for</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/imp-for.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">imp-for</a></td>
<td>
64,115</td>
<td>
@@ -1562,7 +1562,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/knuth-bendix.sml">knuth-bendix</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/knuth-bendix.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">knuth-bendix</a></td>
<td>
160,857</td>
<td>
@@ -1576,7 +1576,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/lexgen.sml">lexgen</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/lexgen.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">lexgen</a></td>
<td>
258,994</td>
<td>
@@ -1590,7 +1590,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/life.sml">life</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/life.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">life</a></td>
<td>
81,591</td>
<td>
@@ -1604,7 +1604,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/logic.sml">logic</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/logic.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">logic</a></td>
<td>
125,587</td>
<td>
@@ -1618,7 +1618,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/mandelbrot.sml">mandelbrot</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/mandelbrot.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mandelbrot</a></td>
<td>
64,175</td>
<td>
@@ -1632,7 +1632,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/matrix-multiply.sml">matrix-multiply</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/matrix-multiply.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">matrix-multiply</a></td>
<td>
65,435</td>
<td>
@@ -1646,7 +1646,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/md5.sml">md5</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/md5.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">md5</a></td>
<td>
129,249</td>
<td>
@@ -1660,7 +1660,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/merge.sml">merge</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/merge.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">merge</a></td>
<td>
65,835</td>
<td>
@@ -1674,7 +1674,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/mlyacc.sml">mlyacc</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/mlyacc.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlyacc</a></td>
<td>
558,018</td>
<td>
@@ -1688,7 +1688,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/model-elimination.sml">model-elimination</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/model-elimination.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">model-elimination</a></td>
<td>
686,584</td>
<td>
@@ -1702,7 +1702,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/mpuz.sml">mpuz</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/mpuz.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mpuz</a></td>
<td>
66,895</td>
<td>
@@ -1716,7 +1716,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/nucleic.sml">nucleic</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/nucleic.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">nucleic</a></td>
<td>
218,271</td>
<td>
@@ -1730,7 +1730,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/output1.sml">output1</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/output1.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">output1</a></td>
<td>
139,243</td>
<td>
@@ -1744,7 +1744,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/peek.sml">peek</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/peek.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">peek</a></td>
<td>
133,953</td>
<td>
@@ -1758,7 +1758,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/psdes-random.sml">psdes-random</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/psdes-random.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">psdes-random</a></td>
<td>
64,851</td>
<td>
@@ -1772,7 +1772,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/ratio-regions.sml">ratio-regions</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/ratio-regions.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ratio-regions</a></td>
<td>
89,779</td>
<td>
@@ -1786,7 +1786,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/ray.sml">ray</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/ray.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ray</a></td>
<td>
239,069</td>
<td>
@@ -1800,7 +1800,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/raytrace.sml">raytrace</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/raytrace.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">raytrace</a></td>
<td>
321,782</td>
<td>
@@ -1814,7 +1814,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/simple.sml">simple</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/simple.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simple</a></td>
<td>
276,608</td>
<td>
@@ -1828,7 +1828,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/smith-normal-form.sml">smith-normal-form</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/smith-normal-form.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">smith-normal-form</a></td>
<td>
239,321</td>
<td>
@@ -1842,7 +1842,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tailfib.sml">tailfib</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tailfib.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tailfib</a></td>
<td>
63,899</td>
<td>
@@ -1856,7 +1856,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tak.sml">tak</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tak.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tak</a></td>
<td>
64,311</td>
<td>
@@ -1870,7 +1870,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tensor.sml">tensor</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tensor.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tensor</a></td>
<td>
155,108</td>
<td>
@@ -1884,7 +1884,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tsp.sml">tsp</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tsp.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tsp</a></td>
<td>
133,549</td>
<td>
@@ -1898,7 +1898,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/tyan.sml">tyan</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/tyan.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">tyan</a></td>
<td>
192,229</td>
<td>
@@ -1912,7 +1912,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/vector-concat.sml">vector-concat</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/vector-concat.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vector-concat</a></td>
<td>
65,483</td>
<td>
@@ -1926,7 +1926,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/vector-rev.sml">vector-rev</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/vector-rev.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vector-rev</a></td>
<td>
64,735</td>
<td>
@@ -1940,7 +1940,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/vliw.sml">vliw</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/vliw.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">vliw</a></td>
<td>
445,446</td>
<td>
@@ -1954,7 +1954,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/wc-input1.sml">wc-input1</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/wc-input1.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">wc-input1</a></td>
<td>
160,129</td>
<td>
@@ -1968,7 +1968,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/wc-scanStream.sml">wc-scanStream</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/wc-scanStream.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">wc-scanStream</a></td>
<td>
163,633</td>
<td>
@@ -1982,7 +1982,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/zebra.sml">zebra</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/zebra.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zebra</a></td>
<td>
176,181</td>
<td>
@@ -1996,7 +1996,7 @@
</tr>
<tr>
<td>
-<a href="http://mlton.org/pages/Performance/attachments/zern.sml">zern</a></td>
+<a href="http://mlton.org/pages/Performance/attachments/zern.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zern</a></td>
<td>
146,473</td>
<td>
Modified: mlton/trunk/doc/guide/PolyEqual
===================================================================
--- mlton/trunk/doc/guide/PolyEqual 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/PolyEqual 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/poly-equal.sig?view=markup">poly-equal.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/poly-equal.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">poly-equal.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/poly-equal.fun?view=markup">poly-equal.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/poly-equal.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">poly-equal.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
For each datatype, tycon, and vector type, it builds and equality function and translates calls to <tt>MLton_equal</tt> into calls to that function.
Modified: mlton/trunk/doc/guide/PolymorphicEquality
===================================================================
--- mlton/trunk/doc/guide/PolymorphicEquality 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/PolymorphicEquality 2005-09-06 19:36:07 UTC (rev 4072)
@@ -90,7 +90,7 @@
The one ground type that can not be compared is <tt>real</tt>. So, <tt>13.0 = 14.0</tt> is not type correct. One can use <tt>Real.==</tt> to compare reals for equality, but beware that this has different algebraic properties than polymorphic equality.
</p>
<p>
-See <a href="http://mlton.org/basis/real.html">http://mlton.org/basis/real.html</a> for a discussion of why <tt>real</tt> is not an equality type.
+See <a href="http://mlton.org/basis/real.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/basis/real.html</a> for a discussion of why <tt>real</tt> is not an equality type.
</p>
<h2 id="head-16f64cbf7b943934e1a83e690a579efe57383553">Equality of functions</h2>
<p>
Modified: mlton/trunk/doc/guide/Polyvariance
===================================================================
--- mlton/trunk/doc/guide/Polyvariance 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Polyvariance 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/polyvariance.sig?view=markup">polyvariance.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/polyvariance.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">polyvariance.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/polyvariance.fun?view=markup">polyvariance.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/polyvariance.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">polyvariance.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/PortingMLton
===================================================================
--- mlton/trunk/doc/guide/PortingMLton 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/PortingMLton 2005-09-06 19:36:07 UTC (rev 4072)
@@ -344,12 +344,12 @@
<li>
<p>
- <a href="http://mlton.org/pipermail/mlton/2002-October/013110.html">http://mlton.org/pipermail/mlton/2002-October/013110.html</a>
+ <a href="http://mlton.org/pipermail/mlton/2002-October/013110.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2002-October/013110.html</a>
</p>
</li>
<li>
<p>
- <a href="http://mlton.org/pipermail/mlton/2004-July/016029.html">http://mlton.org/pipermail/mlton/2004-July/016029.html</a>
+ <a href="http://mlton.org/pipermail/mlton/2004-July/016029.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2004-July/016029.html</a>
</p>
</li>
</ul>
Modified: mlton/trunk/doc/guide/PrecedenceParse
===================================================================
--- mlton/trunk/doc/guide/PrecedenceParse 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/PrecedenceParse 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/precedence-parse.sig?view=markup">precedence-parse.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/precedence-parse.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">precedence-parse.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/precedence-parse.fun?view=markup">precedence-parse.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/precedence-parse.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">precedence-parse.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/Printf
===================================================================
--- mlton/trunk/doc/guide/Printf 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Printf 2005-09-06 19:36:07 UTC (rev 4072)
@@ -172,7 +172,7 @@
<li>
<p>
- <a href="http://mlton.org/pages/Printf/attachments/printf.sml">printf.sml</a>
+ <a href="http://mlton.org/pages/Printf/attachments/printf.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">printf.sml</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/Pronounce
===================================================================
--- mlton/trunk/doc/guide/Pronounce 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Pronounce 2005-09-06 19:36:07 UTC (rev 4072)
@@ -50,7 +50,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-Here is <a href="http://mlton.org/pages/Pronounce/attachments/pronounce-mlton.mp3">how MLton sounds</a>. <p>
+Here is <a href="http://mlton.org/pages/Pronounce/attachments/pronounce-mlton.mp3"><img src="moin-www.png" alt="[WWW]" height="11" width="11">how MLton sounds</a>. <p>
MLton is pronounced in two syllables, with stress on the first syllable. The first syllable sounds like the word <em>mill</em> (as in "steel mill"), the second like the word <em>tin</em> (as in "cookie tin").
</p>
</div>
Modified: mlton/trunk/doc/guide/PropertyList
===================================================================
--- mlton/trunk/doc/guide/PropertyList 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/PropertyList 2005-09-06 19:36:07 UTC (rev 4072)
@@ -132,9 +132,9 @@
<h2 id="head-a4bc8bf5caf54b18cea9f58e83dd4acb488deb17">Also see</h2>
<p>
MLton relies heavily on property lists for attaching information to syntax tree nodes in its intermediate languages. See
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/property-list.sig?view=markup">property-list.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/property-list.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">property-list.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/property-list.fun?view=markup">property-list.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/property-list.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">property-list.fun</a>
.
</p>
<p>
Modified: mlton/trunk/doc/guide/RSSA
===================================================================
--- mlton/trunk/doc/guide/RSSA 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/RSSA 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/rssa.sig?view=markup">rssa.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/rssa.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">rssa.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/rssa.fun?view=markup">rssa.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/rssa.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">rssa.fun</a>
<h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
<p>
The new type language is aimed at expressing bit-level control over layout and associated packing of data representations. There are singleton types that denote constants, other atomic types for things like integers and reals, and arbitrary sum types and sequence (tuple) types. The big change to the type system is that type checking is now based on subtyping, not type equality. So, for example, the singleton type 0xFFFFEEBB whose only inhabitant is the eponymous constant is a subtype of the type Word32.
Modified: mlton/trunk/doc/guide/RSSAShrink
===================================================================
--- mlton/trunk/doc/guide/RSSAShrink 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/RSSAShrink 2005-09-06 19:36:07 UTC (rev 4072)
@@ -72,14 +72,14 @@
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/RSSASimplify
===================================================================
--- mlton/trunk/doc/guide/RSSASimplify 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/RSSASimplify 2005-09-06 19:36:07 UTC (rev 4072)
@@ -50,9 +50,9 @@
</table>
<div id="content" lang="en" dir="ltr">
The optimization passes for the <a href="RSSA">RSSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>Backend</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/backend.sig?view=markup">backend.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/backend.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.sig</a>
,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/backend.fun?view=markup">backend.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/backend.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.fun</a>
). <p>
The following optimization pass is implemented:
</p>
Modified: mlton/trunk/doc/guide/Redundant
===================================================================
--- mlton/trunk/doc/guide/Redundant 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Redundant 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant.sig?view=markup">redundant.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant.fun?view=markup">redundant.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
The reason Redundant got put in was due to some output of the <a href="ClosureConvert">ClosureConvert</a> pass converter where the environment record, or components of it, were passed around in several places. That may have been more relevant with polyvariant analyses (which are long gone). But it still seems possibly relevant, especially with more aggressive flattening, which should reveal some fields in nested closure records that are redundant.
Modified: mlton/trunk/doc/guide/RedundantTests
===================================================================
--- mlton/trunk/doc/guide/RedundantTests 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/RedundantTests 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant-tests.sig?view=markup">redundant-tests.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant-tests.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant-tests.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant-tests.fun?view=markup">redundant-tests.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant-tests.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant-tests.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
An additional test will sometimes eliminate the overflow test when adding or subtracting 1. In particular, it will eliminate it in the following cases:
Modified: mlton/trunk/doc/guide/RefFlatten
===================================================================
--- mlton/trunk/doc/guide/RefFlatten 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/RefFlatten 2005-09-06 19:36:07 UTC (rev 4072)
@@ -62,9 +62,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ref-flatten.sig?view=markup">ref-flatten.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ref-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ref-flatten.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ref-flatten.fun?view=markup">ref-flatten.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ref-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ref-flatten.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
The savings is obvious, I hope. We avoid an extra heap-allocated object for the <tt>ref</tt>, which in the above case saves two words. We also save the time and code for the extra indirection at each get and set. There are lots of useful data structures (singly-linked and doubly-linked lists, union-find, fibonacci heaps, ...) that I believe we are paying through the nose right now because of the absence of ref flattening.
Modified: mlton/trunk/doc/guide/References
===================================================================
--- mlton/trunk/doc/guide/References 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/References 2005-09-06 19:36:07 UTC (rev 4072)
@@ -153,7 +153,7 @@
<li>
<p>
- <a id="CejtinEtAl00"></a> <a href="http://mlton.org/pages/References/attachments/CejtinEtAl00.ps.gz">Flow-directed Closure Conversion for Typed Languages</a>. Henry Cejtin, Suresh Jagannathan, and Stephen Weeks. <a href="#ESOP">ESOP</a> 2000.
+ <a id="CejtinEtAl00"></a> <a href="http://mlton.org/pages/References/attachments/CejtinEtAl00.ps.gz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Flow-directed Closure Conversion for Typed Languages</a>. Henry Cejtin, Suresh Jagannathan, and Stephen Weeks. <a href="#ESOP">ESOP</a> 2000.
</p>
</li>
@@ -220,7 +220,7 @@
</li>
<li class="gap">
<p>
- <a id="FluetWeeks01"></a> <a href="http://mlton.org/pages/References/attachments/FluetWeeks01.ps.gz">Contification Using Dominators</a>. Matthew Fluet and Stephen Weeks. <a href="#ICFP">ICFP</a> 2001.
+ <a id="FluetWeeks01"></a> <a href="http://mlton.org/pages/References/attachments/FluetWeeks01.ps.gz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Contification Using Dominators</a>. Matthew Fluet and Stephen Weeks. <a href="#ICFP">ICFP</a> 2001.
</p>
</li>
Modified: mlton/trunk/doc/guide/ReleaseChecklist
===================================================================
--- mlton/trunk/doc/guide/ReleaseChecklist 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ReleaseChecklist 2005-09-06 19:36:07 UTC (rev 4072)
@@ -82,7 +82,7 @@
</li>
<li>
<p>
- <a href="http://mlton.org/Download">Download</a> gets release notes and executables.
+ <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a> gets release notes and executables.
</p>
</li>
<li>
Modified: mlton/trunk/doc/guide/RemoveUnused
===================================================================
--- mlton/trunk/doc/guide/RemoveUnused 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/RemoveUnused 2005-09-06 19:36:07 UTC (rev 4072)
@@ -117,13 +117,13 @@
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused.sig?view=markup">remove-unused.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused.fun?view=markup">remove-unused.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused.fun</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused2.sig?view=markup">remove-unused2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused2.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused2.fun?view=markup">remove-unused2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused2.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/Restore
===================================================================
--- mlton/trunk/doc/guide/Restore 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Restore 2005-09-06 19:36:07 UTC (rev 4072)
@@ -62,14 +62,14 @@
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore.sig?view=markup">restore.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore.fun?view=markup">restore.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore2.sig?view=markup">restore2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore2.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore2.fun?view=markup">restore2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore2.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Based primarily on Section 19.1 of <a href = "References#Appel98">Modern Compiler Implementation in ML</a>.
Modified: mlton/trunk/doc/guide/SMLNJLibrary
===================================================================
--- mlton/trunk/doc/guide/SMLNJLibrary 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SMLNJLibrary 2005-09-06 19:36:07 UTC (rev 4072)
@@ -236,7 +236,7 @@
<li>
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/smlnj-lib/smlnj-lib.patch?view=markup">smlnj-lib.patch</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/smlnj-lib/smlnj-lib.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">smlnj-lib.patch</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/SSA
===================================================================
--- mlton/trunk/doc/guide/SSA 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SSA 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,14 +58,14 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa.sig?view=markup">ssa.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa.fun?view=markup">ssa.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree.sig?view=markup">ssa-tree.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree.fun?view=markup">ssa-tree.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree.fun</a>
<h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
<p>
Type checking of a SSA program verfies the following:
@@ -109,9 +109,9 @@
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check.sig?view=markup">type-check.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check.fun?view=markup">type-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.fun</a>
</p>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
Modified: mlton/trunk/doc/guide/SSA2
===================================================================
--- mlton/trunk/doc/guide/SSA2 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SSA2 2005-09-06 19:36:07 UTC (rev 4072)
@@ -61,14 +61,14 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa2.sig?view=markup">ssa2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa2.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa2.fun?view=markup">ssa2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa2.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree2.sig?view=markup">ssa-tree2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree2.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree2.fun?view=markup">ssa-tree2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree2.fun</a>
<h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
<p>
Type checking of a SSA2 program verfies the following:
@@ -112,9 +112,9 @@
<p>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check2.sig?view=markup">type-check2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check2.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check2.fun?view=markup">type-check2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check2.fun</a>
</p>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
Modified: mlton/trunk/doc/guide/SSA2Simplify
===================================================================
--- mlton/trunk/doc/guide/SSA2Simplify 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SSA2Simplify 2005-09-06 19:36:07 UTC (rev 4072)
@@ -50,9 +50,9 @@
</table>
<div id="content" lang="en" dir="ltr">
The optimization passes for the <a href="SSA2">SSA2</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>Simplify2</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify2.sig?view=markup">simplify2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify2.sig</a>
,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify2.fun?view=markup">simplify2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify2.fun</a>
). <p>
The following optimization passes are implemented:
</p>
Modified: mlton/trunk/doc/guide/SSASimplify
===================================================================
--- mlton/trunk/doc/guide/SSASimplify 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SSASimplify 2005-09-06 19:36:07 UTC (rev 4072)
@@ -50,9 +50,9 @@
</table>
<div id="content" lang="en" dir="ltr">
The optimization passes for the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>Simplify</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify.sig?view=markup">simplify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify.sig</a>
,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify.fun?view=markup">simplify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify.fun</a>
). <p>
The following optimization passes are implemented:
</p>
Modified: mlton/trunk/doc/guide/SXML
===================================================================
--- mlton/trunk/doc/guide/SXML 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SXML 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,12 +55,12 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml.sig?view=markup">sxml.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml.fun?view=markup">sxml.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml-tree.sig?view=markup">sxml-tree.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml-tree.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml-tree.sig</a>
<h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
<p>
SXML shares the type checker for <a href="XML">XML</a>.
Modified: mlton/trunk/doc/guide/SXMLShrink
===================================================================
--- mlton/trunk/doc/guide/SXMLShrink 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SXMLShrink 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.sig?view=markup">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.fun?view=markup">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
<a href="SXML">SXML</a> shares the <a href="XMLShrink">XMLShrink</a> simplifier.
Modified: mlton/trunk/doc/guide/SXMLSimplify
===================================================================
--- mlton/trunk/doc/guide/SXMLSimplify 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SXMLSimplify 2005-09-06 19:36:07 UTC (rev 4072)
@@ -50,9 +50,9 @@
</table>
<div id="content" lang="en" dir="ltr">
The optimization passes for the <a href="SXML">SXML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>SxmlSimplify</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml-simplify.sig?view=markup">sxml-simplify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml-simplify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml-simplify.sig</a>
,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml-simplify.fun?view=markup">sxml-simplify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml-simplify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml-simplify.fun</a>
). <p>
The following optimization passes are implemented:
</p>
Modified: mlton/trunk/doc/guide/ScopeInference
===================================================================
--- mlton/trunk/doc/guide/ScopeInference 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ScopeInference 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/scope.sig?view=markup">scope.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/scope.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">scope.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/scope.fun?view=markup">scope.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/scope.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">scope.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Scope inference determines for each type variable, the declaration where it is bound. Scope inference is a direct implementation of the specification given in section 4.6 of the [:DefinitionOfStandardML: Definition]. Recall that a free occurrence of a type variable <tt>'a</tt> in a declaration <tt>d</tt> is <em>unguarded</em> in <tt>d</tt> if <tt>'a</tt> is not part of a smaller declaration. A type variable <tt>'a</tt> is implicitly scoped at <tt>d</tt> if <tt>'a</tt> is unguarded in <tt>d</tt> and <tt>'a</tt> does not occur unguarded in any declaration containing <tt>d</tt>.
Modified: mlton/trunk/doc/guide/Shrink
===================================================================
--- mlton/trunk/doc/guide/Shrink 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Shrink 2005-09-06 19:36:07 UTC (rev 4072)
@@ -87,14 +87,14 @@
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
The Shrink pass is run after every <a href="SSA">SSA</a> and <a href="SSA2">SSA2</a> optimization pass.
Modified: mlton/trunk/doc/guide/SimplifyTypes
===================================================================
--- mlton/trunk/doc/guide/SimplifyTypes 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SimplifyTypes 2005-09-06 19:36:07 UTC (rev 4072)
@@ -133,9 +133,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify-types.sig?view=markup">simplify-types.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify-types.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify-types.fun?view=markup">simplify-types.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify-types.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
This pass must happen before polymorphic equality is implemented becuase
Modified: mlton/trunk/doc/guide/Sources
===================================================================
--- mlton/trunk/doc/guide/Sources 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Sources 2005-09-06 19:36:07 UTC (rev 4072)
@@ -65,7 +65,7 @@
<h2 id="head-164b3d4809f98d0458414f1bf9cf3c9dcba16bb5">Changelog</h2>
<p>
See the
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/doc/changelog?view=markup">changelog</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/doc/changelog?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">changelog</a>
for a list of changes and bug fixes.
</p>
<h2 id="head-5e1dd8155002a7d7db24335015acaddd25a44f09">CVS</h2>
Modified: mlton/trunk/doc/guide/Swerve
===================================================================
--- mlton/trunk/doc/guide/Swerve 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Swerve 2005-09-06 19:36:07 UTC (rev 4072)
@@ -51,7 +51,7 @@
</table>
<div id="content" lang="en" dir="ltr">
<a class="external" href="http://web.access.net.au/felixadv/files/output/book/c3253.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Swerve</a> is an HTTP server written in SML, originally developed with SML/NJ. <a href="RayRacine">RayRacine</a> ported Swerve to MLton in January 2005. <p>
-<a href="http://mlton.org/pages/Swerve/attachments/swerve.tar.bz2">download the port</a>
+<a href="http://mlton.org/pages/Swerve/attachments/swerve.tar.bz2"><img src="moin-www.png" alt="[WWW]" height="11" width="11">download the port</a>
</p>
<p>
Excerpt from the included <tt>README</tt>:
Modified: mlton/trunk/doc/guide/SystemInfo
===================================================================
--- mlton/trunk/doc/guide/SystemInfo 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/SystemInfo 2005-09-06 19:36:07 UTC (rev 4072)
@@ -51,7 +51,7 @@
<div id="content" lang="en" dir="ltr">
<p>
<dl><dt>Python Version</dt><dd>2.2.3 (#1, Oct 25 2004, 20:26:02)
-[GCC 2.96 20000731 (Red Hat Linux 7.3 2.96-113)]</dd><dt>MoinMoin Version</dt><dd>Release 1.2.3 [Revision 1.186]</dd><dt>Number of pages</dt><dd>304</dd><dt>Number of system pages</dt><dd>2</dd><dt>Number of backup versions</dt><dd>1108</dd><dt>Accumulated page sizes</dt><dd>528027</dd><dt>Entries in edit log</dt><dd>1546 (150530 bytes)</dd><dt>Event log</dt><dd>23328193 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</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 2.96 20000731 (Red Hat Linux 7.3 2.96-113)]</dd><dt>MoinMoin Version</dt><dd>Release 1.2.3 [Revision 1.186]</dd><dt>Number of pages</dt><dd>304</dd><dt>Number of system pages</dt><dd>2</dd><dt>Number of backup versions</dt><dd>1110</dd><dt>Accumulated page sizes</dt><dd>522770</dd><dt>Entries in edit log</dt><dd>1548 (150752 bytes)</dd><dt>Event log</dt><dd>23402431 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</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/TalkDiveIn
===================================================================
--- mlton/trunk/doc/guide/TalkDiveIn 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/TalkDiveIn 2005-09-06 19:36:07 UTC (rev 4072)
@@ -65,7 +65,7 @@
</li>
<li>
<p>
- to <a href="http://mlton.org/Download">Download</a>
+ to <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/ToMachine
===================================================================
--- mlton/trunk/doc/guide/ToMachine 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ToMachine 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/backend.sig?view=markup">backend.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/backend.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/backend.fun?view=markup">backend.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/backend.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Because the MLton runtime system is shared by all codegens, it is most convenient to decide on stack layout <em>before</em> any codegen takes over. In particular, we compute all the stack frame info for each <a href="RSSA">RSSA</a> function, including stack size, <a class="nonexistent" href="GarbageCollector">GarbageCollector</a> masks for each frame, etc. To do so, the <a href="Machine">Machine</a> <a href="IntermediateLanguage">IntermediateLanguage</a> imagines an abstract machine with an infinite number of (pseudo-)registers of every size. A liveness analysis determines, for each variable, whether or not it is live across a point where the runtime system might take over (for example, any garbage collection point) or a non-tail call to another <a href="RSSA">RSSA</a> function. Those that are live go on the stack, while those that aren't live go into psuedo-registers. From this information, we know all we need to about each stack frame. On the downside, nothing further on is allowed to change this stack info; it is set in stone.
Modified: mlton/trunk/doc/guide/ToRSSA
===================================================================
--- mlton/trunk/doc/guide/ToRSSA 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ToRSSA 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/ssa-to-rssa.sig?view=markup">ssa-to-rssa.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/ssa-to-rssa.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-rssa.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/ssa-to-rssa.fun?view=markup">ssa-to-rssa.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/ssa-to-rssa.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-rssa.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/ToSSA2
===================================================================
--- mlton/trunk/doc/guide/ToSSA2 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/ToSSA2 2005-09-06 19:36:07 UTC (rev 4072)
@@ -80,9 +80,9 @@
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-to-ssa2.sig?view=markup">ssa-to-ssa2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-to-ssa2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-ssa2.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-to-ssa2.fun?view=markup">ssa-to-ssa2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-to-ssa2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-ssa2.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
Modified: mlton/trunk/doc/guide/Useless
===================================================================
--- mlton/trunk/doc/guide/Useless 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Useless 2005-09-06 19:36:07 UTC (rev 4072)
@@ -90,9 +90,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/useless.sig?view=markup">useless.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/useless.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">useless.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/useless.fun?view=markup">useless.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/useless.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">useless.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
It is also trivial to convert a useful tuple to one of its useful components -- but this seems hard.
Modified: mlton/trunk/doc/guide/WebSite
===================================================================
--- mlton/trunk/doc/guide/WebSite 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/WebSite 2005-09-06 19:36:07 UTC (rev 4072)
@@ -103,7 +103,7 @@
</li>
<li class="gap">
<p>
- <a href="http://mlton.org/OldPages">OldPages</a>. Pages with the oldest modification times.
+ <a href="http://mlton.org/OldPages"><img src="moin-www.png" alt="[WWW]" height="11" width="11">OldPages</a>. Pages with the oldest modification times.
</p>
</li>
<li class="gap">
@@ -113,7 +113,7 @@
</li>
<li class="gap">
<p>
- <a href="http://mlton.org/RecentChanges">RecentChanges</a>. Pages that have been changed recently.
+ <a href="http://mlton.org/RecentChanges"><img src="moin-www.png" alt="[WWW]" height="11" width="11">RecentChanges</a>. Pages that have been changed recently.
</p>
</li>
Modified: mlton/trunk/doc/guide/WikiMacros
===================================================================
--- mlton/trunk/doc/guide/WikiMacros 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/WikiMacros 2005-09-06 19:36:07 UTC (rev 4072)
@@ -62,9 +62,9 @@
<p>
<tt>[[DownloadSVN(pathToFile)]]</tt> displays a download link to the ViewCVS page for <tt>pathToFile</tt>. <br>
Examples:
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/Makefile">Makefile</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/Makefile"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Makefile</a>
,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/mlton/main/main.fun">main.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/mlton/main/main.fun"><img src="moin-www.png" alt="[WWW]" height="11" width="11">main.fun</a>
</p>
</li>
@@ -100,9 +100,9 @@
<p>
<tt>[[ViewSVN(pathToFile)]]</tt> displays a link to the ViewCVS page for <tt>pathToFile</tt>. <br>
Examples:
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/Makefile?view=markup">Makefile</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/Makefile?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Makefile</a>
,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/main.fun?view=markup">main.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/main.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">main.fun</a>
</p>
</li>
@@ -110,7 +110,7 @@
<p>
<tt>[[ViewSVNSDir(pathToDir)]]</tt> displays a link to the ViewCVS page for <tt>pathToDir</tt>. <br>
Examples:
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main">main</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main"><img src="moin-www.png" alt="[WWW]" height="11" width="11">main</a>
</p>
</li>
Modified: mlton/trunk/doc/guide/XML
===================================================================
--- mlton/trunk/doc/guide/XML 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/XML 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,20 +55,20 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml.sig?view=markup">xml.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml.fun?view=markup">xml.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml.fun</a>
<br>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-tree.sig?view=markup">xml-tree.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-tree.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-tree.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-tree.fun?view=markup">xml-tree.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-tree.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-tree.fun</a>
<h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
<p>
XML also has a type checker, used for debugging. At present, the type checker is also the best specification of the type system of XML. If you need more details, the type checker (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/type-check.sig?view=markup">type-check.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/type-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.sig</a>
,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/type-check.fun?view=markup">type-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/type-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.fun</a>
), is pretty short.
</p>
<p>
Modified: mlton/trunk/doc/guide/XMLShrink
===================================================================
--- mlton/trunk/doc/guide/XMLShrink 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/XMLShrink 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.sig?view=markup">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.fun?view=markup">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
The simplifier is based on <a href = "References#AppelJim97">Shrinking Lambda Expressions in Linear Time</a>.
Modified: mlton/trunk/doc/guide/XMLSimplify
===================================================================
--- mlton/trunk/doc/guide/XMLSimplify 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/XMLSimplify 2005-09-06 19:36:07 UTC (rev 4072)
@@ -50,9 +50,9 @@
</table>
<div id="content" lang="en" dir="ltr">
The optimization passes for the <a href="XML">XML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>XmlSimplify</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-simplify.sig?view=markup">xml-simplify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-simplify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-simplify.sig</a>
,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-simplify.fun?view=markup">xml-simplify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-simplify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-simplify.fun</a>
). <p>
The following optimization passes are implemented:
</p>
Modified: mlton/trunk/doc/guide/XMLSimplifyTypes
===================================================================
--- mlton/trunk/doc/guide/XMLSimplifyTypes 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/XMLSimplifyTypes 2005-09-06 19:36:07 UTC (rev 4072)
@@ -58,9 +58,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/simplify-types.sig?view=markup">simplify-types.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/simplify-types.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/simplify-types.fun?view=markup">simplify-types.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/simplify-types.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
It first computes a simple fixpoint on all the <tt>datatype</tt> declarations to determine which <tt>datatype</tt> <tt>tycon</tt> args are actually used. Then it does a single pass over the program to determine which polymorphic declaration type variables are used, and rewrites types to eliminate unused type arguments.
Modified: mlton/trunk/doc/guide/Zone
===================================================================
--- mlton/trunk/doc/guide/Zone 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/Zone 2005-09-06 19:36:07 UTC (rev 4072)
@@ -55,9 +55,9 @@
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/zone.sig?view=markup">zone.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/zone.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zone.sig</a>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/zone.fun?view=markup">zone.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/zone.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zone.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
<p>
Compute strongly-connected components to avoid put tuple constructions in loops.
Modified: mlton/trunk/doc/guide/index.html
===================================================================
--- mlton/trunk/doc/guide/index.html 2005-09-06 17:51:38 UTC (rev 4071)
+++ mlton/trunk/doc/guide/index.html 2005-09-06 19:36:07 UTC (rev 4072)
@@ -71,7 +71,7 @@
</li>
<li>
<p>
- <a href="http://mlton.org/Download">Download</a> MLton.
+ <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a> MLton.
</p>
</li>
<li>