[MLton-commit] r5912

Matthew Fluet fluet at mlton.org
Tue Aug 21 06:26:27 PDT 2007


Ran grab-wiki
----------------------------------------------------------------------

U   mlton/trunk/doc/guide/AST
U   mlton/trunk/doc/guide/AccessControl
U   mlton/trunk/doc/guide/AdamGoode
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/ArrayLiteral
U   mlton/trunk/doc/guide/BasisLibrary
U   mlton/trunk/doc/guide/Bug
U   mlton/trunk/doc/guide/Bugs20041109
U   mlton/trunk/doc/guide/Bugs20051202
U   mlton/trunk/doc/guide/CKitLibrary
U   mlton/trunk/doc/guide/CMinusMinus
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/CompilingWithSMLNJ
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/Eclipse
U   mlton/trunk/doc/guide/EditingPages
U   mlton/trunk/doc/guide/Elaborate
U   mlton/trunk/doc/guide/Emacs
U   mlton/trunk/doc/guide/EmacsBgBuildMode
U   mlton/trunk/doc/guide/EmacsDefUseMode
U   mlton/trunk/doc/guide/Enscript
U   mlton/trunk/doc/guide/EqualityType
U   mlton/trunk/doc/guide/EqualityTypeVariable
U   mlton/trunk/doc/guide/EtaExpansion
U   mlton/trunk/doc/guide/FAQ
U   mlton/trunk/doc/guide/Features
U   mlton/trunk/doc/guide/FirstClassPolymorphism
U   mlton/trunk/doc/guide/Fixpoints
U   mlton/trunk/doc/guide/Flatten
U   mlton/trunk/doc/guide/Fold
U   mlton/trunk/doc/guide/Fold01N
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/Glade
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/HowToAttachFile
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/LLVM
U   mlton/trunk/doc/guide/LambdaCalculus
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/MLRISCLibrary
U   mlton/trunk/doc/guide/MLTONWIKIVERSION
U   mlton/trunk/doc/guide/MLj
U   mlton/trunk/doc/guide/MLmon
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/MLtonMonoArray
U   mlton/trunk/doc/guide/MLtonMonoVector
U   mlton/trunk/doc/guide/MLtonPlatform
U   mlton/trunk/doc/guide/MLtonPointer
U   mlton/trunk/doc/guide/MLtonProcEnv
U   mlton/trunk/doc/guide/MLtonProcess
U   mlton/trunk/doc/guide/MLtonProfile
U   mlton/trunk/doc/guide/MLtonRandom
U   mlton/trunk/doc/guide/MLtonReal
U   mlton/trunk/doc/guide/MLtonRlimit
U   mlton/trunk/doc/guide/MLtonRusage
U   mlton/trunk/doc/guide/MLtonSignal
U   mlton/trunk/doc/guide/MLtonSocket
U   mlton/trunk/doc/guide/MLtonStructure
U   mlton/trunk/doc/guide/MLtonSyslog
U   mlton/trunk/doc/guide/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/NumericLiteral
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/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
U   mlton/trunk/doc/guide/Poplog
U   mlton/trunk/doc/guide/PortStatus
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/Reachability
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/ReturnStatement
U   mlton/trunk/doc/guide/RunTimeOptions
U   mlton/trunk/doc/guide/RunningOnAIX
U   mlton/trunk/doc/guide/RunningOnAMD64
U   mlton/trunk/doc/guide/RunningOnCygwin
U   mlton/trunk/doc/guide/RunningOnDarwin
U   mlton/trunk/doc/guide/RunningOnFreeBSD
U   mlton/trunk/doc/guide/RunningOnHPPA
U   mlton/trunk/doc/guide/RunningOnHPUX
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/RunningOnX86
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/SMLSharp
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/ShowProf
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/Stabilizers
U   mlton/trunk/doc/guide/StandardML
U   mlton/trunk/doc/guide/StandardMLBooks
U   mlton/trunk/doc/guide/StandardMLGotchas
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/SuccessorML
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/TipsForWritingConciseSML
U   mlton/trunk/doc/guide/ToMachine
U   mlton/trunk/doc/guide/ToRSSA
U   mlton/trunk/doc/guide/ToSSA2
U   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/TypeIndexedValues
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/Users
U   mlton/trunk/doc/guide/Utilities
U   mlton/trunk/doc/guide/ValueRestriction
U   mlton/trunk/doc/guide/VariableArityPolymorphism
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/WishList
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
U   mlton/trunk/doc/guide/eXene
U   mlton/trunk/doc/guide/fxp
U   mlton/trunk/doc/guide/index.html
U   mlton/trunk/doc/guide/mGTK

----------------------------------------------------------------------

Modified: mlton/trunk/doc/guide/AST
===================================================================
--- mlton/trunk/doc/guide/AST	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/AST	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -60,10 +60,10 @@
 The abstract syntax tree produced by the <a href="FrontEnd">FrontEnd</a>. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-programs.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ast/ast-programs.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.fun</a><br>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ast/ast-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.fun</a><br>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ast/ast-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.fun</a><br>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ast"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast</a> <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ast/ast-programs.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ast/ast-programs.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.fun</a><br>
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ast/ast-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ast/ast-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.fun</a><br>
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ast/ast-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ast/ast-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.fun</a><br>
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ast"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast</a> <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 The AST <a href="IntermediateLanguage">IntermediateLanguage</a> has no independent type checker. Type inference is performed on an AST program as part of <a href="Elaborate">Elaborate</a>. 
 </p>

Modified: mlton/trunk/doc/guide/AccessControl
===================================================================
--- mlton/trunk/doc/guide/AccessControl	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/AccessControl	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -56,7 +56,7 @@
 </table>
 <div id="content" lang="en" dir="ltr">
 <a href="MoinMoin">MoinMoin</a> supports a lot of  <a class="external" href="http://moinmaster.wikiwikiweb.de/HelpOnAccessControlLists"><img src="moin-www.png" alt="[WWW]" height="11" width="11">access control features</a>.   <p>
-Because people download binaries from the MLton web site, and we are worried about malicious users either changing those binaries, or changing the links that should point at those binaries, we allow editing of some pages (in particular, <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a>, <a href="Home">Home</a>, and <a href="Experimental">Experimental</a>) only by <a href="TrustedGroup">TrustedGroup</a> members. 
+Because people download binaries from the MLton web site, and we are worried about malicious users either changing those binaries, or changing the links that should point at those binaries, we allow editing of some pages (in particular, <a href="http://mlton.org/Download"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Download</a>, <a href="Home">Home</a>, and <a href="http://mlton.org/Experimental"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Experimental</a>) only by <a href="TrustedGroup">TrustedGroup</a> members. 
 </p>
 <p>
 All other pages are freely editable by any user with an account. 

Modified: mlton/trunk/doc/guide/AdamGoode
===================================================================
--- mlton/trunk/doc/guide/AdamGoode	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/AdamGoode	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/AdmitsEquality
===================================================================
--- mlton/trunk/doc/guide/AdmitsEquality	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/AdmitsEquality	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Alice
===================================================================
--- mlton/trunk/doc/guide/Alice	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Alice	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/AllocateRegisters
===================================================================
--- mlton/trunk/doc/guide/AllocateRegisters	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/AllocateRegisters	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -60,7 +60,7 @@
 Computes an allocation of <a href="RSSA">RSSA</a> variables as <a href="Machine">Machine</a> register or stack operands. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<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/tags/on-20070813-release/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>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/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/tags/on-MLTONWIKIVERSION-release/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>
 
 

Modified: mlton/trunk/doc/guide/AndreiFormiga
===================================================================
--- mlton/trunk/doc/guide/AndreiFormiga	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/AndreiFormiga	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/ArrayLiteral
===================================================================
--- mlton/trunk/doc/guide/ArrayLiteral	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/ArrayLiteral	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -76,7 +76,7 @@
  
 </p>
 <p>
-This is as syntactically concice as the <tt>fromList</tt> expression. Furthermore, MLton, at least, will generate the efficient code as if one had written down a use of <tt>Array.array</tt> followed by four uses of <tt>Array.update</tt>. 
+This is as syntactically concise as the <tt>fromList</tt> expression. Furthermore, MLton, at least, will generate the efficient code as if one had written down a use of <tt>Array.array</tt> followed by four uses of <tt>Array.update</tt>. 
 </p>
 <p>
 Along with <tt>A</tt> and <tt>`</tt>, one can define a constant <tt>V</tt> that makes it possible to define vector literals with the same syntax, e.g., 
@@ -147,5 +147,5 @@
 
 <p>
 <hr>
-Last edited on 2006-03-21 22:05:32 by <span title="adsl-71-141-16-94.dsl.snfc21.sbcglobal.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-15 22:05:16 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
 </body></html>

Modified: mlton/trunk/doc/guide/BasisLibrary
===================================================================
--- mlton/trunk/doc/guide/BasisLibrary	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/BasisLibrary	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Bug
===================================================================
--- mlton/trunk/doc/guide/Bug	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Bug	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Bugs20041109
===================================================================
--- mlton/trunk/doc/guide/Bugs20041109	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Bugs20041109	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Bugs20051202
===================================================================
--- mlton/trunk/doc/guide/Bugs20051202	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Bugs20051202	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -78,7 +78,7 @@
 
     <li>
 <p>
- Bug in the treatment of floating-point operations.  FP ops  depend on the current rounding mode, but were being treated as  pure.  Thanks to Sean McLaughlin for the bug report.  Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5794&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5794</a>. 
+ Bug in the treatment of floating-point operations.  Floating-point operations  depend on the current rounding mode, but were being treated as  pure.  Thanks to Sean McLaughlin for the bug report.  Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5794&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5794</a>. 
 </p>
 </li>
 
@@ -228,7 +228,7 @@
 
     <li>
 <p>
- The native codegen's implementation of th C-calling convention  failed to widen 16-bit arguments to 32-bits.  Fixed by revision  <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4631&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4631</a>. 
+ The native codegen's implementation of the C-calling convention  failed to widen 16-bit arguments to 32-bits.  Fixed by revision  <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4631&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4631</a>. 
 </p>
 </li>
 
@@ -299,5 +299,5 @@
 
 <p>
 <hr>
-Last edited on 2007-08-06 22:08:51 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-15 22:05:20 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
 </body></html>

Modified: mlton/trunk/doc/guide/CKitLibrary
===================================================================
--- mlton/trunk/doc/guide/CKitLibrary	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CKitLibrary	2007-08-21 13:25:57 UTC (rev 5912)
@@ -33,7 +33,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -152,7 +152,7 @@
 
     <li>
 <p>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/lib/ckit-lib/ckit.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit.patch</a> 
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/lib/ckit-lib/ckit.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit.patch</a> 
 </p>
 </li>
 </ul>

Modified: mlton/trunk/doc/guide/CMinusMinus
===================================================================
--- mlton/trunk/doc/guide/CMinusMinus	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CMinusMinus	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/CallGraph
===================================================================
--- mlton/trunk/doc/guide/CallGraph	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CallGraph	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/CallingFromCToSML
===================================================================
--- mlton/trunk/doc/guide/CallingFromCToSML	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CallingFromCToSML	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -201,12 +201,12 @@
 
     <li>
 <p>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20070813-release/doc/examples/ffi/export.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">export.sml</a> 
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-MLTONWIKIVERSION-release/doc/examples/ffi/export.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">export.sml</a> 
 </p>
 </li>
     <li>
 <p>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20070813-release/doc/examples/ffi/ffi-export.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-export.c</a> 
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-MLTONWIKIVERSION-release/doc/examples/ffi/ffi-export.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-export.c</a> 
 </p>
 </li>
 </ul>

Modified: mlton/trunk/doc/guide/CallingFromSMLToC
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToC	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CallingFromSMLToC	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -139,12 +139,12 @@
 
     <li>
 <p>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20070813-release/doc/examples/ffi/import.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">import.sml</a> 
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-MLTONWIKIVERSION-release/doc/examples/ffi/import.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">import.sml</a> 
 </p>
 </li>
     <li>
 <p>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20070813-release/doc/examples/ffi/ffi-import.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-import.c</a> 
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-MLTONWIKIVERSION-release/doc/examples/ffi/ffi-import.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-import.c</a> 
 </p>
 </li>
 

Modified: mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -215,7 +215,7 @@
 
     <li>
 <p>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20070813-release/doc/examples/ffi/iimport.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">iimport.sml</a> 
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-MLTONWIKIVERSION-release/doc/examples/ffi/iimport.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">iimport.sml</a> 
 </p>
 </li>
 </ul>

Modified: mlton/trunk/doc/guide/ChrisClearwater
===================================================================
--- mlton/trunk/doc/guide/ChrisClearwater	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/ChrisClearwater	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Chunkify
===================================================================
--- mlton/trunk/doc/guide/Chunkify	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Chunkify	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -60,7 +60,7 @@
 It partitions all the labels (function and block) in an <a href="RSSA">RSSA</a> program into disjoint sets, referred to as chunks. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/chunkify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/backend/chunkify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/backend/chunkify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/backend/chunkify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Breaking large <a href="RSSA">RSSA</a> functions into chunks is necessary for reasonable <tt>gcc</tt> compile times with the <a class="nonexistent" href="CCodegen">CCodegen</a>. 
 </p>

Modified: mlton/trunk/doc/guide/Closure
===================================================================
--- mlton/trunk/doc/guide/Closure	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Closure	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/ClosureConvert
===================================================================
--- mlton/trunk/doc/guide/ClosureConvert	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/ClosureConvert	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -66,7 +66,7 @@
 Uses <a href="Globalize">Globalize</a> and <a href="LambdaFree">LambdaFree</a> analyses. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/closure-convert.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/closure-convert/closure-convert.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/closure-convert/closure-convert.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/closure-convert/closure-convert.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 
 

Modified: mlton/trunk/doc/guide/CommonArg
===================================================================
--- mlton/trunk/doc/guide/CommonArg	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CommonArg	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -87,7 +87,7 @@
 </pre>which saves a number of resources: time of setting up the arguments for the jump to <tt>L_3</tt>, space (either stack or pseudo-registers) for the arguments of <tt>L_3</tt>, etc.  It may also expose some other optimizations, if more information is known about <tt>x</tt> or <tt>y</tt>. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-arg.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ssa/common-arg.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/common-arg.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/common-arg.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Three analyses were originally proposed to drive the optimization transformation.  Only the <em>Dominator Analysis</em> is currently implemented.  (Implementations of the other analyses are available in the Subversion repository.) 
 </p>
@@ -226,7 +226,7 @@
 </p>
 <h4 id="head-e163a6e8bdc0e8e8e2cb41c825525e3f18b2eec0">Final Thoughts</h4>
 <p>
-I must admit, I was rather suprised at this progression and final result.  At the outset, I never would have thought of a connection between <a href="Contify">Contify</a> and CommonArg optimizations.  They would seem to be two completely different optimizations.  Although, this may not really be the case.  As one of the reviewers of the ICFP paper said: 
+I must admit, I was rather surprised at this progression and final result.  At the outset, I never would have thought of a connection between <a href="Contify">Contify</a> and CommonArg optimizations.  They would seem to be two completely different optimizations.  Although, this may not really be the case.  As one of the reviewers of the ICFP paper said: 
 </p>
 
         <ul>
@@ -257,5 +257,5 @@
 
 <p>
 <hr>
-Last edited on 2007-07-08 21:23:13 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-15 22:05:26 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
 </body></html>

Modified: mlton/trunk/doc/guide/CommonBlock
===================================================================
--- mlton/trunk/doc/guide/CommonBlock	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CommonBlock	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -60,7 +60,7 @@
 It eliminates equivalent blocks in a <a href="SSA">SSA</a> function.  The equivalence criteria requires blocks to have no arguments or statements and transfer via <tt>Raise</tt>, <tt>Return</tt>, or <tt>Goto</tt> of a single global variable. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-block.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ssa/common-block.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/common-block.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/common-block.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 
     <ul>
 

Modified: mlton/trunk/doc/guide/CommonSubexp
===================================================================
--- mlton/trunk/doc/guide/CommonSubexp	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CommonSubexp	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -60,7 +60,7 @@
 It eliminates instances of common subexpressions. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-subexp.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ssa/common-subexp.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/common-subexp.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/common-subexp.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 In addition to getting the usual sorts of things like  
 </p>

Modified: mlton/trunk/doc/guide/CompilationManager
===================================================================
--- mlton/trunk/doc/guide/CompilationManager	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CompilationManager	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/CompileTimeOptions
===================================================================
--- mlton/trunk/doc/guide/CompileTimeOptions	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CompileTimeOptions	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/CompilerOverview
===================================================================
--- mlton/trunk/doc/guide/CompilerOverview	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CompilerOverview	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -264,7 +264,7 @@
 
 
 <p>
-The <tt>Compile</tt> functor (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.sig</a>,<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>), controls the high-level view of the compiler passes, from <a href="FrontEnd">FrontEnd</a> to code generation. 
+The <tt>Compile</tt> functor (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/main/compile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.sig</a>,<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>), controls the high-level view of the compiler passes, from <a href="FrontEnd">FrontEnd</a> to code generation. 
 </p>
 </div>
 

Modified: mlton/trunk/doc/guide/CompilerPassTemplate
===================================================================
--- mlton/trunk/doc/guide/CompilerPassTemplate	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CompilerPassTemplate	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -60,7 +60,7 @@
 A short description of the pass. 
 </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/tags/on-20070813-release/mlton/ZZZ.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/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/tags/on-MLTONWIKIVERSION-release/mlton/ZZZ.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Relevant details and notes. 
 </p>

Modified: mlton/trunk/doc/guide/CompilingWithSMLNJ
===================================================================
--- mlton/trunk/doc/guide/CompilingWithSMLNJ	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CompilingWithSMLNJ	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/ConcurrentML
===================================================================
--- mlton/trunk/doc/guide/ConcurrentML	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/ConcurrentML	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/ConcurrentMLImplementation
===================================================================
--- mlton/trunk/doc/guide/ConcurrentMLImplementation	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/ConcurrentMLImplementation	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -103,7 +103,7 @@
  
 </p>
 <p>
-When synchronizing on a set of base events, which are all blocked, we must invoke each <tt>BLOCKED</tt> function with the same transId and cleanUp (the transId is (checked and) set to CANCEL by the cleanUp function, which is invoked by the first enabled event; this "fizzles" every other event in the synchronization group that later becomes enabled). However, each <tt>BLOCKED</tt> function is implemented by a callcc, so that when the event is enabled, it throws back to the point of synchronization.  Hence, the next function (which doesn't return) is invoked by the <tt>BLOCKED</tt> function to escape the callcc and continue in the thread performing the synchronization.  In SML/NJ this is implemented as follows: 
+When synchronizing on a set of base events, which are all blocked, we must invoke each <tt>BLOCKED</tt> function with the same <tt>transId</tt> and <tt>cleanUp</tt> (the <tt>transId</tt> is (checked and) set to <tt>CANCEL</tt> by the <tt>cleanUp</tt> function, which is invoked by the first enabled event; this "fizzles" every other event in the synchronization group that later becomes enabled). However, each <tt>BLOCKED</tt> function is implemented by a callcc, so that when the event is enabled, it throws back to the point of synchronization.  Hence, the next function (which doesn't return) is invoked by the <tt>BLOCKED</tt> function to escape the callcc and continue in the thread performing the synchronization.  In SML/NJ this is implemented as follows: 
 <pre class=code>
 <B><FONT COLOR="#A020F0">fun</FONT></B> ext ([], blockFns) = callcc (<B><FONT COLOR="#A020F0">fn</FONT></B> k =&gt; <B><FONT COLOR="#0000FF">let</FONT></B>
       <B><FONT COLOR="#A020F0">val</FONT></B> throw = throw k
@@ -126,7 +126,7 @@
 </pre>means that the naive transformation will result in nested switch-es. 
 </p>
 <p>
-We need to think a little more about what this code is trying to do. Essentially, each <tt>blockFn</tt> wants to capture this continuation, hold on to it until the event is enabled, and continue with next; when the event is enabled, before invoking the continuation and returning to the synchronization point, the cleanUp and other event specific operations are performed. 
+We need to think a little more about what this code is trying to do. Essentially, each <tt>blockFn</tt> wants to capture this continuation, hold on to it until the event is enabled, and continue with next; when the event is enabled, before invoking the continuation and returning to the synchronization point, the <tt>cleanUp</tt> and other event specific operations are performed. 
 </p>
 <p>
 To accomplish the same effect in the MLton thread implementation, we have the following: 
@@ -164,7 +164,7 @@
  
 </p>
 <p>
-To avoid the nested switch-es, I run the blockFn in it's own thread, whose only purpose is to return to the synchronization point.  This corresponds to the <tt>throw&nbsp;(blockFn&nbsp;{...})</tt> in the SML/NJ implementation.  I'm worried that this implementation might be a little expensive, starting a new thread for each blocked event (when there are only multiple blocked events in a synchronization group). But, I don't see another way of implementing this behavior in the MLton thread model. 
+To avoid the nested switch-es, I run the <tt>blockFn</tt> in it's own thread, whose only purpose is to return to the synchronization point.  This corresponds to the <tt>throw&nbsp;(blockFn&nbsp;{...})</tt> in the SML/NJ implementation.  I'm worried that this implementation might be a little expensive, starting a new thread for each blocked event (when there are only multiple blocked events in a synchronization group). But, I don't see another way of implementing this behavior in the MLton thread model. 
 </p>
 <p>
 Note that another way of thinking about what is going on is to consider each <tt>blockFn</tt> as prepending a different set of actions to the thread <tt>t</tt>.  It might be possible to give a <tt>MLton.Thread.unsafePrepend</tt>. 
@@ -288,5 +288,5 @@
 
 <p>
 <hr>
-Last edited on 2005-12-02 04:18:52 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-15 22:05:31 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
 </body></html>

Modified: mlton/trunk/doc/guide/ConstantPropagation
===================================================================
--- mlton/trunk/doc/guide/ConstantPropagation	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/ConstantPropagation	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -63,7 +63,7 @@
 Uses <a href="Multi">Multi</a>. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/constant-propagation.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ssa/constant-propagation.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/constant-propagation.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/constant-propagation.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 
 

Modified: mlton/trunk/doc/guide/Contact
===================================================================
--- mlton/trunk/doc/guide/Contact	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Contact	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Contify
===================================================================
--- mlton/trunk/doc/guide/Contify	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Contify	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -60,7 +60,7 @@
 Contification is a compiler optimization that turns a function that always returns to the same place into a continuation.  This exposes control-flow information that is required by many optimizations, including traditional loop optimizations. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/contify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ssa/contify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/contify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/contify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 See <a href = "References#FluetWeeks01">Contification Using Dominators</a>.  The intermediate language described in that paper has since evolved to the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>; hence, the complication described in Section 6.1 is no longer relevant. 
 </p>

Modified: mlton/trunk/doc/guide/CoreML
===================================================================
--- mlton/trunk/doc/guide/CoreML	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CoreML	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -60,7 +60,7 @@
 CoreML is polymorphic, higher-order, and has nested patterns. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/core-ml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/core-ml/core-ml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.fun</a> <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/core-ml/core-ml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/core-ml/core-ml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.fun</a> <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 The CoreML <a href="IntermediateLanguage">IntermediateLanguage</a> has no independent type checker. 
 </p>

Modified: mlton/trunk/doc/guide/CoreMLSimplify
===================================================================
--- mlton/trunk/doc/guide/CoreMLSimplify	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CoreMLSimplify	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -55,7 +55,7 @@
       &nbsp;
 </table>
 <div id="content" lang="en" dir="ltr">
-The single optimization pass for the <a href="CoreML">CoreML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> is controlled by the <tt>Compile</tt> functor (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>). <p>
+The single optimization pass for the <a href="CoreML">CoreML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> is controlled by the <tt>Compile</tt> functor (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>). <p>
 The following optimization pass is implemented: 
 </p>
 

Modified: mlton/trunk/doc/guide/CreatingPages
===================================================================
--- mlton/trunk/doc/guide/CreatingPages	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CreatingPages	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Credits
===================================================================
--- mlton/trunk/doc/guide/Credits	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Credits	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/CrossCompiling
===================================================================
--- mlton/trunk/doc/guide/CrossCompiling	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/CrossCompiling	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/DeadCode
===================================================================
--- mlton/trunk/doc/guide/DeadCode	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/DeadCode	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -60,7 +60,7 @@
 This pass eliminates declarations from the  <a href="BasisLibrary">Basis Library</a> not needed by the user program. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/dead-code.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/core-ml/dead-code.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/core-ml/dead-code.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/core-ml/dead-code.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 In order to compile small programs rapidly, a pass of dead code elimination is run in order to eliminate as much of the Basis Library as possible.  The dead code elimination algorithm used is not safe in general, and only works because the Basis Library implementation has special properties: 
 </p>

Modified: mlton/trunk/doc/guide/DeepFlatten
===================================================================
--- mlton/trunk/doc/guide/DeepFlatten	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/DeepFlatten	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -63,7 +63,7 @@
 For example, an <tt>(int&nbsp;*&nbsp;int)&nbsp;ref</tt> is represented by a 2 word object, and an <tt>(int&nbsp;*&nbsp;int)&nbsp;array</tt> contains pairs of <tt>int</tt>s, rather than pointers to pairs of <tt>int</tt>s. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/deep-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/ssa/deep-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/deep-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/ssa/deep-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 
 

Modified: mlton/trunk/doc/guide/DefineTypeBeforeUse
===================================================================
--- mlton/trunk/doc/guide/DefineTypeBeforeUse	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/DefineTypeBeforeUse	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/DefinitionOfStandardML
===================================================================
--- mlton/trunk/doc/guide/DefinitionOfStandardML	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/DefinitionOfStandardML	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Defunctorize
===================================================================
--- mlton/trunk/doc/guide/Defunctorize	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Defunctorize	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -87,7 +87,7 @@
 
 
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/defunctorize/defunctorize.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/defunctorize/defunctorize.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/defunctorize/defunctorize.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/defunctorize/defunctorize.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.fun</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 This pass is grossly misnamed and does not perform defunctorization. 
 </p>

Modified: mlton/trunk/doc/guide/Developers
===================================================================
--- mlton/trunk/doc/guide/Developers	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Developers	2007-08-21 13:25:57 UTC (rev 5912)
@@ -32,7 +32,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Development
===================================================================
--- mlton/trunk/doc/guide/Development	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Development	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Documentation
===================================================================
--- mlton/trunk/doc/guide/Documentation	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Documentation	2007-08-21 13:25:57 UTC (rev 5912)
@@ -35,7 +35,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Drawbacks
===================================================================
--- mlton/trunk/doc/guide/Drawbacks	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Drawbacks	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Eclipse
===================================================================
--- mlton/trunk/doc/guide/Eclipse	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Eclipse	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/EditingPages
===================================================================
--- mlton/trunk/doc/guide/EditingPages	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/EditingPages	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;

Modified: mlton/trunk/doc/guide/Elaborate
===================================================================
--- mlton/trunk/doc/guide/Elaborate	2007-08-21 13:20:30 UTC (rev 5911)
+++ mlton/trunk/doc/guide/Elaborate	2007-08-21 13:25:57 UTC (rev 5912)
@@ -31,7 +31,7 @@
 		color: darkblue; 
 		font-size: 150%;
 		text-align: left;">
-      <a class = mltona href="Home">MLton 20070813</a>
+      <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
     <td style = "
 		border: 0px;
 		font-size: 150%;
@@ -57,14 +57,14 @@
 <div id="content" lang="en" dir="ltr">
 Elaborate is a translation pass from the <a href="AST">AST</a> <a href="IntermediateLanguage">IntermediateLanguage</a> to the <a href="CoreML">CoreML</a> <a href="IntermediateLanguage">IntermediateLanguage</a>. <h2 id="head-55f8ebc805e65b5b71ddafdae390e3be2bcd69af">Description</h2>
 <p>
-This pass performs type inference and type checking according to the <a href="DefinitionOfStandardML"> Definition</a>.  It also defunctorizes the program, eliminating all module-level constructs. 
+This pass performs type inference and type checking according to the <a href="DefinitionOfStandardML">Definition</a>.  It also defunctorizes the program, eliminating all module-level constructs. 
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/elaborate/elaborate.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.fun</a><br>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-env.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/elaborate/elaborate-env.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.fun</a><br>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/elaborate/elaborate-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.fun</a><br>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-core.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/elaborate/elaborate-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-core.fun</a><br>
- <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070813-release/mlton/elaborate"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate</a> <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/elaborate/elaborate.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/elaborate/elaborate.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.fun</a><br>
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/elaborate/elaborate-env.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/elaborate/elaborate-env.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.fun</a><br>
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/elaborate/elaborate-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/elaborate/elaborate-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.fun</a><br>
+ <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVERSION-release/mlton/elaborate/elaborate-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-core.sig</a> <a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-MLTONWIKIVER



More information about the MLton-commit mailing list