[MLton-commit] r5844
Matthew Fluet
fluet at mlton.org
Thu Aug 9 19:51:55 PDT 2007
Updating guide from web
----------------------------------------------------------------------
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/Experimental
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/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/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/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/PageSize
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
A 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/VERSION
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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/AST 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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-20070709-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-20070709-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-20070709-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/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-20070809-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-20070809-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-20070809-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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/AccessControl 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AdamGoode
===================================================================
--- mlton/trunk/doc/guide/AdamGoode 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/AdamGoode 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AdmitsEquality
===================================================================
--- mlton/trunk/doc/guide/AdmitsEquality 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/AdmitsEquality 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Alice
===================================================================
--- mlton/trunk/doc/guide/Alice 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Alice 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AllocateRegisters
===================================================================
--- mlton/trunk/doc/guide/AllocateRegisters 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/AllocateRegisters 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/AndreiFormiga 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ArrayLiteral
===================================================================
--- mlton/trunk/doc/guide/ArrayLiteral 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/ArrayLiteral 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/BasisLibrary
===================================================================
--- mlton/trunk/doc/guide/BasisLibrary 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/BasisLibrary 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Bug
===================================================================
--- mlton/trunk/doc/guide/Bug 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Bug 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Bugs20041109
===================================================================
--- mlton/trunk/doc/guide/Bugs20041109 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Bugs20041109 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Bugs20051202
===================================================================
--- mlton/trunk/doc/guide/Bugs20051202 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Bugs20051202 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -56,6 +56,216 @@
</table>
<div id="content" lang="en" dir="ltr">
Here are the known bugs in MLton 20051202, listed in reverse chronological order of date reported. <p>
+<a id="15"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.fmt:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real<N>.fmt</a>, <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.fromString:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real<N>.fromString</a>, <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.scan:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real<N>.scan</a>, and <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.toString:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real<N>.toString</a> functions of the <a href="BasisLibrary">basis library</a> implementation. These functions were using <tt>TO_NEAREST</tt> semantics, but should obey the current rounding mode. (Only <tt>Real<N>.fmt StringCvt.EXACT</tt>, <tt>Real<N>.fromDecimal</tt>, and <tt>Real<N>.toDecimal</tt> are specified to override the current rounding mode with <tt>TO_NEAREST</tt> semantics.) Thanks to Sean McLaughlin for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5827&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5827</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="15"></a>
+</p>
+
+ <ul>
+
+ <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>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="14"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.toInt:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real32.toInt</a> function of the <a href="BasisLibrary">basis library</a> implementation could lead incorrect results when applied to a <tt>Real.real</tt> value numerically close to <tt>valOf(Int.maxInt)</tt>. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5764&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5764</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="13"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ The <a class="external" href="http://mlton.org/basis/socket.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Socket</a> structure of the <a href="BasisLibrary">basis library</a> implementation used <tt>andb</tt> rather than <tt>orb</tt> to unmarshal socket options (for <tt>Socket.Ctl.get<OPT></tt> functions). Thanks to Anders Petersson for the bug report and patch. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5735&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5735</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="12"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the <a class="external" href="http://mlton.org/basis/date.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Date</a> structure of the <a href="BasisLibrary">basis library</a> implementation yielded some functions that would erroneously raise <tt>Date</tt> when applied to a year before 1900. Thanks to Joe Hurd for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5732&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5732</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="11"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in monomorphisation pass could exhibit the error <tt>Type error: type mismatch</tt>. Thanks to Vesa Karvonen for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5731&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5731</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="10"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ The <a class="external" href="http://mlton.org/basis/pack-float.html#SIG:PACK_REAL.toBytes:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">PackReal<N>.toBytes</a> function in the <a href="BasisLibrary">basis library</a> implementation incorrectly shared (and mutated) the result vector. Thanks to Eric McCorkle for the bug report and patch. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5281&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5281</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="9"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in elaboration of FFI forms. Using a unary FFI types (e.g., <tt>array</tt>, <tt>ref</tt>, <tt>vector</tt>) in places where <tt>MLton.Pointer.t</tt> was required would lead to an internal error <tt>TypeError</tt>. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4890&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4890</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="8"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ The <a class="external" href="http://mlton.org/basis/mono-vector.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MONO_VECTOR</a> signature of the <a href="BasisLibrary">basis library</a> implementation incorrectly omits the specification of <tt>find</tt>. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4707&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4707</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="7"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ The optimizer reports an internal error (<tt>TypeError</tt>) when an imported C function is called but not used. Thanks to <tt>jq</tt> for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4690&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4690</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="6"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in pass to flatten data structures. Thanks to Joe Hurd for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4662&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4662</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="5"></a>
+</p>
+
+ <ul>
+
+ <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>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="4"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ The <a class="external" href="http://mlton.org/basis/pack-float.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">PACK_REAL</a> structures of the <a href="BasisLibrary">basis library</a> implementation used byte, rather than element, indexing. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4411&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4411</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="3"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ <tt>MLton.share</tt> could cause a segmentation fault. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4400&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4400</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
<a id="2"></a>
</p>
@@ -63,7 +273,7 @@
<li>
<p>
- The <a class="external" href="http://mlton.org/basis/mono-vector.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MONO_VECTOR</a> signature of the <a href="BasisLibrary">basis library</a> implementation incorrectly omits the specification of <tt>find</tt>.
+ The SSA simplifier could eliminate an irredundant test. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4370&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4370</a>.
</p>
</li>
@@ -78,7 +288,7 @@
<li>
<p>
- The optimizer reports an internal error (<tt>TypeError</tt>) when an imported C function is called but not used. Thanks to <tt>jq</tt> for the bug report.
+ A program with a very large number of functors could exhibit the error <tt>ElaborateEnv.functorClosure: firstTycons</tt>. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4344&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4344</a>.
</p>
</li>
</ul>
@@ -89,5 +299,5 @@
<p>
<hr>
-Last edited on 2007-07-08 21:15:34 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-06 22:08:51 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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CKitLibrary 2007-08-10 02:51:48 UTC (rev 5844)
@@ -33,7 +33,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CMinusMinus 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CallGraph
===================================================================
--- mlton/trunk/doc/guide/CallGraph 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CallGraph 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CallingFromCToSML
===================================================================
--- mlton/trunk/doc/guide/CallingFromCToSML 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CallingFromCToSML 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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-20070809-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-20070709-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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CallingFromSMLToC 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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-20070809-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-20070709-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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/ChrisClearwater 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Chunkify
===================================================================
--- mlton/trunk/doc/guide/Chunkify 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Chunkify 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Closure 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ClosureConvert
===================================================================
--- mlton/trunk/doc/guide/ClosureConvert 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/ClosureConvert 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CommonArg 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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>
Modified: mlton/trunk/doc/guide/CommonBlock
===================================================================
--- mlton/trunk/doc/guide/CommonBlock 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CommonBlock 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CommonSubexp 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CompilationManager 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CompileTimeOptions
===================================================================
--- mlton/trunk/doc/guide/CompileTimeOptions 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CompileTimeOptions 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -100,13 +100,13 @@
<li class="gap">
<p>
- <tt>-codegen {x86|amd64|bytecode|c} </tt>
+ <tt>-codegen {native|x86|amd64|c|bytecode} </tt>
</p>
</li>
<ul>
- Generate native code, byte code, or C code. With <tt>-codegen x86</tt> or <tt>-codegen amd64</tt>, MLton typically compiles more quickly and generates better code.
+ Generate native code, byte code, or C code. With <tt>-codegen native</tt> (<tt>-codegen x86</tt> or <tt>-codegen amd64</tt>), MLton typically compiles more quickly and generates better code.
</ul>
@@ -458,7 +458,7 @@
<ul>
- Like <tt>-as-opt</tt>, this passes <em>option</em> to <tt>gcc</tt> when assembling, except it only passes <em>option</em> when the target architecture or operating system is <em>target</em>. Valid values for <em>target</em> are: <tt>hppa</tt>, <tt>powerpc</tt>, <tt>sparc</tt>, <tt>x86</tt>, <tt>cygwin</tt>, <tt>darwin</tt>, <tt>freebsd</tt>, <tt>linux</tt>, <tt>mingw</tt>, <tt>netbsd</tt>, <tt>openbsd</tt>, <tt>solaris</tt>.
+ Like <tt>-as-opt</tt>, this passes <em>option</em> to <tt>gcc</tt> when assembling, except it only passes <em>option</em> when the target architecture or operating system is <em>target</em>. Valid values for <em>target</em> are: <tt>amd64</tt>, <tt>hppa</tt>, <tt>powerpc</tt>, <tt>sparc</tt>, <tt>x86</tt>, <tt>cygwin</tt>, <tt>darwin</tt>, <tt>freebsd</tt>, <tt>hpux</tt>, <tt>linux</tt>, <tt>mingw</tt>, <tt>netbsd</tt>, <tt>openbsd</tt>, <tt>solaris</tt>.
</ul>
@@ -533,5 +533,5 @@
<p>
<hr>
-Last edited on 2007-06-27 01:46:50 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-07-12 18:41:59 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CompilerOverview
===================================================================
--- mlton/trunk/doc/guide/CompilerOverview 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CompilerOverview 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CompilerPassTemplate 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CompilingWithSMLNJ 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ConcurrentML
===================================================================
--- mlton/trunk/doc/guide/ConcurrentML 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/ConcurrentML 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ConcurrentMLImplementation
===================================================================
--- mlton/trunk/doc/guide/ConcurrentMLImplementation 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/ConcurrentMLImplementation 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ConstantPropagation
===================================================================
--- mlton/trunk/doc/guide/ConstantPropagation 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/ConstantPropagation 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Contact 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Contify
===================================================================
--- mlton/trunk/doc/guide/Contify 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Contify 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CoreML 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CoreMLSimplify 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -55,7 +55,7 @@
</table>
<div id="content" lang="en" dir="ltr">
-The single optimization pass for the <a href="CoreML">CoreML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> is controlled by the <tt>Compile</tt> functor (<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20070709-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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CreatingPages 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Credits
===================================================================
--- mlton/trunk/doc/guide/Credits 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Credits 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CrossCompiling
===================================================================
--- mlton/trunk/doc/guide/CrossCompiling 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/CrossCompiling 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/DeadCode
===================================================================
--- mlton/trunk/doc/guide/DeadCode 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/DeadCode 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/DeepFlatten 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -63,7 +63,7 @@
For example, an <tt>(int * int) ref</tt> is represented by a 2 word object, and an <tt>(int * int) 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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/DefineTypeBeforeUse 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/DefinitionOfStandardML
===================================================================
--- mlton/trunk/doc/guide/DefinitionOfStandardML 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/DefinitionOfStandardML 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Defunctorize
===================================================================
--- mlton/trunk/doc/guide/Defunctorize 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Defunctorize 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</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-20070709-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/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-20070809-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-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Developers 2007-08-10 02:51:48 UTC (rev 5844)
@@ -32,7 +32,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Development
===================================================================
--- mlton/trunk/doc/guide/Development 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Development 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Documentation
===================================================================
--- mlton/trunk/doc/guide/Documentation 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Documentation 2007-08-10 02:51:48 UTC (rev 5844)
@@ -35,7 +35,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Drawbacks
===================================================================
--- mlton/trunk/doc/guide/Drawbacks 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Drawbacks 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Eclipse
===================================================================
--- mlton/trunk/doc/guide/Eclipse 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Eclipse 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/EditingPages
===================================================================
--- mlton/trunk/doc/guide/EditingPages 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/EditingPages 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Elaborate
===================================================================
--- mlton/trunk/doc/guide/Elaborate 2007-08-09 23:04:55 UTC (rev 5843)
+++ mlton/trunk/doc/guide/Elaborate 2007-08-10 02:51:48 UTC (rev 5844)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070709</a>
+ <a class = mltona href="Home">MLton 20070809</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -60,11 +60,11 @@
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-20070709-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-20070709-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-20070709-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-20070709-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-20070709-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/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-20070809-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-20070809-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-20070809-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-20070809-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/
More information about the MLton-commit
mailing list