[MLton-commit] r4223
Stephen Weeks
MLton@mlton.org
Tue, 15 Nov 2005 11:15:33 -0800
Re-grabbed wiki.
----------------------------------------------------------------------
_U mlton/trunk/doc/guide/
U mlton/trunk/doc/guide/AST
U mlton/trunk/doc/guide/AccessControl
U mlton/trunk/doc/guide/AdmitsEquality
U mlton/trunk/doc/guide/Alice
U mlton/trunk/doc/guide/AllocateRegisters
U mlton/trunk/doc/guide/AndreiFormiga
U mlton/trunk/doc/guide/BasisLibrary
U mlton/trunk/doc/guide/Bug
U mlton/trunk/doc/guide/Bugs20041109
U mlton/trunk/doc/guide/CKitLibrary
U mlton/trunk/doc/guide/CallGraph
U mlton/trunk/doc/guide/CallingFromCToSML
U mlton/trunk/doc/guide/CallingFromSMLToC
U mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
U mlton/trunk/doc/guide/ChrisClearwater
U mlton/trunk/doc/guide/Chunkify
U mlton/trunk/doc/guide/Closure
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/CompilationManager
U mlton/trunk/doc/guide/CompileTimeOptions
U mlton/trunk/doc/guide/CompilerOverview
U mlton/trunk/doc/guide/CompilerPassTemplate
U mlton/trunk/doc/guide/ConcurrentML
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/Credits
U mlton/trunk/doc/guide/CrossCompiling
U mlton/trunk/doc/guide/DeadCode
U mlton/trunk/doc/guide/DeepFlatten
U mlton/trunk/doc/guide/DefineTypeBeforeUse
U mlton/trunk/doc/guide/DefinitionOfStandardML
U mlton/trunk/doc/guide/Defunctorize
U mlton/trunk/doc/guide/Developers
U mlton/trunk/doc/guide/Development
U mlton/trunk/doc/guide/Documentation
U mlton/trunk/doc/guide/Drawbacks
U mlton/trunk/doc/guide/EXene
U mlton/trunk/doc/guide/Eclipse
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/EqualityType
U mlton/trunk/doc/guide/EqualityTypeVariable
U mlton/trunk/doc/guide/Experimental
U mlton/trunk/doc/guide/FAQ
U mlton/trunk/doc/guide/Features
U mlton/trunk/doc/guide/FirstClassPolymorphism
U mlton/trunk/doc/guide/Flatten
U mlton/trunk/doc/guide/ForLoops
U mlton/trunk/doc/guide/ForeignFunctionInterface
U mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax
U mlton/trunk/doc/guide/ForeignFunctionInterfaceTypes
U mlton/trunk/doc/guide/FrontEnd
U mlton/trunk/doc/guide/FunctionalRecordUpdate
U mlton/trunk/doc/guide/GarbageCollection
U mlton/trunk/doc/guide/GenerativeDatatype
U mlton/trunk/doc/guide/GenerativeException
U mlton/trunk/doc/guide/Globalize
U mlton/trunk/doc/guide/GnuMP
U mlton/trunk/doc/guide/HaMLet
U mlton/trunk/doc/guide/HenryCejtin
U mlton/trunk/doc/guide/History
U mlton/trunk/doc/guide/Home
U mlton/trunk/doc/guide/HowProfilingWorks
U mlton/trunk/doc/guide/Identifier
U mlton/trunk/doc/guide/Immutable
U mlton/trunk/doc/guide/ImperativeTypeVariable
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/Index
U mlton/trunk/doc/guide/InfixingOperators
U mlton/trunk/doc/guide/Inline
U mlton/trunk/doc/guide/InsertLimitChecks
U mlton/trunk/doc/guide/InsertSignalChecks
U mlton/trunk/doc/guide/Installation
U mlton/trunk/doc/guide/IntermediateLanguage
U mlton/trunk/doc/guide/IntroduceLoops
U mlton/trunk/doc/guide/JesperLouisAndersen
U mlton/trunk/doc/guide/JohnnyAndersen
U mlton/trunk/doc/guide/KnownCase
U mlton/trunk/doc/guide/LambdaFree
U mlton/trunk/doc/guide/LanguageChanges
U mlton/trunk/doc/guide/Lazy
U mlton/trunk/doc/guide/Libraries
U mlton/trunk/doc/guide/License
U mlton/trunk/doc/guide/LineDirective
U mlton/trunk/doc/guide/LocalFlatten
U mlton/trunk/doc/guide/LocalRef
U mlton/trunk/doc/guide/LoopInvariant
U mlton/trunk/doc/guide/ML
U mlton/trunk/doc/guide/MLBasis
U mlton/trunk/doc/guide/MLBasisAnnotationExamples
U mlton/trunk/doc/guide/MLBasisAnnotations
U mlton/trunk/doc/guide/MLBasisAvailableLibraries
U mlton/trunk/doc/guide/MLBasisExamples
U mlton/trunk/doc/guide/MLBasisPathMap
U mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics
U mlton/trunk/doc/guide/MLKit
U mlton/trunk/doc/guide/MLNLFFI
U mlton/trunk/doc/guide/MLNLFFIImplementation
U mlton/trunk/doc/guide/MLj
U mlton/trunk/doc/guide/MLtonArray
U mlton/trunk/doc/guide/MLtonBinIO
U mlton/trunk/doc/guide/MLtonCont
U mlton/trunk/doc/guide/MLtonExn
U mlton/trunk/doc/guide/MLtonFinalizable
U mlton/trunk/doc/guide/MLtonGC
U mlton/trunk/doc/guide/MLtonIO
U mlton/trunk/doc/guide/MLtonIntInf
U mlton/trunk/doc/guide/MLtonItimer
U mlton/trunk/doc/guide/MLtonPlatform
U mlton/trunk/doc/guide/MLtonPointer
U mlton/trunk/doc/guide/MLtonProcEnv
U mlton/trunk/doc/guide/MLtonProcess
U mlton/trunk/doc/guide/MLtonProfile
U mlton/trunk/doc/guide/MLtonRandom
U mlton/trunk/doc/guide/MLtonRlimit
U mlton/trunk/doc/guide/MLtonRusage
U mlton/trunk/doc/guide/MLtonSignal
U mlton/trunk/doc/guide/MLtonSocket
U mlton/trunk/doc/guide/MLtonStructure
U mlton/trunk/doc/guide/MLtonSyslog
U mlton/trunk/doc/guide/MLtonTextIO
U mlton/trunk/doc/guide/MLtonThread
U mlton/trunk/doc/guide/MLtonVector
U mlton/trunk/doc/guide/MLtonWeak
U mlton/trunk/doc/guide/MLtonWord
U mlton/trunk/doc/guide/MLtonWorld
U mlton/trunk/doc/guide/Machine
U mlton/trunk/doc/guide/ManualPage
U mlton/trunk/doc/guide/MatchCompilation
U mlton/trunk/doc/guide/MatchCompile
U mlton/trunk/doc/guide/MatthewFluet
U mlton/trunk/doc/guide/MichaelNorrish
U mlton/trunk/doc/guide/MikeThomas
U mlton/trunk/doc/guide/MoinMoin
U mlton/trunk/doc/guide/Monomorphise
U mlton/trunk/doc/guide/MoscowML
U mlton/trunk/doc/guide/Multi
U mlton/trunk/doc/guide/Mutable
U mlton/trunk/doc/guide/OCaml
U mlton/trunk/doc/guide/ObjectOrientedProgramming
U mlton/trunk/doc/guide/OpenGL
U mlton/trunk/doc/guide/OperatorPrecedence
U mlton/trunk/doc/guide/OptionalArguments
U mlton/trunk/doc/guide/OrphanedPages
U mlton/trunk/doc/guide/OtherSites
U mlton/trunk/doc/guide/Overloading
U mlton/trunk/doc/guide/PackedRepresentation
U mlton/trunk/doc/guide/PageSize
U mlton/trunk/doc/guide/Papers
U mlton/trunk/doc/guide/ParallelMove
U mlton/trunk/doc/guide/Performance
U mlton/trunk/doc/guide/PhantomType
U mlton/trunk/doc/guide/PlatformSpecificNotes
U mlton/trunk/doc/guide/PolyEqual
U mlton/trunk/doc/guide/PolyML
U mlton/trunk/doc/guide/PolymorphicEquality
U mlton/trunk/doc/guide/Polyvariance
A mlton/trunk/doc/guide/Poplog
U mlton/trunk/doc/guide/PortingMLton
U mlton/trunk/doc/guide/PrecedenceParse
U mlton/trunk/doc/guide/Printf
U mlton/trunk/doc/guide/PrintfGentle
U mlton/trunk/doc/guide/ProductType
U mlton/trunk/doc/guide/Profiling
U mlton/trunk/doc/guide/ProfilingAllocation
U mlton/trunk/doc/guide/ProfilingCounts
U mlton/trunk/doc/guide/ProfilingTheStack
U mlton/trunk/doc/guide/ProfilingTime
U mlton/trunk/doc/guide/Projects
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/RayRacine
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/Regions
U mlton/trunk/doc/guide/ReleaseChecklist
U mlton/trunk/doc/guide/RemoveUnused
U mlton/trunk/doc/guide/Restore
U mlton/trunk/doc/guide/RunTimeOptions
U mlton/trunk/doc/guide/RunningOnCygwin
U mlton/trunk/doc/guide/RunningOnDarwin
U mlton/trunk/doc/guide/RunningOnFreeBSD
U mlton/trunk/doc/guide/RunningOnLinux
U mlton/trunk/doc/guide/RunningOnMinGW
U mlton/trunk/doc/guide/RunningOnNetBSD
U mlton/trunk/doc/guide/RunningOnOpenBSD
U mlton/trunk/doc/guide/RunningOnPowerPC
U mlton/trunk/doc/guide/RunningOnSolaris
U mlton/trunk/doc/guide/RunningOnSparc
U mlton/trunk/doc/guide/SMLNET
U mlton/trunk/doc/guide/SMLNJ
U mlton/trunk/doc/guide/SMLNJDeviations
U mlton/trunk/doc/guide/SMLNJLibrary
U mlton/trunk/doc/guide/SMLofNJStructure
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/SelfCompiling
U mlton/trunk/doc/guide/Serialization
U mlton/trunk/doc/guide/ShowBasis
U mlton/trunk/doc/guide/Shrink
U mlton/trunk/doc/guide/SimplifyTypes
U mlton/trunk/doc/guide/Sources
U mlton/trunk/doc/guide/SpaceSafety
U mlton/trunk/doc/guide/StandardML
U mlton/trunk/doc/guide/StandardMLBooks
U mlton/trunk/doc/guide/StandardMLHistory
U mlton/trunk/doc/guide/StandardMLImplementations
U mlton/trunk/doc/guide/StandardMLPortability
U mlton/trunk/doc/guide/StandardMLTutorials
U mlton/trunk/doc/guide/StephenWeeks
U mlton/trunk/doc/guide/StyleGuide
U mlton/trunk/doc/guide/Subversion
U mlton/trunk/doc/guide/SureshJagannathan
U mlton/trunk/doc/guide/Survey
U mlton/trunk/doc/guide/SurveyDone
U mlton/trunk/doc/guide/Swerve
U mlton/trunk/doc/guide/SyntacticConventions
U mlton/trunk/doc/guide/SystemInfo
U mlton/trunk/doc/guide/TILT
U mlton/trunk/doc/guide/Talk
U mlton/trunk/doc/guide/TalkDiveIn
U mlton/trunk/doc/guide/TalkFolkLore
U mlton/trunk/doc/guide/TalkFromSMLTo
U mlton/trunk/doc/guide/TalkHowHigherOrder
U mlton/trunk/doc/guide/TalkHowModules
U mlton/trunk/doc/guide/TalkHowPolymorphism
U mlton/trunk/doc/guide/TalkMLtonApproach
U mlton/trunk/doc/guide/TalkMLtonFeatures
U mlton/trunk/doc/guide/TalkMLtonHistory
U mlton/trunk/doc/guide/TalkStandardML
U mlton/trunk/doc/guide/TalkTemplate
U mlton/trunk/doc/guide/TalkWholeProgram
U mlton/trunk/doc/guide/ToMachine
U mlton/trunk/doc/guide/ToRSSA
U mlton/trunk/doc/guide/ToSSA2
A mlton/trunk/doc/guide/TomMurphy
U mlton/trunk/doc/guide/TrustedGroup
U mlton/trunk/doc/guide/TypeChecking
U mlton/trunk/doc/guide/TypeConstructor
U mlton/trunk/doc/guide/TypeVariableScope
U mlton/trunk/doc/guide/Unicode
U mlton/trunk/doc/guide/UniversalType
U mlton/trunk/doc/guide/UnresolvedBugs
U mlton/trunk/doc/guide/UnsafeStructure
U mlton/trunk/doc/guide/Useless
U mlton/trunk/doc/guide/UserGuide
U mlton/trunk/doc/guide/Users
U mlton/trunk/doc/guide/ValueRestriction
U mlton/trunk/doc/guide/Variant
U mlton/trunk/doc/guide/VesaKarvonen
U mlton/trunk/doc/guide/WantedPages
U mlton/trunk/doc/guide/WebSite
U mlton/trunk/doc/guide/WesleyTerpstra
U mlton/trunk/doc/guide/WholeProgramOptimization
U mlton/trunk/doc/guide/WikiMacros
U mlton/trunk/doc/guide/WikiName
U mlton/trunk/doc/guide/WikiTool
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/ZZZOrphanedPages
U mlton/trunk/doc/guide/Zone
A mlton/trunk/doc/guide/fxp
U mlton/trunk/doc/guide/index.html
U mlton/trunk/doc/guide/mGTK
A mlton/trunk/doc/guide/moin-news.png
----------------------------------------------------------------------
Property changes on: mlton/trunk/doc/guide
___________________________________________________________________
Name: svn:ignore
+ mlton.pdf
Modified: mlton/trunk/doc/guide/AST
===================================================================
--- mlton/trunk/doc/guide/AST 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/AST 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AccessControl
===================================================================
--- mlton/trunk/doc/guide/AccessControl 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/AccessControl 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AdmitsEquality
===================================================================
--- mlton/trunk/doc/guide/AdmitsEquality 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/AdmitsEquality 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Alice
===================================================================
--- mlton/trunk/doc/guide/Alice 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Alice 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AllocateRegisters
===================================================================
--- mlton/trunk/doc/guide/AllocateRegisters 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/AllocateRegisters 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -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"><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/backend/allocate-registers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.sig</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>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/allocate-registers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.fun</a>
<h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
</div>
@@ -65,5 +65,5 @@
<p>
<hr>
-Last edited on 2005-08-19 15:43:18 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-14 23:11:30 by <span title="fox.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/AndreiFormiga
===================================================================
--- mlton/trunk/doc/guide/AndreiFormiga 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/AndreiFormiga 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/BasisLibrary
===================================================================
--- mlton/trunk/doc/guide/BasisLibrary 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/BasisLibrary 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -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/"><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>
+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 class="external" href="http://www.standardml.org/Basis/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://www.standardml.org/Basis/</a>. We keep a copy at <a class="external" 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 class="external" href="http://www.standardml.org/Basis/history.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">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>
@@ -425,5 +425,5 @@
<p>
<hr>
-Last edited on 2005-01-28 21:49:35 by <span title="cfs36.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:28:14 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Bug
===================================================================
--- mlton/trunk/doc/guide/Bug 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Bug 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -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"><img src="moin-www.png" alt="[WWW]" height="11" width="11">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">mailto: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>
@@ -71,5 +71,5 @@
<p>
<hr>
-Last edited on 2005-08-31 23:32:42 by <span title="adsl-64-166-226-67.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 23:18:45 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Bugs20041109
===================================================================
--- mlton/trunk/doc/guide/Bugs20041109 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Bugs20041109 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CKitLibrary
===================================================================
--- mlton/trunk/doc/guide/CKitLibrary 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CKitLibrary 2005-11-15 19:15:14 UTC (rev 4223)
@@ -27,7 +27,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CallGraph
===================================================================
--- mlton/trunk/doc/guide/CallGraph 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CallGraph 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CallingFromCToSML
===================================================================
--- mlton/trunk/doc/guide/CallingFromCToSML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CallingFromCToSML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -176,7 +176,9 @@
<p>
Compile <tt>ffi-export.c</tt> and <tt>export.sml</tt>.
<pre>% gcc -c ffi-export.c
-% mlton -default-ann 'allowExport true' -default-ann 'allowImport true' export.sml ffi-export.o
+% mlton -default-ann 'allowExport true' \
+ -default-ann 'allowImport true' \
+ export.sml ffi-export.o
</pre>
</p>
<p>
@@ -214,5 +216,5 @@
<p>
<hr>
-Last edited on 2005-08-09 07:31:39 by <span title="pool-71-243-2-249.bos.east.verizon.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-13 23:08:49 by <span title="pool-68-162-172-153.pitt.east.verizon.net">AdamGoode</span>.
</body></html>
Modified: mlton/trunk/doc/guide/CallingFromSMLToC
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToC 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CallingFromSMLToC 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ChrisClearwater
===================================================================
--- mlton/trunk/doc/guide/ChrisClearwater 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ChrisClearwater 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Chunkify
===================================================================
--- mlton/trunk/doc/guide/Chunkify 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Chunkify 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Closure
===================================================================
--- mlton/trunk/doc/guide/Closure 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Closure 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ClosureConvert
===================================================================
--- mlton/trunk/doc/guide/ClosureConvert 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ClosureConvert 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CommonArg
===================================================================
--- mlton/trunk/doc/guide/CommonArg 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CommonArg 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -209,7 +209,8 @@
<pre>nodes(G) = {Root} U Var.t
edges(G) = {Root -> v | v bound in a Statement.t or
in the Function.t args} U
- {xi -> ai | L(x1, ..., xn) transfer where (a1, ..., an) are the formals of L} U
+ {xi -> ai | L(x1, ..., xn) transfer where (a1, ..., an)
+ are the formals of L} U
{Root -> a | a is a block argument used in an unknown context}
</pre>
</ul>
@@ -254,5 +255,5 @@
<p>
<hr>
-Last edited on 2005-08-19 15:42:33 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-13 23:14:11 by <span title="pool-68-162-172-153.pitt.east.verizon.net">AdamGoode</span>.
</body></html>
Modified: mlton/trunk/doc/guide/CommonBlock
===================================================================
--- mlton/trunk/doc/guide/CommonBlock 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CommonBlock 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CommonSubexp
===================================================================
--- mlton/trunk/doc/guide/CommonSubexp 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CommonSubexp 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,11 +49,8 @@
</table>
<div id="content" lang="en" dir="ltr">
+An optimization pass for the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>, invoked from <a href="SSASimplify">SSASimplify</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
<p>
-An optimization pass for the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>, invoked from <a href="SSASimplify">SSASimplify</a>.
-</p>
-<h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
-<p>
Eliminate instances of common subexpressions.
</p>
<h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
@@ -113,7 +110,8 @@
<pre> val l = (n + m) + (n + m)
- val k = (l + n) + ((l + m) handle Overflow => ((l + m) handle Overflow => l + n))
+ val k = (l + n) + ((l + m) handle Overflow => ((l + m)
+ handle Overflow => l + n))
</pre> is rewritten so that <tt>(n + m)</tt> is computed exactly once, as
</p>
</li>
@@ -130,5 +128,5 @@
<p>
<hr>
-Last edited on 2005-08-19 15:41:48 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-13 23:15:26 by <span title="pool-68-162-172-153.pitt.east.verizon.net">AdamGoode</span>.
</body></html>
Modified: mlton/trunk/doc/guide/CompilationManager
===================================================================
--- mlton/trunk/doc/guide/CompilationManager 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CompilationManager 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CompileTimeOptions
===================================================================
--- mlton/trunk/doc/guide/CompileTimeOptions 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CompileTimeOptions 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -314,7 +314,21 @@
<ul>
- Pass argument to the runtime system via <tt>@MLton</tt>. The argument will be processed before other <tt>@MLton</tt> command line switches. Multiple uses of <tt>-runtime</tt> are allowed, and will pass all the arguments in order. If the same runtime switch occurs more than once, then the last setting will take effect.
+ Pass argument to the runtime system via <tt>@MLton</tt>. The argument will be processed before other <tt>@MLton</tt> command line switches. Multiple uses of <tt>-runtime</tt> are allowed, and will pass all the arguments in order. If the same runtime switch occurs more than once, then the last setting will take effect. There is no need to supply the leading <tt>@MLton</tt> or the trailing <tt>--</tt>; these will be supplied automatically. <p>
+ An argument to <tt>-runtime</tt> may contain spaces, which will cause the argument to be treated as a sequence of words by the runtime. For example the command line
+</p>
+
+<pre>mlton -runtime 'ram-slop 0.4' foo.sml</pre><p>
+ is effectively the same as
+</p>
+
+<pre>foo @MLton ram-slop 0.4 --</pre><p>
+ An executable created with <tt>-runtime stop</tt> doesn't process any <tt>@MLton</tt> arguments. This is useful to create an executable, e.g. <tt>echo</tt>, that must treat <tt>@MLton</tt> like any other command-line argument.
+</p>
+
+<pre>% mlton -runtime stop echo.sml
+% echo @MLton --
+@MLton --</pre>
</ul>
@@ -487,5 +501,5 @@
<p>
<hr>
-Last edited on 2005-09-05 21:54:58 by <span title="adsl-64-166-225-193.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-27 18:15:36 by <span title="adsl-64-170-115-30.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CompilerOverview
===================================================================
--- mlton/trunk/doc/guide/CompilerOverview 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CompilerOverview 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CompilerPassTemplate
===================================================================
--- mlton/trunk/doc/guide/CompilerPassTemplate 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CompilerPassTemplate 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ConcurrentML
===================================================================
--- mlton/trunk/doc/guide/ConcurrentML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ConcurrentML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ConcurrentMLImplementation
===================================================================
--- mlton/trunk/doc/guide/ConcurrentMLImplementation 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ConcurrentMLImplementation 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -269,7 +269,7 @@
<ul>
- <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>
+ <a class="external" 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>
@@ -282,5 +282,5 @@
<p>
<hr>
-Last edited on 2004-12-03 00:24:53 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 23:28:35 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/ConstantPropagation
===================================================================
--- mlton/trunk/doc/guide/ConstantPropagation 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ConstantPropagation 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Contact
===================================================================
--- mlton/trunk/doc/guide/Contact 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Contact 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -102,7 +102,7 @@
<li>
<p>
- Some MLton developers and users are in channel <tt>#sml</tt> on <a href="http://freenode.net">http://freenode.net</a>.
+ Some MLton developers and users are in channel <tt>#sml</tt> on <a class="external" href="http://freenode.net"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://freenode.net</a>.
</p>
</li>
</ul>
@@ -113,5 +113,5 @@
<p>
<hr>
-Last edited on 2005-08-31 23:32:20 by <span title="adsl-64-166-226-67.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 23:18:54 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Contify
===================================================================
--- mlton/trunk/doc/guide/Contify 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Contify 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CoreML
===================================================================
--- mlton/trunk/doc/guide/CoreML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CoreML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CoreMLSimplify
===================================================================
--- mlton/trunk/doc/guide/CoreMLSimplify 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CoreMLSimplify 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CreatingPages
===================================================================
--- mlton/trunk/doc/guide/CreatingPages 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CreatingPages 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Credits
===================================================================
--- mlton/trunk/doc/guide/Credits 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Credits 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -129,7 +129,7 @@
</li>
<li class="gap">
<p>
- Tom Murphy wrote the original version of <tt>MLton.Syslog</tt> as part of his <tt>mlftpd</tt> project, and has sent many useful bug reports and suggestions.
+ <a href="TomMurphy">TomMurphy</a> wrote the original version of <tt>MLton.Syslog</tt> as part of his <tt>mlftpd</tt> project, and has sent many useful bug reports and suggestions.
</p>
</li>
<li class="gap">
@@ -230,5 +230,5 @@
<p>
<hr>
-Last edited on 2005-08-30 05:33:54 by <span title="adsl-64-166-226-67.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-27 15:46:17 by <span title="adsl-64-170-115-30.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CrossCompiling
===================================================================
--- mlton/trunk/doc/guide/CrossCompiling 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/CrossCompiling 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/DeadCode
===================================================================
--- mlton/trunk/doc/guide/DeadCode 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/DeadCode 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/DeepFlatten
===================================================================
--- mlton/trunk/doc/guide/DeepFlatten 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/DeepFlatten 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/DefineTypeBeforeUse
===================================================================
--- mlton/trunk/doc/guide/DefineTypeBeforeUse 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/DefineTypeBeforeUse 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/DefinitionOfStandardML
===================================================================
--- mlton/trunk/doc/guide/DefinitionOfStandardML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/DefinitionOfStandardML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Defunctorize
===================================================================
--- mlton/trunk/doc/guide/Defunctorize 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Defunctorize 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Developers
===================================================================
--- mlton/trunk/doc/guide/Developers 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Developers 2005-11-15 19:15:14 UTC (rev 4223)
@@ -26,7 +26,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Development
===================================================================
--- mlton/trunk/doc/guide/Development 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Development 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Documentation
===================================================================
--- mlton/trunk/doc/guide/Documentation 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Documentation 2005-11-15 19:15:14 UTC (rev 4223)
@@ -29,7 +29,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Drawbacks
===================================================================
--- mlton/trunk/doc/guide/Drawbacks 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Drawbacks 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/EXene
===================================================================
--- mlton/trunk/doc/guide/EXene 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/EXene 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Eclipse
===================================================================
--- mlton/trunk/doc/guide/Eclipse 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Eclipse 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/EditingPages
===================================================================
--- mlton/trunk/doc/guide/EditingPages 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/EditingPages 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Elaborate
===================================================================
--- mlton/trunk/doc/guide/Elaborate 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Elaborate 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Emacs
===================================================================
--- mlton/trunk/doc/guide/Emacs 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Emacs 2005-11-15 19:15:14 UTC (rev 4223)
@@ -27,7 +27,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -68,12 +68,12 @@
<li>
<p>
- <a href="http://www.xemacs.org/Documentation/packages/html/sml-mode_3.html">http://www.xemacs.org/Documentation/packages/html/sml-mode_3.html</a>
+ <a class="external" href="http://www.xemacs.org/Documentation/packages/html/sml-mode_3.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://www.xemacs.org/Documentation/packages/html/sml-mode_3.html</a>
</p>
</li>
<li>
<p>
- <a href="http://www.smlnj.org/doc/Emacs/sml-mode.html">http://www.smlnj.org/doc/Emacs/sml-mode.html</a>
+ <a class="external" href="http://www.smlnj.org/doc/Emacs/sml-mode.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://www.smlnj.org/doc/Emacs/sml-mode.html</a>
</p>
</li>
@@ -89,7 +89,7 @@
</li>
<li class="gap">
<p>
- <a href="http://primate.net/~itz/mindent.tar">http://primate.net/~itz/mindent.tar</a>, developed by Ian Zimmerman, who writes:
+ <a class="external" href="http://primate.net/~itz/mindent.tar"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://primate.net/~itz/mindent.tar</a>, developed by Ian Zimmerman, who writes:
</p>
</li>
@@ -158,5 +158,5 @@
<p>
<hr>
-Last edited on 2005-08-06 22:25:50 by <span title="pool-70-22-241-24.bos.east.verizon.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:19:05 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Enscript
===================================================================
--- mlton/trunk/doc/guide/Enscript 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Enscript 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/EqualityType
===================================================================
--- mlton/trunk/doc/guide/EqualityType 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/EqualityType 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/EqualityTypeVariable
===================================================================
--- mlton/trunk/doc/guide/EqualityTypeVariable 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/EqualityTypeVariable 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Experimental
===================================================================
--- mlton/trunk/doc/guide/Experimental 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Experimental 2005-11-15 19:15:14 UTC (rev 4223)
@@ -24,11 +24,30 @@
<link rel="Appendix" title="mlton-20050731-1.sparc-solaris.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.sparc-solaris.tgz">
<link rel="Appendix" title="mlton-20050731-1.src.rpm" href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.src.rpm">
<link rel="Appendix" title="mlton-20050731-1.src.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20050731-1.src.tgz">
+<link rel="Appendix" title="mlton-20051102-1.i386-cygwin.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051102-1.i386-cygwin.tgz">
+<link rel="Appendix" title="mlton-20051102-1.powerpc-darwin.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051102-1.powerpc-darwin.tgz">
+<link rel="Appendix" title="mlton-20051108-1.i386-mingw.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051108-1.i386-mingw.tgz">
+<link rel="Appendix" title="mlton-20051109-1.i386-cygwin.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.i386-cygwin.tgz">
+<link rel="Appendix" title="mlton-20051109-1.i386-freebsd.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.i386-freebsd.tgz">
+<link rel="Appendix" title="mlton-20051109-1.i386-linux.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.i386-linux.tgz">
+<link rel="Appendix" title="mlton-20051109-1.i386-mingw.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.i386-mingw.tgz">
+<link rel="Appendix" title="mlton-20051109-1.i386-netbsd.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.i386-netbsd.tgz">
+<link rel="Appendix" title="mlton-20051109-1.i386-openbsd.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.i386-openbsd.tgz">
+<link rel="Appendix" title="mlton-20051109-1.i386.rpm" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.i386.rpm">
+<link rel="Appendix" title="mlton-20051109-1.powerpc-darwin.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.powerpc-darwin.tgz">
+<link rel="Appendix" title="mlton-20051109-1.sparc-solaris.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.sparc-solaris.tgz">
+<link rel="Appendix" title="mlton-20051109-1.src.rpm" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.src.rpm">
+<link rel="Appendix" title="mlton-20051109-1.src.tgz" href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.src.tgz">
<link rel="Appendix" title="mlton_20050731-1.diff.gz" href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1.diff.gz">
<link rel="Appendix" title="mlton_20050731-1.dsc" href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1.dsc">
<link rel="Appendix" title="mlton_20050731-1_i386.changes" href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1_i386.changes">
<link rel="Appendix" title="mlton_20050731-1_i386.deb" href="http://mlton.org/pages/Experimental/attachments/mlton_20050731-1_i386.deb">
<link rel="Appendix" title="mlton_20050731.orig.tar.gz" href="http://mlton.org/pages/Experimental/attachments/mlton_20050731.orig.tar.gz">
+<link rel="Appendix" title="mlton_20051109-1.diff.gz" href="http://mlton.org/pages/Experimental/attachments/mlton_20051109-1.diff.gz">
+<link rel="Appendix" title="mlton_20051109-1.dsc" href="http://mlton.org/pages/Experimental/attachments/mlton_20051109-1.dsc">
+<link rel="Appendix" title="mlton_20051109-1_i386.changes" href="http://mlton.org/pages/Experimental/attachments/mlton_20051109-1_i386.changes">
+<link rel="Appendix" title="mlton_20051109-1_i386.deb" href="http://mlton.org/pages/Experimental/attachments/mlton_20051109-1_i386.deb">
+<link rel="Appendix" title="mlton_20051109.orig.tar.gz" href="http://mlton.org/pages/Experimental/attachments/mlton_20051109.orig.tar.gz">
</head>
<body lang="en" dir="ltr">
@@ -40,7 +59,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -73,38 +92,244 @@
<li>
<p>
- Compiler: better exception history
+ New license: BSD-style instead of GPL.
</p>
</li>
<li>
<p>
- FFI: support for symbols
+ New platforms: x86/MinGW, hppa/Linux.
</p>
</li>
<li>
<p>
- Libraries: <tt>Int1</tt>, <tt>MLton.CallStack</tt>, <tt>MLton.Process.create</tt>, <tt>Word1</tt>
+ Compiler: better exception history.
</p>
</li>
<li>
<p>
- MLBs: <tt>warnExnMatch</tt> annotation
+ FFI: support for symbols.
</p>
</li>
<li>
<p>
- Profiling: better inclusion/exclusion of code
+ Libraries: <tt>Int1</tt>, <tt>MLton.CallStack</tt>, <tt>MLton.Process.create</tt>, <tt>Word1</tt>.
</p>
</li>
<li>
<p>
- Tools: updates of mllex and mlyacc from SML/NJ
+ MLBs: <tt>warnExnMatch</tt> annotation.
</p>
</li>
+ <li>
+<p>
+ Profiling: better inclusion/exclusion of code.
+</p>
+</li>
+ <li>
+<p>
+ Tools: updates of mllex and mlyacc from SML/NJ.
+</p>
+</li>
</ul>
+<h2 id="head-0e3b62959b790d2ab3ea48811fd819acd889cd24">20051109 binary packages</h2>
+
+ <ul>
+
+ <li>
+<p>
+ x86
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.i386-cygwin.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Cygwin</a> 1.5.18-1
+</p>
+</li>
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.i386-freebsd.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">FreeBSD</a> 5.4
+</p>
+</li>
+ <li>
+<p>
+ Linux
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton_20051109-1_i386.deb"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Debian</a> sid
+</p>
+</li>
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-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-20051109-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>
+
+ </ul>
+
+
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051108-1.i386-mingw.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MinGW</a>
+</p>
+</li>
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-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-20051109-1.i386-openbsd.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">OpenBSD</a> 3.7
+</p>
+</li>
+
+ </ul>
+
+
+ <li>
+<p>
+ PowerPC
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.powerpc-darwin.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Darwin</a> 7.9.0 (Mac OS X)
+</p>
+</li>
+
+ </ul>
+
+
+ <li>
+<p>
+ Sparc
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-1.sparc-solaris.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Solaris</a> 8
+</p>
+</li>
+
+ </ul>
+
+
+
+ </ul>
+
+
+<h2 id="head-4a3ee97e74efdeedf7a6690a0962c3e5674109ea">20051109 sources</h2>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051109-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_20051109-1.dsc"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dsc</a>, <a href="http://mlton.org/pages/Experimental/attachments/mlton_20051109-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_20051109.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-20051109-1.src.rpm"><img src="moin-www.png" alt="[WWW]" height="11" width="11">source rpm</a>
+</p>
+</li>
+
+ </ul>
+
+
+<h2 id="head-fa8a75e4310fa61a1be9c6fef3a2788dff704576">20051108 binary packages</h2>
+
+ <ul>
+
+ <li>
+<p>
+ x86
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051108-1.i386-mingw.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MinGW</a>
+</p>
+</li>
+
+ </ul>
+
+
+
+ </ul>
+
+
+<h2 id="head-cc061b2e542c1d0cf34c23eeaba9f154189a93cd">20051102 binary packages</h2>
+
+ <ul>
+
+ <li>
+<p>
+ x86
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051102-1.i386-cygwin.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Cygwin</a> 1.5.18-1
+</p>
+</li>
+
+ </ul>
+
+
+ <li>
+<p>
+ PowerPC
+</p>
+</li>
+
+ <ul>
+
+ <li>
+<p>
+ <a href="http://mlton.org/pages/Experimental/attachments/mlton-20051102-1.powerpc-darwin.tgz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Darwin</a> 7.9.0 (Mac OS X)
+</p>
+</li>
+
+ </ul>
+
+
+
+ </ul>
+
+
<h2 id="head-7c89f2526abeecbdfccbe96f59bbda5ed46c9792">20050731 binary packages</h2>
<ul>
@@ -228,5 +453,5 @@
<p>
<hr>
-Last edited on 2005-08-02 01:10:29 by <span title="adsl-66-126-175-21.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-11-10 06:49:35 by <span title="71.141.5.253"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/FAQ
===================================================================
--- mlton/trunk/doc/guide/FAQ 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/FAQ 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Features
===================================================================
--- mlton/trunk/doc/guide/Features 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Features 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/FirstClassPolymorphism
===================================================================
--- mlton/trunk/doc/guide/FirstClassPolymorphism 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/FirstClassPolymorphism 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Flatten
===================================================================
--- mlton/trunk/doc/guide/Flatten 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Flatten 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ForLoops
===================================================================
--- mlton/trunk/doc/guide/ForLoops 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ForLoops 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ForeignFunctionInterface
===================================================================
--- mlton/trunk/doc/guide/ForeignFunctionInterface 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ForeignFunctionInterface 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax
===================================================================
--- mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -163,9 +163,9 @@
</p>
<h2 id="head-f3e4fadb9e370a1e2c0c622c01fc8c77daf93a2c">Export</h2>
-<pre>_export "C function name" attr... : cFuncTy -> unit;
+<pre>_export "CFunctionName" attr... : cFuncTy -> unit;
</pre><p>
-Denotes a function that must be applied to a SML function <tt>f</tt> and arranges for the exported C function to call the SML function.
+Exports a C function with the name <tt>CFunctionName</tt> that can be used to call an SML function of the type <em>cFuncTy</em>. When the function denoted by the export expression is applied to an SML function <tt>f</tt>, subsequent C calls to <tt>CFunctionName</tt> will call <tt>f</tt>. It is an error to call <tt>CFunctionName</tt> before the export has been applied. The export may be applied more than once, with each application replacing any previous definition of <tt>CFunctionName</tt>.
</p>
<p>
<tt>attr...</tt> denotes a (possibly empty) sequence of attributes.
@@ -196,5 +196,5 @@
<p>
<hr>
-Last edited on 2005-08-07 21:52:33 by <span title="pool-71-243-10-187.bos.east.verizon.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-23 16:59:31 by <span title="adsl-64-166-227-19.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/ForeignFunctionInterfaceTypes
===================================================================
--- mlton/trunk/doc/guide/ForeignFunctionInterfaceTypes 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ForeignFunctionInterfaceTypes 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/FrontEnd
===================================================================
--- mlton/trunk/doc/guide/FrontEnd 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/FrontEnd 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/FunctionalRecordUpdate
===================================================================
--- mlton/trunk/doc/guide/FunctionalRecordUpdate 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/FunctionalRecordUpdate 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/GarbageCollection
===================================================================
--- mlton/trunk/doc/guide/GarbageCollection 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/GarbageCollection 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -61,7 +61,7 @@
<li>
<p>
- <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>
+ <a class="external" 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>
@@ -86,5 +86,5 @@
<p>
<hr>
-Last edited on 2004-12-10 18:23:47 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 23:28:47 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/GenerativeDatatype
===================================================================
--- mlton/trunk/doc/guide/GenerativeDatatype 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/GenerativeDatatype 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/GenerativeException
===================================================================
--- mlton/trunk/doc/guide/GenerativeException 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/GenerativeException 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Globalize
===================================================================
--- mlton/trunk/doc/guide/Globalize 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Globalize 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/GnuMP
===================================================================
--- mlton/trunk/doc/guide/GnuMP 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/GnuMP 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/HaMLet
===================================================================
--- mlton/trunk/doc/guide/HaMLet 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/HaMLet 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/HenryCejtin
===================================================================
--- mlton/trunk/doc/guide/HenryCejtin 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/HenryCejtin 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/History
===================================================================
--- mlton/trunk/doc/guide/History 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/History 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Home
===================================================================
--- mlton/trunk/doc/guide/Home 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Home 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/HowProfilingWorks
===================================================================
--- mlton/trunk/doc/guide/HowProfilingWorks 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/HowProfilingWorks 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Identifier
===================================================================
--- mlton/trunk/doc/guide/Identifier 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Identifier 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Immutable
===================================================================
--- mlton/trunk/doc/guide/Immutable 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Immutable 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ImperativeTypeVariable
===================================================================
--- mlton/trunk/doc/guide/ImperativeTypeVariable 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ImperativeTypeVariable 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ImplementExceptions
===================================================================
--- mlton/trunk/doc/guide/ImplementExceptions 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ImplementExceptions 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ImplementHandlers
===================================================================
--- mlton/trunk/doc/guide/ImplementHandlers 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ImplementHandlers 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ImplementProfiling
===================================================================
--- mlton/trunk/doc/guide/ImplementProfiling 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ImplementProfiling 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ImplementSuffix
===================================================================
--- mlton/trunk/doc/guide/ImplementSuffix 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ImplementSuffix 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Index
===================================================================
--- mlton/trunk/doc/guide/Index 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Index 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,7 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-There are 291 pages. <p><p><a href="#A">A</a> | <a href="#B">B</a> | <a href="#C">C</a> | <a href="#D">D</a> | <a href="#E">E</a> | <a href="#F">F</a> | <a href="#G">G</a> | <a href="#H">H</a> | <a href="#I">I</a> | <a href="#J">J</a> | <a href="#K">K</a> | <a href="#L">L</a> | <a href="#M">M</a> | <a href="#O">O</a> | <a href="#P">P</a> | <a href="#R">R</a> | <a href="#S">S</a> | <a href="#T">T</a> | <a href="#U">U</a> | <a href="#V">V</a> | <a href="#W">W</a> | <a href="#X">X</a> | <a href="#Z">Z</a><br>
+There are 294 pages. <p><p><a href="#A">A</a> | <a href="#B">B</a> | <a href="#C">C</a> | <a href="#D">D</a> | <a href="#E">E</a> | <a href="#F">F</a> | <a href="#G">G</a> | <a href="#H">H</a> | <a href="#I">I</a> | <a href="#J">J</a> | <a href="#K">K</a> | <a href="#L">L</a> | <a href="#M">M</a> | <a href="#O">O</a> | <a href="#P">P</a> | <a href="#R">R</a> | <a href="#S">S</a> | <a href="#T">T</a> | <a href="#U">U</a> | <a href="#V">V</a> | <a href="#W">W</a> | <a href="#X">X</a> | <a href="#Z">Z</a><br>
</p><a name="A"><h3>A</h3></a><a href="AccessControl">AccessControl</a>
<br><a href="AdmitsEquality">AdmitsEquality</a>
<br><a href="Alice">Alice</a>
@@ -112,6 +112,7 @@
<br><a href="ForLoops">ForLoops</a>
<br><a href="FrontEnd">FrontEnd</a>
<br><a href="FunctionalRecordUpdate">FunctionalRecordUpdate</a>
+<br><a href="fxp">fxp</a>
<a name="G"><h3>G</h3></a><a href="GarbageCollection">GarbageCollection</a>
<br><a href="GenerativeDatatype">GenerativeDatatype</a>
<br><a href="GenerativeException">GenerativeException</a>
@@ -220,6 +221,7 @@
<br><a href="PolyML">PolyML</a>
<br><a href="PolymorphicEquality">PolymorphicEquality</a>
<br><a href="Polyvariance">Polyvariance</a>
+<br><a href="Poplog">Poplog</a>
<br><a href="PortingMLton">PortingMLton</a>
<br><a href="PrecedenceParse">PrecedenceParse</a>
<br><a href="Printf">Printf</a>
@@ -305,6 +307,7 @@
<br><a href="TalkWholeProgram">TalkWholeProgram</a>
<br><a href="TILT">TILT</a>
<br><a href="ToMachine">ToMachine</a>
+<br><a href="TomMurphy">TomMurphy</a>
<br><a href="ToRSSA">ToRSSA</a>
<br><a href="ToSSA2">ToSSA2</a>
<br><a href="TrustedGroup">TrustedGroup</a>
Modified: mlton/trunk/doc/guide/InfixingOperators
===================================================================
--- mlton/trunk/doc/guide/InfixingOperators 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/InfixingOperators 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Inline
===================================================================
--- mlton/trunk/doc/guide/Inline 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Inline 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/InsertLimitChecks
===================================================================
--- mlton/trunk/doc/guide/InsertLimitChecks 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/InsertLimitChecks 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/InsertSignalChecks
===================================================================
--- mlton/trunk/doc/guide/InsertSignalChecks 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/InsertSignalChecks 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Installation
===================================================================
--- mlton/trunk/doc/guide/Installation 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Installation 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/IntermediateLanguage
===================================================================
--- mlton/trunk/doc/guide/IntermediateLanguage 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/IntermediateLanguage 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/IntroduceLoops
===================================================================
--- mlton/trunk/doc/guide/IntroduceLoops 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/IntroduceLoops 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/JesperLouisAndersen
===================================================================
--- mlton/trunk/doc/guide/JesperLouisAndersen 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/JesperLouisAndersen 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/JohnnyAndersen
===================================================================
--- mlton/trunk/doc/guide/JohnnyAndersen 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/JohnnyAndersen 2005-11-15 19:15:14 UTC (rev 4223)
@@ -26,7 +26,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/KnownCase
===================================================================
--- mlton/trunk/doc/guide/KnownCase 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/KnownCase 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/LambdaFree
===================================================================
--- mlton/trunk/doc/guide/LambdaFree 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/LambdaFree 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/LanguageChanges
===================================================================
--- mlton/trunk/doc/guide/LanguageChanges 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/LanguageChanges 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -105,12 +105,12 @@
<li>
<p>
- <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>
+ <a class="external" 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"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton-user/2004-December/000320.html</a>
+ <a class="external" 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>
@@ -121,5 +121,5 @@
<p>
<hr>
-Last edited on 2005-01-28 21:46:52 by <span title="cfs36.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:28:57 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Lazy
===================================================================
--- mlton/trunk/doc/guide/Lazy 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Lazy 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Libraries
===================================================================
--- mlton/trunk/doc/guide/Libraries 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Libraries 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -137,7 +137,7 @@
</li>
<li>
<p>
- XML: <a class="external" href="http://atseidl2.informatik.tu-muenchen.de/~berlea/Fxp/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">fxp</a>, which has a <a class="external" href="http://atseidl2.informatik.tu-muenchen.de/~berlea/Fxp/mlton.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">patch</a> to compile with MLton.
+ XML: <a href="fxp">fxp</a>
</p>
</li>
<li>
@@ -238,5 +238,5 @@
<p>
<hr>
-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>.
+Last edited on 2005-09-09 19:23:21 by <span title="adsl-64-166-227-25.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/License
===================================================================
--- mlton/trunk/doc/guide/License 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/License 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/LineDirective
===================================================================
--- mlton/trunk/doc/guide/LineDirective 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/LineDirective 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/LocalFlatten
===================================================================
--- mlton/trunk/doc/guide/LocalFlatten 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/LocalFlatten 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/LocalRef
===================================================================
--- mlton/trunk/doc/guide/LocalRef 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/LocalRef 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/LoopInvariant
===================================================================
--- mlton/trunk/doc/guide/LoopInvariant 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/LoopInvariant 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ML
===================================================================
--- mlton/trunk/doc/guide/ML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLBasis
===================================================================
--- mlton/trunk/doc/guide/MLBasis 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLBasis 2005-11-15 19:15:14 UTC (rev 4223)
@@ -26,7 +26,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLBasisAnnotationExamples
===================================================================
--- mlton/trunk/doc/guide/MLBasisAnnotationExamples 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLBasisAnnotationExamples 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLBasisAnnotations
===================================================================
--- mlton/trunk/doc/guide/MLBasisAnnotations 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLBasisAnnotations 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLBasisAvailableLibraries
===================================================================
--- mlton/trunk/doc/guide/MLBasisAvailableLibraries 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLBasisAvailableLibraries 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLBasisExamples
===================================================================
--- mlton/trunk/doc/guide/MLBasisExamples 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLBasisExamples 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLBasisPathMap
===================================================================
--- mlton/trunk/doc/guide/MLBasisPathMap 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLBasisPathMap 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics
===================================================================
--- mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLKit
===================================================================
--- mlton/trunk/doc/guide/MLKit 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLKit 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLNLFFI
===================================================================
--- mlton/trunk/doc/guide/MLNLFFI 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLNLFFI 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLNLFFIImplementation
===================================================================
--- mlton/trunk/doc/guide/MLNLFFIImplementation 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLNLFFIImplementation 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLj
===================================================================
--- mlton/trunk/doc/guide/MLj 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLj 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonArray
===================================================================
--- mlton/trunk/doc/guide/MLtonArray 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonArray 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonBinIO
===================================================================
--- mlton/trunk/doc/guide/MLtonBinIO 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonBinIO 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonCont
===================================================================
--- mlton/trunk/doc/guide/MLtonCont 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonCont 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonExn
===================================================================
--- mlton/trunk/doc/guide/MLtonExn 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonExn 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonFinalizable
===================================================================
--- mlton/trunk/doc/guide/MLtonFinalizable 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonFinalizable 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -316,7 +316,7 @@
<li>
<p>
- <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>
+ <a class="external" 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>
@@ -332,5 +332,5 @@
<p>
<hr>
-Last edited on 2004-12-16 00:12:27 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 23:29:14 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MLtonGC
===================================================================
--- mlton/trunk/doc/guide/MLtonGC 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonGC 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonIO
===================================================================
--- mlton/trunk/doc/guide/MLtonIO 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonIO 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonIntInf
===================================================================
--- mlton/trunk/doc/guide/MLtonIntInf 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonIntInf 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonItimer
===================================================================
--- mlton/trunk/doc/guide/MLtonItimer 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonItimer 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonPlatform
===================================================================
--- mlton/trunk/doc/guide/MLtonPlatform 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonPlatform 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonPointer
===================================================================
--- mlton/trunk/doc/guide/MLtonPointer 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonPointer 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonProcEnv
===================================================================
--- mlton/trunk/doc/guide/MLtonProcEnv 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonProcEnv 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonProcess
===================================================================
--- mlton/trunk/doc/guide/MLtonProcess 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonProcess 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonProfile
===================================================================
--- mlton/trunk/doc/guide/MLtonProfile 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonProfile 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonRandom
===================================================================
--- mlton/trunk/doc/guide/MLtonRandom 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonRandom 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonRlimit
===================================================================
--- mlton/trunk/doc/guide/MLtonRlimit 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonRlimit 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonRusage
===================================================================
--- mlton/trunk/doc/guide/MLtonRusage 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonRusage 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -55,8 +55,9 @@
<B><FONT COLOR="#0000FF">sig</FONT></B>
<B><FONT COLOR="#A020F0">type</FONT></B><FONT COLOR="#228B22"><B> t </FONT></B>=<FONT COLOR="#228B22"><B> {utime: Time.time, <I><FONT COLOR="#B22222">(* user time *)</FONT></I>
stime: Time.time} <I><FONT COLOR="#B22222">(* system time *)</FONT></I>
-
- </FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> rusage: unit -> {children: t,
+
+ </FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> measureGC: bool -> unit
+ <B><FONT COLOR="#A020F0">val</FONT></B> rusage: unit -> {children: t,
gc: t,
self: t}
<B><FONT COLOR="#0000FF">end</FONT></B>
@@ -81,6 +82,18 @@
<li class="gap">
<p>
+ <tt>measureGC b</tt>
+</p>
+</li>
+
+ <ul>
+
+ controls whether garbage collection time is measured during program execution. This affects the behavior of both <tt>rusage</tt> and <tt>Timer.checkCPUTimes</tt>. Note that garbage collection time is always measured when either <tt>gc-messages</tt> or <tt>gc-summary</tt> is given as a runtime system option.
+ </ul>
+
+
+ <li class="gap">
+<p>
<tt>rusage ()</tt>
</p>
</li>
@@ -97,5 +110,5 @@
<p>
<hr>
-Last edited on 2004-11-02 04:28:42 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-11-04 00:32:18 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/MLtonSignal
===================================================================
--- mlton/trunk/doc/guide/MLtonSignal 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonSignal 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonSocket
===================================================================
--- mlton/trunk/doc/guide/MLtonSocket 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonSocket 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonStructure
===================================================================
--- mlton/trunk/doc/guide/MLtonStructure 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonStructure 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonSyslog
===================================================================
--- mlton/trunk/doc/guide/MLtonSyslog 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonSyslog 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonTextIO
===================================================================
--- mlton/trunk/doc/guide/MLtonTextIO 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonTextIO 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonThread
===================================================================
--- mlton/trunk/doc/guide/MLtonThread 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonThread 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonVector
===================================================================
--- mlton/trunk/doc/guide/MLtonVector 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonVector 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonWeak
===================================================================
--- mlton/trunk/doc/guide/MLtonWeak 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonWeak 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonWord
===================================================================
--- mlton/trunk/doc/guide/MLtonWord 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonWord 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MLtonWorld
===================================================================
--- mlton/trunk/doc/guide/MLtonWorld 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MLtonWorld 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Machine
===================================================================
--- mlton/trunk/doc/guide/Machine 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Machine 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ManualPage
===================================================================
--- mlton/trunk/doc/guide/ManualPage 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ManualPage 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MatchCompilation
===================================================================
--- mlton/trunk/doc/guide/MatchCompilation 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MatchCompilation 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MatchCompile
===================================================================
--- mlton/trunk/doc/guide/MatchCompile 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MatchCompile 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MatthewFluet
===================================================================
--- mlton/trunk/doc/guide/MatthewFluet 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MatthewFluet 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,7 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-Matthew Fluet ( <a class="external" href="mailto:mfluet@acm.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mfluet@acm.org</a> , <a class="external" href="http://www.cs.cornell.edu/People/fluet"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://www.cs.cornell.edu/People/fluet</a> ) is a PhD student in the <a class="external" href="http://www.cs.cornell.edu"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Computer Science Department</a> at <a class="external" href="http://www.cornell.edu"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Cornell University</a>. <hr>
+Matthew Fluet ( <a class="external" href="mailto:mfluet@acm.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:mfluet@acm.org</a> , <a class="external" href="http://www.cs.cornell.edu/People/fluet"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://www.cs.cornell.edu/People/fluet</a> ) is a PhD student in the <a class="external" href="http://www.cs.cornell.edu"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Computer Science Department</a> at <a class="external" href="http://www.cornell.edu"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Cornell University</a>. <hr>
<p>
Current MLton projects:
</p>
@@ -89,5 +89,5 @@
<p>
<hr>
-Last edited on 2005-04-20 14:02:11 by <span title="cfs27.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:19:14 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/MichaelNorrish
===================================================================
--- mlton/trunk/doc/guide/MichaelNorrish 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MichaelNorrish 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MikeThomas
===================================================================
--- mlton/trunk/doc/guide/MikeThomas 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MikeThomas 2005-11-15 19:15:14 UTC (rev 4223)
@@ -26,7 +26,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MoinMoin
===================================================================
--- mlton/trunk/doc/guide/MoinMoin 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MoinMoin 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Monomorphise
===================================================================
--- mlton/trunk/doc/guide/Monomorphise 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Monomorphise 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/MoscowML
===================================================================
--- mlton/trunk/doc/guide/MoscowML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/MoscowML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Multi
===================================================================
--- mlton/trunk/doc/guide/Multi 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Multi 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Mutable
===================================================================
--- mlton/trunk/doc/guide/Mutable 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Mutable 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/OCaml
===================================================================
--- mlton/trunk/doc/guide/OCaml 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/OCaml 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ObjectOrientedProgramming
===================================================================
--- mlton/trunk/doc/guide/ObjectOrientedProgramming 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ObjectOrientedProgramming 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/OpenGL
===================================================================
--- mlton/trunk/doc/guide/OpenGL 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/OpenGL 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -67,7 +67,7 @@
<ul>
- <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>
+ <a class="external" 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>
@@ -84,5 +84,5 @@
<p>
<hr>
-Last edited on 2005-08-19 15:31:56 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:29:26 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/OperatorPrecedence
===================================================================
--- mlton/trunk/doc/guide/OperatorPrecedence 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/OperatorPrecedence 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/OptionalArguments
===================================================================
--- mlton/trunk/doc/guide/OptionalArguments 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/OptionalArguments 2005-11-15 19:15:14 UTC (rev 4223)
@@ -26,7 +26,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -67,7 +67,9 @@
<B><FONT COLOR="#A020F0">val</FONT></B> X = f' <B><FONT COLOR="#5F9EA0">1</FONT></B> $
<B><FONT COLOR="#A020F0">val</FONT></B> Y = f' <B><FONT COLOR="#5F9EA0">1</FONT></B> (` #b <B><FONT COLOR="#5F9EA0">1.0</FONT></B>) $
<B><FONT COLOR="#A020F0">val</FONT></B> Z = f' <B><FONT COLOR="#5F9EA0">1</FONT></B> (` #a <B><FONT COLOR="#5F9EA0">1.0</FONT></B>) (` #c <B><FONT COLOR="#5F9EA0">2</FONT></B>) (` #b <B><FONT COLOR="#5F9EA0">1.0</FONT></B>) $
-<B><FONT COLOR="#A020F0">val</FONT></B> () = print (concat [<FONT COLOR="#BC8F8F"><B>"X = "</FONT></B>, Real.toString X, <FONT COLOR="#BC8F8F"><B>", Y = "</FONT></B>, Real.toString Y, <FONT COLOR="#BC8F8F"><B>", Z = "</FONT></B>, Real.toString Z, <FONT COLOR="#BC8F8F"><B>"\n"</FONT></B>])
+<B><FONT COLOR="#A020F0">val</FONT></B> () = print (concat [<FONT COLOR="#BC8F8F"><B>"X = "</FONT></B>, Real.toString X,
+ <FONT COLOR="#BC8F8F"><B>", Y = "</FONT></B>, Real.toString Y,
+ <FONT COLOR="#BC8F8F"><B>", Z = "</FONT></B>, Real.toString Z, <FONT COLOR="#BC8F8F"><B>"\n"</FONT></B>])
</PRE>
prints out the following:
<pre>X = 0, Y = 1, Z = 3
@@ -144,12 +146,16 @@
<B><FONT COLOR="#A020F0">val</FONT></B> X = f' <B><FONT COLOR="#5F9EA0">1</FONT></B> $
<B><FONT COLOR="#A020F0">val</FONT></B> Y = f' <B><FONT COLOR="#5F9EA0">1</FONT></B> (` #b <B><FONT COLOR="#5F9EA0">1.0</FONT></B>) $
<B><FONT COLOR="#A020F0">val</FONT></B> Z = f' <B><FONT COLOR="#5F9EA0">1</FONT></B> (` #a <B><FONT COLOR="#5F9EA0">1.0</FONT></B>) (` #c <B><FONT COLOR="#5F9EA0">2</FONT></B>) (` #b <B><FONT COLOR="#5F9EA0">1.0</FONT></B>) $
- <B><FONT COLOR="#A020F0">val</FONT></B> () = print (concat [<FONT COLOR="#BC8F8F"><B>"X = "</FONT></B>, Real.toString X, <FONT COLOR="#BC8F8F"><B>", Y = "</FONT></B>, Real.toString Y, <FONT COLOR="#BC8F8F"><B>", Z = "</FONT></B>, Real.toString Z, <FONT COLOR="#BC8F8F"><B>"\n"</FONT></B>])
+ <B><FONT COLOR="#A020F0">val</FONT></B> () = print (concat [<FONT COLOR="#BC8F8F"><B>"X = "</FONT></B>, Real.toString X,
+ <FONT COLOR="#BC8F8F"><B>", Y = "</FONT></B>, Real.toString Y,
+ <FONT COLOR="#BC8F8F"><B>", Z = "</FONT></B>, Real.toString Z, <FONT COLOR="#BC8F8F"><B>"\n"</FONT></B>])
<B><FONT COLOR="#A020F0">val</FONT></B> X = f' <B><FONT COLOR="#5F9EA0">1</FONT></B> (`` opts_def2) $
<B><FONT COLOR="#A020F0">val</FONT></B> Y = f' <B><FONT COLOR="#5F9EA0">1</FONT></B> (`` opts_def2) (` #b <B><FONT COLOR="#5F9EA0">1.0</FONT></B>) $
<B><FONT COLOR="#A020F0">val</FONT></B> Z = f' <B><FONT COLOR="#5F9EA0">1</FONT></B> (`` opts_def2) (` #a <B><FONT COLOR="#5F9EA0">1.0</FONT></B>) (` #c <B><FONT COLOR="#5F9EA0">2</FONT></B>) (` #b <B><FONT COLOR="#5F9EA0">1.0</FONT></B>) $
- <B><FONT COLOR="#A020F0">val</FONT></B> () = print (concat [<FONT COLOR="#BC8F8F"><B>"X = "</FONT></B>, Real.toString X, <FONT COLOR="#BC8F8F"><B>", Y = "</FONT></B>, Real.toString Y, <FONT COLOR="#BC8F8F"><B>", Z = "</FONT></B>, Real.toString Z, <FONT COLOR="#BC8F8F"><B>"\n"</FONT></B>])
+ <B><FONT COLOR="#A020F0">val</FONT></B> () = print (concat [<FONT COLOR="#BC8F8F"><B>"X = "</FONT></B>, Real.toString X,
+ <FONT COLOR="#BC8F8F"><B>", Y = "</FONT></B>, Real.toString Y,
+ <FONT COLOR="#BC8F8F"><B>", Z = "</FONT></B>, Real.toString Z, <FONT COLOR="#BC8F8F"><B>"\n"</FONT></B>])
<B><FONT COLOR="#0000FF">end</FONT></B>
</PRE>
<p>
@@ -295,5 +301,5 @@
<p>
<hr>
-Last edited on 2005-01-30 23:56:31 by <span title="cfs38.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-13 23:18:55 by <span title="pool-68-162-172-153.pitt.east.verizon.net">AdamGoode</span>.
</body></html>
Modified: mlton/trunk/doc/guide/OrphanedPages
===================================================================
--- mlton/trunk/doc/guide/OrphanedPages 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/OrphanedPages 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/OtherSites
===================================================================
--- mlton/trunk/doc/guide/OtherSites 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/OtherSites 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -84,7 +84,7 @@
</li>
<li>
<p>
- <a href="http://www.icewalkers.com/">http://www.icewalkers.com/</a>
+ <a class="external" href="http://www.icewalkers.com/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">icewalkers</a>
</p>
</li>
<li>
@@ -100,5 +100,5 @@
<p>
<hr>
-Last edited on 2004-12-15 21:52:42 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 23:19:23 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Overloading
===================================================================
--- mlton/trunk/doc/guide/Overloading 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Overloading 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/PackedRepresentation
===================================================================
--- mlton/trunk/doc/guide/PackedRepresentation 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PackedRepresentation 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/PageSize
===================================================================
--- mlton/trunk/doc/guide/PageSize 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PageSize 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -52,56 +52,56 @@
<p>
List of all pages, sorted by their size: <ol>
<li>
-<tt> 17241 </tt><a href="References">References</a></li>
+<tt> 18926 </tt><a href="References">References</a></li>
<li>
-<tt> 13891 </tt><a href="BasisLibrary">BasisLibrary</a></li>
+<tt> 17504 </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> 13897 </tt><a href="BasisLibrary">BasisLibrary</a></li>
+<li>
<tt> 11878 </tt><a href="Performance">Performance</a></li>
<li>
<tt> 11333 </tt><a href="MLtonProcess">MLtonProcess</a></li>
<li>
-<tt> 11110 </tt><a href="CommonArg">CommonArg</a></li>
+<tt> 11149 </tt><a href="CommonArg">CommonArg</a></li>
<li>
-<tt> 10762 </tt><a href="ConcurrentMLImplementation">ConcurrentMLImplementation</a></li>
+<tt> 10764 </tt><a href="ConcurrentMLImplementation">ConcurrentMLImplementation</a></li>
<li>
<tt> 8485 </tt><a href="ValueRestriction">ValueRestriction</a></li>
<li>
<tt> 8291 </tt><a href="PrintfGentle">PrintfGentle</a></li>
<li>
+<tt> 8269 </tt><a href="CompileTimeOptions">CompileTimeOptions</a></li>
+<li>
<tt> 8246 </tt><a href="SyntacticConventions">SyntacticConventions</a></li>
<li>
<tt> 7972 </tt><a href="InfixingOperators">InfixingOperators</a></li>
<li>
-<tt> 7621 </tt><a href="OptionalArguments">OptionalArguments</a></li>
+<tt> 7789 </tt><a href="OptionalArguments">OptionalArguments</a></li>
<li>
-<tt> 7556 </tt><a href="CompileTimeOptions">CompileTimeOptions</a></li>
-<li>
<tt> 6716 </tt><a href="MLtonThread">MLtonThread</a></li>
<li>
-<tt> 6604 </tt><a href="SMLNJDeviations">SMLNJDeviations</a></li>
+<tt> 6588 </tt><a href="SMLNJDeviations">SMLNJDeviations</a></li>
<li>
<tt> 6422 </tt><a href="MLNLFFIImplementation">MLNLFFIImplementation</a></li>
<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"><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>
+<tt> 5955 </tt><a href="PolymorphicEquality">PolymorphicEquality</a></li>
<li>
<tt> 5938 </tt><a href="Elaborate">Elaborate</a></li>
<li>
<tt> 5853 </tt><a href="AdmitsEquality">AdmitsEquality</a></li>
<li>
+<tt> 5832 </tt><a href="PortingMLton">PortingMLton</a></li>
+<li>
<tt> 5830 </tt><a href="ForLoops">ForLoops</a></li>
<li>
-<tt> 5829 </tt><a href="PortingMLton">PortingMLton</a></li>
+<tt> 5760 </tt><a href="MLtonFinalizable">MLtonFinalizable</a></li>
<li>
-<tt> 5758 </tt><a href="MLtonFinalizable">MLtonFinalizable</a></li>
-<li>
<tt> 5550 </tt><a href="MLtonSignal">MLtonSignal</a></li>
<li>
<tt> 5280 </tt><a href="CompilationManager">CompilationManager</a></li>
@@ -112,9 +112,9 @@
<li>
<tt> 5083 </tt><a href="MLtonStructure">MLtonStructure</a></li>
<li>
-<tt> 4914 </tt><a href="TypeChecking">TypeChecking</a></li>
+<tt> 4898 </tt><a href="TypeChecking">TypeChecking</a></li>
<li>
-<tt> 4707 </tt><a href="Regions">Regions</a></li>
+<tt> 4709 </tt><a href="Regions">Regions</a></li>
<li>
<tt> 4690 </tt><a href="CallGraph">CallGraph</a></li>
<li>
@@ -124,7 +124,7 @@
<li>
<tt> 4372 </tt><a href="TypeVariableScope">TypeVariableScope</a></li>
<li>
-<tt> 4357 </tt><a href="Credits">Credits</a></li>
+<tt> 4356 </tt><a href="Credits">Credits</a></li>
<li>
<tt> 4332 </tt><a href="SelfCompiling">SelfCompiling</a></li>
<li>
@@ -138,7 +138,7 @@
<li>
<tt> 3501 </tt><a href="Enscript">Enscript</a></li>
<li>
-<tt> 3280 </tt><a href="Users">Users</a></li>
+<tt> 3325 </tt><a href="Users">Users</a></li>
<li>
<tt> 3274 </tt><a href="ForeignFunctionInterfaceTypes">ForeignFunctionInterfaceTypes</a></li>
<li>
@@ -150,14 +150,16 @@
<li>
<tt> 2949 </tt><a href="Monomorphise">Monomorphise</a></li>
<li>
+<tt> 2898 </tt><a href="ForeignFunctionInterfaceSyntax">ForeignFunctionInterfaceSyntax</a></li>
+<li>
<tt> 2885 </tt><a href="HowProfilingWorks">HowProfilingWorks</a></li>
<li>
<tt> 2821 </tt><a href="PropertyList">PropertyList</a></li>
<li>
+<tt> 2807 </tt><a href="Experimental">Experimental</a></li>
+<li>
<tt> 2574 </tt><a href="CompilerOverview">CompilerOverview</a></li>
<li>
-<tt> 2558 </tt><a href="ForeignFunctionInterfaceSyntax">ForeignFunctionInterfaceSyntax</a></li>
-<li>
<tt> 2542 </tt><a href="UnresolvedBugs">UnresolvedBugs</a></li>
<li>
<tt> 2493 </tt><a href="GenerativeException">GenerativeException</a></li>
@@ -168,10 +170,10 @@
<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> 2398 </tt><a href="CallingFromCToSML">CallingFromCToSML</a></li>
+<li>
<tt> 2378 </tt><a href="ShowBasis">ShowBasis</a></li>
<li>
-<tt> 2377 </tt><a href="CallingFromCToSML">CallingFromCToSML</a></li>
-<li>
<tt> 2355 </tt><a href="OCaml">OCaml</a></li>
<li>
<tt> 2288 </tt><a href="MLBasisAnnotations">MLBasisAnnotations</a></li>
@@ -188,38 +190,36 @@
<li>
<tt> 2188 </tt><a href="RefFlatten">RefFlatten</a></li>
<li>
-<tt> 2125 </tt><a href="LanguageChanges">LanguageChanges</a></li>
+<tt> 2129 </tt><a href="LanguageChanges">LanguageChanges</a></li>
<li>
<tt> 2124 </tt><a href="MLBasisAnnotationExamples">MLBasisAnnotationExamples</a></li>
<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> 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"><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>
+<tt> 1903 </tt><a href="WikiTool">WikiTool</a></li>
<li>
<tt> 1893 </tt><a href="XMLShrink">XMLShrink</a></li>
<li>
<tt> 1888 </tt><a href="FAQ">FAQ</a></li>
<li>
+<tt> 1883 </tt><a href="Emacs">Emacs</a></li>
+<li>
<tt> 1880 </tt><a href="Defunctorize">Defunctorize</a></li>
<li>
-<tt> 1877 </tt><a href="Emacs">Emacs</a></li>
-<li>
<tt> 1851 </tt><a href="SMLofNJStructure">SMLofNJStructure</a></li>
<li>
+<tt> 1836 </tt><a href="Libraries">Libraries</a></li>
+<li>
<tt> 1826 </tt><a href="DefineTypeBeforeUse">DefineTypeBeforeUse</a></li>
<li>
<tt> 1814 </tt><a href="RunningOnNetBSD">RunningOnNetBSD</a></li>
@@ -234,6 +234,8 @@
<li>
<tt> 1665 </tt><a href="CallingFromSMLToCFunctionPointer">CallingFromSMLToCFunctionPointer</a></li>
<li>
+<tt> 1655 </tt><a href="Unicode">Unicode</a></li>
+<li>
<tt> 1628 </tt><a href="SSA2">SSA2</a></li>
<li>
<tt> 1596 </tt><a href="MLtonSyslog">MLtonSyslog</a></li>
@@ -250,14 +252,12 @@
<li>
<tt> 1447 </tt><a href="MLtonRlimit">MLtonRlimit</a></li>
<li>
-<tt> 1442 </tt><a href="Contact">Contact</a></li>
+<tt> 1444 </tt><a href="Contact">Contact</a></li>
<li>
<tt> 1439 </tt><a href="EqualityType">EqualityType</a></li>
<li>
<tt> 1432 </tt><a href="ProductType">ProductType</a></li>
<li>
-<tt> 1423 </tt><a href="Experimental">Experimental</a></li>
-<li>
<tt> 1417 </tt><a href="KnownCase">KnownCase</a></li>
<li>
<tt> 1412 </tt><a href="SSA">SSA</a></li>
@@ -276,7 +276,7 @@
<li>
<tt> 1312 </tt><a href="ProfilingAllocation">ProfilingAllocation</a></li>
<li>
-<tt> 1311 </tt><a href="Projects">Projects</a></li>
+<tt> 1295 </tt><a href="Projects">Projects</a></li>
<li>
<tt> 1288 </tt><a href="ToMachine">ToMachine</a></li>
<li>
@@ -322,14 +322,16 @@
<li>
<tt> 998 </tt><a href="WholeProgramOptimization">WholeProgramOptimization</a></li>
<li>
+<tt> 983 </tt><a href="CommonSubexp">CommonSubexp</a></li>
+<li>
<tt> 964 </tt><a href="MLtonIntInf">MLtonIntInf</a></li>
<li>
-<tt> 954 </tt><a href="CommonSubexp">CommonSubexp</a></li>
-<li>
<tt> 949 </tt><a href="DeadCode">DeadCode</a></li>
<li>
<tt> 946 </tt><a href="UnsafeStructure">UnsafeStructure</a></li>
<li>
+<tt> 942 </tt><a href="MLtonRusage">MLtonRusage</a></li>
+<li>
<tt> 940 </tt><a href="Identifier">Identifier</a></li>
<li>
<tt> 907 </tt><a href="PolyEqual">PolyEqual</a></li>
@@ -380,7 +382,7 @@
<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>
+<tt> 682 </tt><a href="GarbageCollection">GarbageCollection</a></li>
<li>
<tt> 676 </tt><a href="RSSASimplify">RSSASimplify</a></li>
<li>
@@ -394,6 +396,8 @@
<li>
<tt> 662 </tt><a href="mGTK">mGTK</a></li>
<li>
+<tt> 662 </tt><a href="ReleaseChecklist">ReleaseChecklist</a></li>
+<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>
@@ -402,28 +406,22 @@
<li>
<tt> 644 </tt><a href="CompilerPassTemplate">CompilerPassTemplate</a></li>
<li>
-<tt> 615 </tt><a href="OpenGL">OpenGL</a></li>
+<tt> 617 </tt><a href="OpenGL">OpenGL</a></li>
<li>
<tt> 614 </tt><a href="StandardMLBooks">StandardMLBooks</a></li>
<li>
-<tt> 610 </tt><a href="ReleaseChecklist">ReleaseChecklist</a></li>
+<tt> 612 </tt><a href="Swerve">Swerve</a></li>
<li>
<tt> 608 </tt><a href="ToSSA2">ToSSA2</a></li>
<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>
<li>
-<tt> 589 </tt><a href="RunningOnMinGW">RunningOnMinGW</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> 586 </tt><a href="MLtonRusage">MLtonRusage</a></li>
+<tt> 573 </tt><a href="RunningOnMinGW">RunningOnMinGW</a></li>
<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>
<tt> 570 </tt><a href="ForeignFunctionInterface">ForeignFunctionInterface</a></li>
@@ -434,17 +432,17 @@
<li>
<tt> 547 </tt><a href="FrontEnd">FrontEnd</a></li>
<li>
+<tt> 533 </tt><a href="OtherSites">OtherSites</a></li>
+<li>
<tt> 531 </tt><a href="RedundantTests">RedundantTests</a></li>
<li>
<tt> 527 </tt><a href="Multi">Multi</a></li>
<li>
<tt> 523 </tt><a href="RunningOnOpenBSD">RunningOnOpenBSD</a></li>
<li>
-<tt> 523 </tt><a href="Bug">Bug</a></li>
-<li>
<tt> 521 </tt><a href="IntermediateLanguage">IntermediateLanguage</a></li>
<li>
-<tt> 520 </tt><a href="OtherSites">OtherSites</a></li>
+<tt> 507 </tt><a href="Bug">Bug</a></li>
<li>
<tt> 505 </tt><a href="SMLNJ">SMLNJ</a></li>
<li>
@@ -464,8 +462,6 @@
<li>
<tt> 454 </tt><a href="MLtonItimer">MLtonItimer</a></li>
<li>
-<tt> 450 </tt><a href="StandardMLImplementations">StandardMLImplementations</a></li>
-<li>
<tt> 448 </tt><a href="CoreML">CoreML</a></li>
<li>
<tt> 447 </tt><a href="PlatformSpecificNotes">PlatformSpecificNotes</a></li>
@@ -476,7 +472,7 @@
<li>
<tt> 426 </tt><a href="RSSAShrink">RSSAShrink</a></li>
<li>
-<tt> 426 </tt><a href="MatthewFluet">MatthewFluet</a></li>
+<tt> 421 </tt><a href="Poplog">Poplog</a></li>
<li>
<tt> 414 </tt><a href="MLNLFFI">MLNLFFI</a></li>
<li>
@@ -490,14 +486,18 @@
<li>
<tt> 405 </tt><a href="ConstantPropagation">ConstantPropagation</a></li>
<li>
+<tt> 400 </tt><a href="TalkStandardML">TalkStandardML</a></li>
+<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>
<tt> 397 </tt><a href="TalkMLtonFeatures">TalkMLtonFeatures</a></li>
<li>
+<tt> 391 </tt><a href="StandardMLImplementations">StandardMLImplementations</a></li>
+<li>
<tt> 379 </tt><a href="Home">Home</a></li>
<li>
+<tt> 372 </tt><a href="MatthewFluet">MatthewFluet</a></li>
+<li>
<tt> 371 </tt><a href="MLtonWord">MLtonWord</a></li>
<li>
<tt> 369 </tt><a href="TalkWholeProgram">TalkWholeProgram</a></li>
@@ -520,6 +520,8 @@
<li>
<tt> 340 </tt><a href="MatchCompilation">MatchCompilation</a></li>
<li>
+<tt> 337 </tt><a href="AllocateRegisters">AllocateRegisters</a></li>
+<li>
<tt> 337 </tt><a href="ToRSSA">ToRSSA</a></li>
<li>
<tt> 336 </tt><a href="ParallelMove">ParallelMove</a></li>
@@ -530,6 +532,8 @@
<li>
<tt> 321 </tt><a href="MLtonVector">MLtonVector</a></li>
<li>
+<tt> 320 </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> 318 </tt><a href="MLtonArray">MLtonArray</a></li>
<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>
@@ -540,8 +544,6 @@
<li>
<tt> 305 </tt><a href="ImplementHandlers">ImplementHandlers</a></li>
<li>
-<tt> 291 </tt><a href="AllocateRegisters">AllocateRegisters</a></li>
-<li>
<tt> 286 </tt><a href="ImplementProfiling">ImplementProfiling</a></li>
<li>
<tt> 279 </tt><a href="ImplementExceptions">ImplementExceptions</a></li>
@@ -550,6 +552,8 @@
<li>
<tt> 277 </tt><a href="TalkFolkLore">TalkFolkLore</a></li>
<li>
+<tt> 273 </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> 270 </tt><a href="TalkHowHigherOrder">TalkHowHigherOrder</a></li>
<li>
<tt> 267 </tt><a href="InsertSignalChecks">InsertSignalChecks</a></li>
@@ -584,9 +588,11 @@
<li>
<tt> 218 </tt><a href="MoscowML">MoscowML</a></li>
<li>
+<tt> 218 </tt><a href="http://mlton.org/TemporaryUpload"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TemporaryUpload</a></li>
+<li>
<tt> 217 </tt><a href="HenryCejtin">HenryCejtin</a></li>
<li>
-<tt> 211 </tt><a href="http://mlton.org/TemporaryUpload"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TemporaryUpload</a></li>
+<tt> 209 </tt><a href="fxp">fxp</a></li>
<li>
<tt> 201 </tt><a href="Serialization">Serialization</a></li>
<li>
@@ -594,6 +600,8 @@
<li>
<tt> 196 </tt><a href="MoinMoin">MoinMoin</a></li>
<li>
+<tt> 188 </tt><a href="TomMurphy">TomMurphy</a></li>
+<li>
<tt> 186 </tt><a href="Variant">Variant</a></li>
<li>
<tt> 184 </tt><a href="SpaceSafety">SpaceSafety</a></li>
@@ -602,12 +610,12 @@
<li>
<tt> 176 </tt><a href="StephenWeeks">StephenWeeks</a></li>
<li>
+<tt> 176 </tt><a href="TalkDiveIn">TalkDiveIn</a></li>
+<li>
<tt> 175 </tt><a href="JohnnyAndersen">JohnnyAndersen</a></li>
<li>
<tt> 174 </tt><a href="WikiName">WikiName</a></li>
<li>
-<tt> 167 </tt><a href="TalkDiveIn">TalkDiveIn</a></li>
-<li>
<tt> 165 </tt><a href="Mutable">Mutable</a></li>
<li>
<tt> 161 </tt><a href="RunningOnDarwin">RunningOnDarwin</a></li>
@@ -618,8 +626,6 @@
<li>
<tt> 152 </tt><a href="StyleGuide">StyleGuide</a></li>
<li>
-<tt> 151 </tt><a href="Unicode">Unicode</a></li>
-<li>
<tt> 136 </tt><a href="Survey">Survey</a></li>
<li>
<tt> 136 </tt><a href="TalkTemplate">TalkTemplate</a></li>
Modified: mlton/trunk/doc/guide/Papers
===================================================================
--- mlton/trunk/doc/guide/Papers 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Papers 2005-11-15 19:15:14 UTC (rev 4223)
@@ -27,7 +27,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ParallelMove
===================================================================
--- mlton/trunk/doc/guide/ParallelMove 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ParallelMove 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Performance
===================================================================
--- mlton/trunk/doc/guide/Performance 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Performance 2005-11-15 19:15:14 UTC (rev 4223)
@@ -75,7 +75,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/PhantomType
===================================================================
--- mlton/trunk/doc/guide/PhantomType 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PhantomType 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/PlatformSpecificNotes
===================================================================
--- mlton/trunk/doc/guide/PlatformSpecificNotes 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PlatformSpecificNotes 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/PolyEqual
===================================================================
--- mlton/trunk/doc/guide/PolyEqual 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PolyEqual 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/PolyML
===================================================================
--- mlton/trunk/doc/guide/PolyML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PolyML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/PolymorphicEquality
===================================================================
--- mlton/trunk/doc/guide/PolymorphicEquality 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PolymorphicEquality 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -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"><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.
+See <a class="external" 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>
@@ -252,5 +252,5 @@
<p>
<hr>
-Last edited on 2005-01-26 20:31:49 by <span title="cfs36.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:29:40 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Polyvariance
===================================================================
--- mlton/trunk/doc/guide/Polyvariance 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Polyvariance 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Added: mlton/trunk/doc/guide/Poplog
===================================================================
--- mlton/trunk/doc/guide/Poplog 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Poplog 2005-11-15 19:15:14 UTC (rev 4223)
@@ -0,0 +1,65 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+<meta name="robots" content="index,nofollow">
+
+
+
+<title>Poplog - MLton Standard ML Compiler (SML Compiler)</title>
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
+
+
+<link rel="Start" href="Home">
+
+
+</head>
+
+<body lang="en" dir="ltr">
+
+<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
+ <tr>
+ <td style = "
+ border: 0px;
+ color: darkblue;
+ font-size: 150%;
+ text-align: left;">
+ <a class = mltona href="Home">MLton 20051115</a>
+ <td style = "
+ border: 0px;
+ font-size: 150%;
+ text-align: center;
+ width: 50%;">
+ Poplog
+ <td style = "
+ border: 0px;
+ text-align: right;">
+ <table cellspacing = 0 style = "border: 0px">
+ <tr style = "vertical-align: middle;">
+ </table>
+ <tr style = "background-color: white;">
+ <td colspan = 3
+ style = "
+ border: 0px;
+ font-size:70%;
+ text-align: right;">
+ <a href = "Home">Home</a>
+ <a href = "Index">Index</a>
+
+</table>
+<div id="content" lang="en" dir="ltr">
+<a class="external" href="http://www.cs.bham.ac.uk/research/poplog/poplog.info.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">POPLOG</a> is a development environment that includes implementations of a number of languages, including Standard ML. <p>
+While POPLOG is actively developed, the ML support predates SML'97, and there is no support for the <a href="BasisLibrary">BasisLibrary</a>.
+</p>
+<p>
+Here is a document on <a class="external" href="http://www.cs.bham.ac.uk/research/poplog/doc/pmlhelp/mlinpop"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Mixed-language programming in ML and Pop-11</a>.
+</p>
+</div>
+
+
+
+<p>
+<hr>
+Last edited on 2005-10-09 23:12:14 by <span title="adsl-64-166-225-6.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+</body></html>
Modified: mlton/trunk/doc/guide/PortingMLton
===================================================================
--- mlton/trunk/doc/guide/PortingMLton 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PortingMLton 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -344,12 +344,12 @@
<li>
<p>
- <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>
+ <a class="external" 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"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2004-July/016029.html</a>
+ <a class="external" 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>
@@ -360,5 +360,5 @@
<p>
<hr>
-Last edited on 2005-01-28 21:44:56 by <span title="cfs36.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:29:57 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/PrecedenceParse
===================================================================
--- mlton/trunk/doc/guide/PrecedenceParse 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PrecedenceParse 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Printf
===================================================================
--- mlton/trunk/doc/guide/Printf 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Printf 2005-11-15 19:15:14 UTC (rev 4223)
@@ -26,7 +26,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/PrintfGentle
===================================================================
--- mlton/trunk/doc/guide/PrintfGentle 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PrintfGentle 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ProductType
===================================================================
--- mlton/trunk/doc/guide/ProductType 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ProductType 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Profiling
===================================================================
--- mlton/trunk/doc/guide/Profiling 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Profiling 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ProfilingAllocation
===================================================================
--- mlton/trunk/doc/guide/ProfilingAllocation 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ProfilingAllocation 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ProfilingCounts
===================================================================
--- mlton/trunk/doc/guide/ProfilingCounts 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ProfilingCounts 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ProfilingTheStack
===================================================================
--- mlton/trunk/doc/guide/ProfilingTheStack 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ProfilingTheStack 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ProfilingTime
===================================================================
--- mlton/trunk/doc/guide/ProfilingTime 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ProfilingTime 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Projects
===================================================================
--- mlton/trunk/doc/guide/Projects 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Projects 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,7 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-We have lots of ideas for projects to improve MLton, many of which we do not have time to implement, or at least haven't started on yet. Here is a list of some of those improvements, ranging from the easy (1 week) to the difficult (several months). If you have any interest in working on one of these, or some other improvement to MLton not listed here, 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>.
+We have lots of ideas for projects to improve MLton, many of which we do not have time to implement, or at least haven't started on yet. Here is a list of some of those improvements, ranging from the easy (1 week) to the difficult (several months). If you have any interest in working on one of these, or some other improvement to MLton not listed here, please send mail to <a class="external" href="mailto:MLton@mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:MLton@mlton.org</a>.
<ul>
<li>
@@ -164,5 +164,5 @@
<p>
<hr>
-Last edited on 2005-04-25 18:49:12 by <span title="adsl-63-195-184-50.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 23:19:32 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Pronounce
===================================================================
--- mlton/trunk/doc/guide/Pronounce 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Pronounce 2005-11-15 19:15:14 UTC (rev 4223)
@@ -26,7 +26,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/PropertyList
===================================================================
--- mlton/trunk/doc/guide/PropertyList 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/PropertyList 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RSSA
===================================================================
--- mlton/trunk/doc/guide/RSSA 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RSSA 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RSSAShrink
===================================================================
--- mlton/trunk/doc/guide/RSSAShrink 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RSSAShrink 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RSSASimplify
===================================================================
--- mlton/trunk/doc/guide/RSSASimplify 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RSSASimplify 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RayRacine
===================================================================
--- mlton/trunk/doc/guide/RayRacine 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RayRacine 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Redundant
===================================================================
--- mlton/trunk/doc/guide/Redundant 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Redundant 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RedundantTests
===================================================================
--- mlton/trunk/doc/guide/RedundantTests 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RedundantTests 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RefFlatten
===================================================================
--- mlton/trunk/doc/guide/RefFlatten 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RefFlatten 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/References
===================================================================
--- mlton/trunk/doc/guide/References 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/References 2005-11-15 19:15:14 UTC (rev 4223)
@@ -27,7 +27,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -51,8 +51,8 @@
</table>
<div id="content" lang="en" dir="ltr">
-<a href="#A">A</a> <a href="#B">B</a> <a href="#C">C</a> <a href="#D">D</a> <a href="#E">E</a> <a href="#F">F</a> <a href="#G">G</a> <a href="#H">H</a> <a href="#I">I</a> <a href="#J">J</a> <a href="#K">K</a> <a href="#L">L</a> <a href="#M">M</a> <a href="#N">N</a> <a href="#O">O</a> <a href="#P">P</a> <a href="#Q">Q</a> <a href="#R">R</a> <a href="#S">S</a> <a href="#T">T</a> <a href="#U">U</a> <a href="#V">V</a> <a href="#W">W</a> <a href="#X">X</a> <a href="#Y">Y</a> <a href="#Z">Z</a> <p>
-<a id="A"></a>
+<a href="#A_References">A</a> <a href="#B_References">B</a> <a href="#C_References">C</a> <a href="#D_References">D</a> <a href="#E_References">E</a> <a href="#F_References">F</a> <a href="#G_References">G</a> <a href="#H_References">H</a> <a href="#I_References">I</a> <a href="#J_References">J</a> <a href="#K_References">K</a> <a href="#L_References">L</a> <a href="#M_References">M</a> <a href="#N_References">N</a> <a href="#O_References">O</a> <a href="#P_References">P</a> <a href="#Q_References">Q</a> <a href="#R_References">R</a> <a href="#S_References">S</a> <a href="#T_References">T</a> <a href="#U_References">U</a> <a href="#V_References">V</a> <a href="#W_References">W</a> <a href="#X_References">X</a> <a href="#Y_References">Y</a> <a href="#Z_References">Z</a> <p>
+<a id="A_References"></a>
</p>
<ul>
@@ -77,7 +77,7 @@
<p>
-<a id="B"></a>
+<a id="B_References"></a>
</p>
<ul>
@@ -146,7 +146,7 @@
<p>
-<a id="C"></a>
+<a id="C_References"></a>
</p>
<ul>
@@ -168,7 +168,7 @@
<p>
-<a id="D"></a>
+<a id="D_References"></a>
</p>
<ul>
@@ -178,12 +178,24 @@
<a id="Danvy98"></a> <a class="external" href="http://citeseer.ist.psu.edu/danvy98functional.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Functional Unparsing</a>. Olivier Danvy. BRICS Technical Report RS 98-12, 1998.
</p>
</li>
+ <li class="gap">
+<p>
+ <a id="Dubois95"></a> <a class="external" href="ftp://ftp.inria.fr/INRIA/Projects/cristal/Francois.Rouaix/generics.dvi.Z"><img src="moin-ftp.png" alt="[FTP]" height="11" width="11">Extensional Polymorphism</a>. Catherin Dubois, Francois Rouaix, and Pierre Weis. <a href="#POPL">POPL</a> 1995.
+</p>
+</li>
+ <ul>
+
+ <em>An extension of ML that allows the definition of ad-hoc polymorphic functions by inspecting the type of their argument.</em>
+ </ul>
+
+
+
</ul>
<p>
-<a id="E"></a>
+<a id="E_References"></a>
</p>
<ul>
@@ -203,7 +215,7 @@
<p>
-<a id="F"></a>
+<a id="F_References"></a>
</p>
<ul>
@@ -235,12 +247,24 @@
<a id="FluetPucella02"></a> <a class="external" href="http://arxiv.org/abs/cs.PL/0403034"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Phantom Types and Subtyping</a>. Matthew Fluet and Riccardo Pucella. <a href="#TCS">TCS</a> 2002.
</p>
</li>
+ <li class="gap">
+<p>
+ <a id="Furuse01"></a> <a class="external" href="http://pauillac.inria.fr/~furuse/publications/jfla2001.ps.gz"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Generic Polymorphism in ML</a>. J. Furuse. <a href="#JFLA">JFLA</a> 2001.
+</p>
+</li>
+ <ul>
+
+ <em>The formalism behind G'CAML, which has an approach to ad-hoc polymorphism based on <a href = "References#Dubois94">Dubois94</a>, the differences being in how type checking works an an improved compilation approach for typecase that does the matching at compile time, not run time.</em>
+ </ul>
+
+
+
</ul>
<p>
-<a id="G"></a>
+<a id="G_References"></a>
</p>
<ul>
@@ -267,7 +291,7 @@
<p>
-<a id="H"></a>
+<a id="H_References"></a>
</p>
<ul>
@@ -292,7 +316,7 @@
<p>
-<a id="I"></a> <a id="J"></a>
+<a id="I_References"></a> <a id="J_References"></a>
</p>
<ul>
@@ -307,7 +331,7 @@
<p>
-<a id="K"></a>
+<a id="K_References"></a>
</p>
<ul>
@@ -327,12 +351,17 @@
</ul>
+ <li class="gap">
+<p>
+ <a id="Kennedy04"></a> <a class="external" href="http://research.microsoft.com/~akenn/fun/picklercombinators.pdf"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Pickler Combinators</a>. Andrew Kennedy. <a href="#JFP">JFP</a>, 14(6): 727-739, 2004.
+</p>
+</li>
</ul>
<p>
-<a id="L"></a>
+<a id="L_References"></a>
</p>
<ul>
@@ -374,7 +403,7 @@
<p>
-<a id="M"></a>
+<a id="M_References"></a>
</p>
<ul>
@@ -456,7 +485,7 @@
<p>
-<a id="N"></a>
+<a id="N_References"></a>
</p>
<ul>
@@ -483,7 +512,7 @@
<p>
-<a id="O"></a>
+<a id="O_References"></a>
</p>
<ul>
@@ -498,7 +527,7 @@
<p>
-<a id="P"></a>
+<a id="P_References"></a>
</p>
<ul>
@@ -525,7 +554,7 @@
<p>
-<a id="Q"></a> <a id="R"></a>
+<a id="Q_References"></a> <a id="R_References"></a>
</p>
<ul>
@@ -569,7 +598,7 @@
<p>
-<a id="S"></a>
+<a id="S_References"></a>
</p>
<ul>
@@ -584,6 +613,13 @@
<a id="Scott00"></a> <a class="external" href="http://citeseer.ist.psu.edu/scott00when.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">When Do Match-Compilation Heuristics Matter</a>. Kevin Scott and Norman Ramsey. University of Virginia Technical Report CS-2000-13.
</p>
</li>
+
+ <ul>
+
+ <em>Modified SML/NJ to experimentally compare a number of match-compilation heuristics and showed that choice of heuristic usually does not significantly affect code size or run time.</em>
+ </ul>
+
+
<li class="gap">
<p>
<a id="Sestoft96"></a> <a class="external" href="http://citeseer.ist.psu.edu/sestoft96ml.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ML pattern match compilation and partial evaluation</a>. Peter Sestoft. Partial Evaluation, 1996.
@@ -618,7 +654,7 @@
<p>
-<a id="T"></a>
+<a id="T_References"></a>
</p>
<ul>
@@ -630,7 +666,7 @@
</li>
<li class="gap">
<p>
- <a id="Tofte90"></a> Type Inference for Polymorphic References. Mads Tofte. Information and Computation, 89(1), 1990.
+ <a id="Tofte90"></a> Type Inference for Polymorphic References. Mads Tofte. Information and Computation, 89(1_References), 1990.
</p>
</li>
@@ -638,7 +674,7 @@
<p>
-<a id="U"></a>
+<a id="U_References"></a>
</p>
<ul>
@@ -653,7 +689,7 @@
<p>
-<a id="V"></a> <a id="W"></a>
+<a id="V_References"></a> <a id="W_References"></a>
</p>
<ul>
@@ -716,7 +752,7 @@
<p>
-<a id="X"></a> <a id="Y"></a> <a id="Z"></a>
+<a id="X_References"></a> <a id="Y_References"></a> <a id="Z_References"></a>
</p>
<h2 id="head-a90aba13b6feb8ff1a5141d94cb1fc2fe96e9477">Abbreviations</h2>
@@ -800,5 +836,5 @@
<p>
<hr>
-Last edited on 2005-07-26 18:19:15 by <span title="adsl-64-166-226-32.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-11-14 23:08:59 by <span title="fox.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/Regions
===================================================================
--- mlton/trunk/doc/guide/Regions 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Regions 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -98,7 +98,7 @@
<ul>
- <a href="http://www.cs.cornell.edu/People/fluet/rgn-monad/index.html">http://www.cs.cornell.edu/People/fluet/rgn-monad/index.html</a>
+ <a class="external" href="http://www.cs.cornell.edu/People/fluet/rgn-monad/index.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://www.cs.cornell.edu/People/fluet/rgn-monad/index.html</a>
</ul>
@@ -111,5 +111,5 @@
<p>
<hr>
-Last edited on 2004-11-23 22:47:40 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 23:20:00 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/ReleaseChecklist
===================================================================
--- mlton/trunk/doc/guide/ReleaseChecklist 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ReleaseChecklist 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -67,7 +67,7 @@
<li>
<p>
- <tt>basis</tt> gets a snapshot of <a href="http://standardml.org/Basis">http://standardml.org/Basis</a>.
+ <tt>basis</tt> gets a snapshot of <a class="external" href="http://standardml.org/Basis"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://standardml.org/Basis</a>.
</p>
</li>
<li>
@@ -104,22 +104,22 @@
<li>
<p>
- <a href="mailto:MLton@mlton.org">MLton@mlton.org</a>
+ <a class="external" href="mailto:MLton@mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:MLton@mlton.org</a>
</p>
</li>
<li>
<p>
- <a href="mailto:MLton-user@mlton.org">MLton-user@mlton.org</a>
+ <a class="external" href="mailto:MLton-user@mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:MLton-user@mlton.org</a>
</p>
</li>
<li>
<p>
- <a href="mailto:sml-list@cs.cmu.edu">sml-list@cs.cmu.edu</a> (aka comp.lang.ml)
+ <a class="external" href="mailto:sml-list@cs.cmu.edu"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:sml-list@cs.cmu.edu</a> (aka <a class="external" href="news:comp.lang.ml"><img src="moin-news.png" alt="[NEWS]" height="11" width="10">news:comp.lang.ml</a>)
</p>
</li>
<li>
<p>
- <a href="mailto:lwn@lwn.net">lwn@lwn.net</a> (linux weekly news)
+ <a class="external" href="mailto:lwn@lwn.net"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:lwn@lwn.net</a> (linux weekly news)
</p>
</li>
@@ -136,7 +136,7 @@
<li>
<p>
- comp.lang.functional
+ <a class="external" href="news:comp.lang.functional"><img src="moin-news.png" alt="[NEWS]" height="11" width="10">news:comp.lang.functional</a>
</p>
</li>
@@ -166,5 +166,5 @@
<p>
<hr>
-Last edited on 2004-11-10 22:10:57 by <span title="adsl-67-124-249-200.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-06 23:20:24 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/RemoveUnused
===================================================================
--- mlton/trunk/doc/guide/RemoveUnused 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RemoveUnused 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Restore
===================================================================
--- mlton/trunk/doc/guide/Restore 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Restore 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunTimeOptions
===================================================================
--- mlton/trunk/doc/guide/RunTimeOptions 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunTimeOptions 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunningOnCygwin
===================================================================
--- mlton/trunk/doc/guide/RunningOnCygwin 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnCygwin 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunningOnDarwin
===================================================================
--- mlton/trunk/doc/guide/RunningOnDarwin 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnDarwin 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunningOnFreeBSD
===================================================================
--- mlton/trunk/doc/guide/RunningOnFreeBSD 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnFreeBSD 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunningOnLinux
===================================================================
--- mlton/trunk/doc/guide/RunningOnLinux 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnLinux 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunningOnMinGW
===================================================================
--- mlton/trunk/doc/guide/RunningOnMinGW 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnMinGW 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,7 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-Support for MLton on MinGW is preliminary. We are still working on resolving the issues below. If you are interested to help out, 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> and get involved with MLton <a href="Development">Development</a>.
+Support for MLton on MinGW is preliminary. We are still working on resolving the issues below. If you are interested to help out, please send mail to <a class="external" href="mailto:MLton@mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:MLton@mlton.org</a> and get involved with MLton <a href="Development">Development</a>.
<ul>
<li>
@@ -75,5 +75,5 @@
<p>
<hr>
-Last edited on 2005-01-24 15:11:09 by <span title="cfs35.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:20:33 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/RunningOnNetBSD
===================================================================
--- mlton/trunk/doc/guide/RunningOnNetBSD 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnNetBSD 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunningOnOpenBSD
===================================================================
--- mlton/trunk/doc/guide/RunningOnOpenBSD 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnOpenBSD 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunningOnPowerPC
===================================================================
--- mlton/trunk/doc/guide/RunningOnPowerPC 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnPowerPC 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunningOnSolaris
===================================================================
--- mlton/trunk/doc/guide/RunningOnSolaris 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnSolaris 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/RunningOnSparc
===================================================================
--- mlton/trunk/doc/guide/RunningOnSparc 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/RunningOnSparc 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SMLNET
===================================================================
--- mlton/trunk/doc/guide/SMLNET 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SMLNET 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SMLNJ
===================================================================
--- mlton/trunk/doc/guide/SMLNJ 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SMLNJ 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SMLNJDeviations
===================================================================
--- mlton/trunk/doc/guide/SMLNJDeviations 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SMLNJDeviations 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -49,7 +49,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-Here are some deviations of <a href="SMLNJ">SML/NJ</a> from the <a href="DefinitionOfStandardML">Definition of SML</a>. Some of these are documented in the <a class="external" href="http://www.smlnj.org/doc/Conversion/index.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">SML '97 Conversion Guide</a>. Since MLton does not deviate from the Definition, you should look here if you are having trouble porting a program from MLton to SML/NJ or vice versa. If you discover other deviations of SML/NJ that aren't listed here, 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>.
+Here are some deviations of <a href="SMLNJ">SML/NJ</a> from the <a href="DefinitionOfStandardML">Definition of SML</a>. Some of these are documented in the <a class="external" href="http://www.smlnj.org/doc/Conversion/index.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">SML '97 Conversion Guide</a>. Since MLton does not deviate from the Definition, you should look here if you are having trouble porting a program from MLton to SML/NJ or vice versa. If you discover other deviations of SML/NJ that aren't listed here, please send mail to <a class="external" href="mailto:MLton@mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:MLton@mlton.org</a>.
<ul>
<li>
@@ -332,5 +332,5 @@
<p>
<hr>
-Last edited on 2005-06-10 04:39:49 by <span title="cs78147114.pp.htv.fi"><a href="VesaKarvonen">VesaKarvonen</a></span>.
+Last edited on 2005-09-06 23:20:48 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/SMLNJLibrary
===================================================================
--- mlton/trunk/doc/guide/SMLNJLibrary 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SMLNJLibrary 2005-11-15 19:15:14 UTC (rev 4223)
@@ -27,7 +27,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SMLofNJStructure
===================================================================
--- mlton/trunk/doc/guide/SMLofNJStructure 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SMLofNJStructure 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SSA
===================================================================
--- mlton/trunk/doc/guide/SSA 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SSA 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SSA2
===================================================================
--- mlton/trunk/doc/guide/SSA2 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SSA2 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SSA2Simplify
===================================================================
--- mlton/trunk/doc/guide/SSA2Simplify 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SSA2Simplify 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SSASimplify
===================================================================
--- mlton/trunk/doc/guide/SSASimplify 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SSASimplify 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SXML
===================================================================
--- mlton/trunk/doc/guide/SXML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SXML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SXMLShrink
===================================================================
--- mlton/trunk/doc/guide/SXMLShrink 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SXMLShrink 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SXMLSimplify
===================================================================
--- mlton/trunk/doc/guide/SXMLSimplify 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SXMLSimplify 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ScopeInference
===================================================================
--- mlton/trunk/doc/guide/ScopeInference 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ScopeInference 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SelfCompiling
===================================================================
--- mlton/trunk/doc/guide/SelfCompiling 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SelfCompiling 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -89,7 +89,8 @@
<li class="gap">
<p>
Mac OS X executables do not seem to like static libraries to have a different path location at runtime compared to when the executable was built. For example, the binary package for Mac OS X unpacks to <tt>/usr</tt>. If you try to install it in <tt>/usr/local</tt> you may get the following errors:
-<pre>/usr/bin/ld: table of contents for archive: /usr/local/lib/mlton/self/libmlton.a is out of date;
+<pre>/usr/bin/ld: table of contents for archive:
+/usr/local/lib/mlton/self/libmlton.a is out of date;
rerun ranlib(1) (can't load from it)
</pre> Although running <tt>ranlib</tt> seems like the right thing to do, it doesn't actually resolve the problem. Best bet is to just install in <tt>/usr</tt> and then either live with this location, or build MLton yourself and install in <tt>/usr/local</tt>.
</p>
@@ -108,5 +109,5 @@
<p>
<hr>
-Last edited on 2005-02-28 07:54:28 by <span title="adsl-69-234-103-239.dsl.irvnca.pacbell.net">BrentFulgham</span>.
+Last edited on 2005-11-13 23:21:25 by <span title="pool-68-162-172-153.pitt.east.verizon.net">AdamGoode</span>.
</body></html>
Modified: mlton/trunk/doc/guide/Serialization
===================================================================
--- mlton/trunk/doc/guide/Serialization 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Serialization 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ShowBasis
===================================================================
--- mlton/trunk/doc/guide/ShowBasis 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ShowBasis 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Shrink
===================================================================
--- mlton/trunk/doc/guide/Shrink 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Shrink 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SimplifyTypes
===================================================================
--- mlton/trunk/doc/guide/SimplifyTypes 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SimplifyTypes 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Sources
===================================================================
--- mlton/trunk/doc/guide/Sources 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Sources 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SpaceSafety
===================================================================
--- mlton/trunk/doc/guide/SpaceSafety 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SpaceSafety 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/StandardML
===================================================================
--- mlton/trunk/doc/guide/StandardML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/StandardML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/StandardMLBooks
===================================================================
--- mlton/trunk/doc/guide/StandardMLBooks 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/StandardMLBooks 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/StandardMLHistory
===================================================================
--- mlton/trunk/doc/guide/StandardMLHistory 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/StandardMLHistory 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/StandardMLImplementations
===================================================================
--- mlton/trunk/doc/guide/StandardMLImplementations 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/StandardMLImplementations 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -79,6 +79,11 @@
</li>
<li>
<p>
+ <a href="Poplog">Poplog</a>
+</p>
+</li>
+ <li>
+<p>
<a href="SMLNJ">SML/NJ</a>
</p>
</li>
@@ -135,11 +140,6 @@
</li>
<li>
<p>
- <a class="external" href="ftp://ftp.cs.bham.ac.uk/pub/dist/poplog/freepoplog.html"><img src="moin-ftp.png" alt="[FTP]" height="11" width="11">Free POPLOG</a>
-</p>
-</li>
- <li>
-<p>
<a class="external" href="http://www.cs.cornell.edu/Info/People/jgm/til.tar.Z"><img src="moin-www.png" alt="[WWW]" height="11" width="11">TIL</a>
</p>
</li>
@@ -151,5 +151,5 @@
<p>
<hr>
-Last edited on 2005-07-27 18:18:47 by <span title="adsl-64-166-226-32.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-10-09 23:07:21 by <span title="adsl-64-166-225-6.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/StandardMLPortability
===================================================================
--- mlton/trunk/doc/guide/StandardMLPortability 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/StandardMLPortability 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/StandardMLTutorials
===================================================================
--- mlton/trunk/doc/guide/StandardMLTutorials 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/StandardMLTutorials 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/StephenWeeks
===================================================================
--- mlton/trunk/doc/guide/StephenWeeks 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/StephenWeeks 2005-11-15 19:15:14 UTC (rev 4223)
@@ -26,7 +26,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/StyleGuide
===================================================================
--- mlton/trunk/doc/guide/StyleGuide 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/StyleGuide 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Subversion
===================================================================
--- mlton/trunk/doc/guide/Subversion 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Subversion 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SureshJagannathan
===================================================================
--- mlton/trunk/doc/guide/SureshJagannathan 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SureshJagannathan 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Survey
===================================================================
--- mlton/trunk/doc/guide/Survey 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Survey 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SurveyDone
===================================================================
--- mlton/trunk/doc/guide/SurveyDone 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SurveyDone 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Swerve
===================================================================
--- mlton/trunk/doc/guide/Swerve 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Swerve 2005-11-15 19:15:14 UTC (rev 4223)
@@ -26,7 +26,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -50,7 +50,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 class="external" href="http://ftp.sun.ac.za/ftp/mirrorsites/ocaml/Systems_programming/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"><img src="moin-www.png" alt="[WWW]" height="11" width="11">download the port</a>
</p>
<p>
@@ -67,5 +67,5 @@
<p>
<hr>
-Last edited on 2005-06-19 01:06:54 by <span title="69-163-240-36.atlsfl.adelphia.net"><a href="RayRacine">RayRacine</a></span>.
+Last edited on 2005-10-24 00:55:35 by <span title="ursula.cs.purdue.edu">PhilipSchatz</span>.
</body></html>
Modified: mlton/trunk/doc/guide/SyntacticConventions
===================================================================
--- mlton/trunk/doc/guide/SyntacticConventions 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SyntacticConventions 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/SystemInfo
===================================================================
--- mlton/trunk/doc/guide/SystemInfo 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/SystemInfo 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -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>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
+[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>307</dd><dt>Number of system pages</dt><dd>2</dd><dt>Number of backup versions</dt><dd>1160</dd><dt>Accumulated page sizes</dt><dd>538893</dd><dt>Entries in edit log</dt><dd>1601 (155916 bytes)</dd><dt>Event log</dt><dd>28826643 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/TILT
===================================================================
--- mlton/trunk/doc/guide/TILT 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TILT 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Talk
===================================================================
--- mlton/trunk/doc/guide/Talk 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Talk 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkDiveIn
===================================================================
--- mlton/trunk/doc/guide/TalkDiveIn 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkDiveIn 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -86,7 +86,7 @@
</tr>
<tr>
<td width="50%" align="left">
-<a class="nonexistent" href="ZZZPrev"> Prev</a></td>
+<a href="TalkMLtonHistory"> Prev</a></td>
<td width="50%" align="right">
</td>
</tr>
@@ -100,5 +100,5 @@
<p>
<hr>
-Last edited on 2004-12-01 18:35:50 by <span title="cfs38.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-11-14 23:13:23 by <span title="fox.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/TalkFolkLore
===================================================================
--- mlton/trunk/doc/guide/TalkFolkLore 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkFolkLore 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkFromSMLTo
===================================================================
--- mlton/trunk/doc/guide/TalkFromSMLTo 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkFromSMLTo 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkHowHigherOrder
===================================================================
--- mlton/trunk/doc/guide/TalkHowHigherOrder 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkHowHigherOrder 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkHowModules
===================================================================
--- mlton/trunk/doc/guide/TalkHowModules 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkHowModules 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkHowPolymorphism
===================================================================
--- mlton/trunk/doc/guide/TalkHowPolymorphism 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkHowPolymorphism 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkMLtonApproach
===================================================================
--- mlton/trunk/doc/guide/TalkMLtonApproach 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkMLtonApproach 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkMLtonFeatures
===================================================================
--- mlton/trunk/doc/guide/TalkMLtonFeatures 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkMLtonFeatures 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkMLtonHistory
===================================================================
--- mlton/trunk/doc/guide/TalkMLtonHistory 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkMLtonHistory 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkStandardML
===================================================================
--- mlton/trunk/doc/guide/TalkStandardML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkStandardML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkTemplate
===================================================================
--- mlton/trunk/doc/guide/TalkTemplate 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkTemplate 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TalkWholeProgram
===================================================================
--- mlton/trunk/doc/guide/TalkWholeProgram 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TalkWholeProgram 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ToMachine
===================================================================
--- mlton/trunk/doc/guide/ToMachine 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ToMachine 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ToRSSA
===================================================================
--- mlton/trunk/doc/guide/ToRSSA 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ToRSSA 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ToSSA2
===================================================================
--- mlton/trunk/doc/guide/ToSSA2 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ToSSA2 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Added: mlton/trunk/doc/guide/TomMurphy
===================================================================
--- mlton/trunk/doc/guide/TomMurphy 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TomMurphy 2005-11-15 19:15:14 UTC (rev 4223)
@@ -0,0 +1,62 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+<meta name="robots" content="index,nofollow">
+
+
+
+<title>TomMurphy - MLton Standard ML Compiler (SML Compiler)</title>
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
+
+
+<link rel="Start" href="Home">
+
+
+</head>
+
+<body lang="en" dir="ltr">
+
+<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
+ <tr>
+ <td style = "
+ border: 0px;
+ color: darkblue;
+ font-size: 150%;
+ text-align: left;">
+ <a class = mltona href="Home">MLton 20051115</a>
+ <td style = "
+ border: 0px;
+ font-size: 150%;
+ text-align: center;
+ width: 50%;">
+ TomMurphy
+ <td style = "
+ border: 0px;
+ text-align: right;">
+ <table cellspacing = 0 style = "border: 0px">
+ <tr style = "vertical-align: middle;">
+ </table>
+ <tr style = "background-color: white;">
+ <td colspan = 3
+ style = "
+ border: 0px;
+ font-size:70%;
+ text-align: right;">
+ <a href = "Home">Home</a>
+ <a href = "Index">Index</a>
+
+</table>
+<div id="content" lang="en" dir="ltr">
+Tom Murphy VII is a long time MLton user and occasional contributor. He works on programming languages for his PhD work at Carnegie Mellon in Pittsburgh, USA. <p>
+<a class="external" href="http://tom7.org"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Home page</a>
+</p>
+</div>
+
+
+
+<p>
+<hr>
+Last edited on 2005-09-27 05:20:33 by <span title="h-72-244-69-64.phlapafg.dynamic.covad.net"><a href="TomMurphy">TomMurphy</a></span>.
+</body></html>
Modified: mlton/trunk/doc/guide/TrustedGroup
===================================================================
--- mlton/trunk/doc/guide/TrustedGroup 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TrustedGroup 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TypeChecking
===================================================================
--- mlton/trunk/doc/guide/TypeChecking 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TypeChecking 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -107,7 +107,7 @@
Here the brackets make it easy to see that the components do not match.
</p>
<p>
-MLton's type checker is fairly new. If you encounter a difference between MLton and another SML compiler, or even with an older version of MLton, and are not able to determine if it is 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>. We would also appreciate feedback on any type error messages that you find confusing, or suggestions you may have for improvements to error messages.
+MLton's type checker is fairly new. If you encounter a difference between MLton and another SML compiler, or even with an older version of MLton, and are not able to determine if it is 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">mailto:MLton@mlton.org</a>. We would also appreciate feedback on any type error messages that you find confusing, or suggestions you may have for improvements to error messages.
</p>
<h2 id="head-e849875c2946f3612529e7b5c9eeeb137490f29b">The shortest/most-recent rule for type names</h2>
<p>
@@ -199,5 +199,5 @@
<p>
<hr>
-Last edited on 2005-01-24 15:10:30 by <span title="cfs35.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:21:09 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/TypeConstructor
===================================================================
--- mlton/trunk/doc/guide/TypeConstructor 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TypeConstructor 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/TypeVariableScope
===================================================================
--- mlton/trunk/doc/guide/TypeVariableScope 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/TypeVariableScope 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Unicode
===================================================================
--- mlton/trunk/doc/guide/Unicode 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Unicode 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -62,13 +62,53 @@
UTF-8 encoded source files.
</p>
</li>
-</ul>
+ </ul>
+
+
+<p>
+There is no real support for Unicode in the Definition of Standard ML; there are only a few throw-away sentences allong the lines of "ASCII must be a subset of the character set in programs".
+</p>
+<p>
+Neither is there real support for Unicode in the Standard ML Basis Library. The general consensus (which includes the opinions of the editors of the Basis Library) is that the <tt>WideChar</tt> structure is insufficient for the purposes of Unicode. There is no <tt>LargeChar</tt> structure, which in itself is a deficiency, since a programmer can not program against the largest supported character size.
+</p>
+<p>
+MLton has some preliminary support for 16 and 32 bit characters and strings. It is even possible to include arbitrary Unicode characters in 32-bit strings using a <tt>\Uxxxxxxxx</tt> escape sequence. (This longer escape sequence is a minor extension over the Definition which only allows <tt>\uxxxx</tt>.) This is by no means completely satisfactory in terms of support for Unicode, but it is what is currently available.
+</p>
+<p>
+There are periodic flurries of questions and discussion about Unicode in SML/MLton. The most recent, which did lead to some seemingly sound design decisions, was in December 2004.
+</p>
+<p>
+The discussion started at:
+</p>
+
+ <ul>
+
+ <a href="http://mlton.org/pipermail/mlton/2004-December/026396.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2004-December/026396.html</a>
+ </ul>
+
+
+<p>
+Stephen posted a good summary of points at:
+</p>
+
+ <ul>
+
+ <a href="http://mlton.org/pipermail/mlton/2004-December/026440.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">http://mlton.org/pipermail/mlton/2004-December/026440.html</a>
+ </ul>
+
+
+<p>
+and the discussion continued.
+</p>
+<p>
+The <a href="fxp">fxp</a> XML parser has some support for dealing with Unicode documents.
+</p>
</div>
<p>
<hr>
-Last edited on 2005-08-19 15:52:18 by <span title="cfs32.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-09 19:15:58 by <span title="adsl-64-166-227-25.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/UniversalType
===================================================================
--- mlton/trunk/doc/guide/UniversalType 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/UniversalType 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/UnresolvedBugs
===================================================================
--- mlton/trunk/doc/guide/UnresolvedBugs 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/UnresolvedBugs 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/UnsafeStructure
===================================================================
--- mlton/trunk/doc/guide/UnsafeStructure 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/UnsafeStructure 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Useless
===================================================================
--- mlton/trunk/doc/guide/Useless 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Useless 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/UserGuide
===================================================================
--- mlton/trunk/doc/guide/UserGuide 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/UserGuide 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Users
===================================================================
--- mlton/trunk/doc/guide/Users 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Users 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -135,7 +135,7 @@
</li>
<li>
<p>
- <a class="external" href="http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/tom7misc/net/mlftpd"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlftpd</a>, an ftp daemon written in SML. Tom Murphy is also working on <a class="external" href="http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/tom7misc/net/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">replacements for standard network services</a> in SML. He also uses MLton to build his entries (<a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2001/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2001</a>, <a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2002/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2002</a>, <a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2004/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2004</a>) in the annual ICFP programming contest.
+ <a class="external" href="http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/tom7misc/net/mlftpd"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlftpd</a>, an ftp daemon written in SML. <a href="TomMurphy">TomMurphy</a> is also working on <a class="external" href="http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/tom7misc/net/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">replacements for standard network services</a> in SML. He also uses MLton to build his entries (<a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2001/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2001</a>, <a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2002/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2002</a>, <a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2004/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2004</a>, <a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2005/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2005</a>) in the annual ICFP programming contest.
</p>
</li>
<li>
@@ -189,5 +189,5 @@
<p>
<hr>
-Last edited on 2005-03-12 10:39:14 by <span title="adsl-63-195-184-47.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2005-09-27 15:45:52 by <span title="adsl-64-170-115-30.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/ValueRestriction
===================================================================
--- mlton/trunk/doc/guide/ValueRestriction 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ValueRestriction 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Variant
===================================================================
--- mlton/trunk/doc/guide/Variant 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Variant 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/VesaKarvonen
===================================================================
--- mlton/trunk/doc/guide/VesaKarvonen 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/VesaKarvonen 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/WantedPages
===================================================================
--- mlton/trunk/doc/guide/WantedPages 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/WantedPages 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -104,7 +104,7 @@
<li>
<a class="nonexistent" href="ZZZOtherPass">ZZZOtherPass</a>: <a href="CompilerPassTemplate">CompilerPassTemplate</a></li>
<li>
-<a class="nonexistent" href="ZZZPrev">ZZZPrev</a>: <a href="TalkDiveIn">TalkDiveIn</a>, <a href="TalkTemplate">TalkTemplate</a></li>
+<a class="nonexistent" href="ZZZPrev">ZZZPrev</a>: <a href="TalkTemplate">TalkTemplate</a></li>
<li>
<a class="nonexistent" href="ZZZSimplify">ZZZSimplify</a>: <a href="CompilerPassTemplate">CompilerPassTemplate</a></li>
</ol>
Modified: mlton/trunk/doc/guide/WebSite
===================================================================
--- mlton/trunk/doc/guide/WebSite 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/WebSite 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/WesleyTerpstra
===================================================================
--- mlton/trunk/doc/guide/WesleyTerpstra 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/WesleyTerpstra 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/WholeProgramOptimization
===================================================================
--- mlton/trunk/doc/guide/WholeProgramOptimization 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/WholeProgramOptimization 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/WikiMacros
===================================================================
--- mlton/trunk/doc/guide/WikiMacros 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/WikiMacros 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/WikiName
===================================================================
--- mlton/trunk/doc/guide/WikiName 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/WikiName 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/WikiTool
===================================================================
--- mlton/trunk/doc/guide/WikiTool 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/WikiTool 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -147,7 +147,7 @@
<tt>rename</tt> and <tt>remove</tt> shouldn't work for most people on <tt>mlton.org</tt> because of the way our <a href="AccessControl">AccessControl</a> is set up.
</p>
<p>
-This code is a two-day hack and is not widely used. But we've found it useful. Please send bug reports to <a class="external" href="mailto:MLton@mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">MLton@mlton.org</a>.
+This code is a two-day hack and is not widely used. But we've found it useful. Please send bug reports to <a class="external" href="mailto:MLton@mlton.org"><img src="moin-email.png" alt="[MAILTO]" height="10" width="14">mailto:MLton@mlton.org</a>.
</p>
</div>
@@ -155,5 +155,5 @@
<p>
<hr>
-Last edited on 2005-01-24 15:11:41 by <span title="cfs35.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2005-09-06 23:21:21 by <span title="cfs34.cs.cornell.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/XML
===================================================================
--- mlton/trunk/doc/guide/XML 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/XML 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/XMLShrink
===================================================================
--- mlton/trunk/doc/guide/XMLShrink 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/XMLShrink 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/XMLSimplify
===================================================================
--- mlton/trunk/doc/guide/XMLSimplify 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/XMLSimplify 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/XMLSimplifyTypes
===================================================================
--- mlton/trunk/doc/guide/XMLSimplifyTypes 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/XMLSimplifyTypes 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ZZZOrphanedPages
===================================================================
--- mlton/trunk/doc/guide/ZZZOrphanedPages 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/ZZZOrphanedPages 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Zone
===================================================================
--- mlton/trunk/doc/guide/Zone 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/Zone 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Added: mlton/trunk/doc/guide/fxp
===================================================================
--- mlton/trunk/doc/guide/fxp 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/fxp 2005-11-15 19:15:14 UTC (rev 4223)
@@ -0,0 +1,62 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+<meta name="robots" content="index,nofollow">
+
+
+
+<title>fxp - MLton Standard ML Compiler (SML Compiler)</title>
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
+
+
+<link rel="Start" href="Home">
+
+
+</head>
+
+<body lang="en" dir="ltr">
+
+<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
+ <tr>
+ <td style = "
+ border: 0px;
+ color: darkblue;
+ font-size: 150%;
+ text-align: left;">
+ <a class = mltona href="Home">MLton 20051115</a>
+ <td style = "
+ border: 0px;
+ font-size: 150%;
+ text-align: center;
+ width: 50%;">
+ fxp
+ <td style = "
+ border: 0px;
+ text-align: right;">
+ <table cellspacing = 0 style = "border: 0px">
+ <tr style = "vertical-align: middle;">
+ </table>
+ <tr style = "background-color: white;">
+ <td colspan = 3
+ style = "
+ border: 0px;
+ font-size:70%;
+ text-align: right;">
+ <a href = "Home">Home</a>
+ <a href = "Index">Index</a>
+
+</table>
+<div id="content" lang="en" dir="ltr">
+<a class="external" href="http://atseidl2.informatik.tu-muenchen.de/~berlea/Fxp/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">fxp</a> is an XML parser written in Standard ML. <p>
+It has a <a class="external" href="http://atseidl2.informatik.tu-muenchen.de/~berlea/Fxp/mlton.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">patch</a> to compile with MLton.
+</p>
+</div>
+
+
+
+<p>
+<hr>
+Last edited on 2005-09-09 19:15:51 by <span title="adsl-64-166-227-25.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+</body></html>
Modified: mlton/trunk/doc/guide/index.html
===================================================================
--- mlton/trunk/doc/guide/index.html 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/index.html 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/mGTK
===================================================================
--- mlton/trunk/doc/guide/mGTK 2005-11-15 05:02:23 UTC (rev 4222)
+++ mlton/trunk/doc/guide/mGTK 2005-11-15 19:15:14 UTC (rev 4223)
@@ -25,7 +25,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20050905</a>
+ <a class = mltona href="Home">MLton 20051115</a>
<td style = "
border: 0px;
font-size: 150%;
Added: mlton/trunk/doc/guide/moin-news.png
===================================================================
(Binary files differ)
Property changes on: mlton/trunk/doc/guide/moin-news.png
___________________________________________________________________
Name: svn:mime-type
+ application/octet-stream