[MLton-commit] r5866
Matthew Fluet
fluet at mlton.org
Mon Aug 13 16:46:20 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/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
A mlton/trunk/doc/guide/MLtonMonoArray
A 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
A 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/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
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/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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/AST 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/AccessControl 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AdamGoode
===================================================================
--- mlton/trunk/doc/guide/AdamGoode 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/AdamGoode 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AdmitsEquality
===================================================================
--- mlton/trunk/doc/guide/AdmitsEquality 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/AdmitsEquality 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Alice
===================================================================
--- mlton/trunk/doc/guide/Alice 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Alice 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/AllocateRegisters
===================================================================
--- mlton/trunk/doc/guide/AllocateRegisters 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/AllocateRegisters 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
</div>
Modified: mlton/trunk/doc/guide/AndreiFormiga
===================================================================
--- mlton/trunk/doc/guide/AndreiFormiga 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/AndreiFormiga 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ArrayLiteral
===================================================================
--- mlton/trunk/doc/guide/ArrayLiteral 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/ArrayLiteral 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/BasisLibrary
===================================================================
--- mlton/trunk/doc/guide/BasisLibrary 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/BasisLibrary 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -76,11 +76,11 @@
<li>
<a href="#head-82cd3eec71dfcc66e035e18592934036165aa125">Top-level structures</a></li>
<li>
+<a href="#head-e38fb58e344e0ee67d4aa08c60df9fbd642e8e1c">Top-level functors</a></li>
+<li>
<a href="#head-0ac17def4aced0cc961aa5b65385be04cfcf6eb5">Type equivalences</a></li>
<li>
<a href="#head-bc488aeca21efb00463538004d56839b48f23e7d">Real and Math functions</a></li>
-<li>
-<a href="#head-e38fb58e344e0ee67d4aa08c60df9fbd642e8e1c">Top-level functors</a></li>
</ol>
@@ -311,8 +311,12 @@
<tt>structure PackReal64Little: PACK_REAL</tt> <br>
<tt>structure PackRealBig: PACK_REAL</tt> <br>
<tt>structure PackRealLittle: PACK_REAL</tt> <br>
+<tt>structure PackWord16Big: PACK_WORD</tt> <br>
+<tt>structure PackWord16Little: PACK_WORD</tt> <br>
<tt>structure PackWord32Big: PACK_WORD</tt> <br>
<tt>structure PackWord32Little: PACK_WORD</tt> <br>
+<tt>structure PackWord64Big: PACK_WORD</tt> <br>
+<tt>structure PackWord64Little: PACK_WORD</tt> <br>
<tt>structure Position: INTEGER</tt> <br>
<tt>structure Posix: POSIX</tt> <br>
<tt>structure Real: REAL</tt> <br>
@@ -411,21 +415,6 @@
<tt>structure Word64Vector: MONO_VECTOR</tt> <br>
<tt>structure Word64VectorSlice: MONO_VECTOR_SLICE</tt>
</p>
-<h2 id="head-0ac17def4aced0cc961aa5b65385be04cfcf6eb5">Type equivalences</h2>
-The following types are equivalent.
-<pre>Int.int = Int32.int
-Int64.int = FixedInt.int = Position.int
-IntInf.int = LargeInt.int
-Real.real = Real64.real = LargeReal.real
-Word.word = Word32.word = SysWord.word
-Word64.word = LargeWord.word
-</pre><h2 id="head-bc488aeca21efb00463538004d56839b48f23e7d">Real and Math functions</h2>
-<p>
-The <tt>Real</tt>, <tt>Real32</tt>, and <tt>Real64</tt> modules are implemented using the <tt>C</tt> math library, so the SML functions will reflect the behavior of the underlying library function. We have made some effort to unify the differences between the math libraries on different platforms, and in particular to handle exceptional cases according to the Basis Library specification. However, there will be differences due to different numerical algorithms and cases we may have missed. Please submit a <a href="Bug">bug report</a> if you encounter an error in the handling of an exceptional case.
-</p>
-<p>
-On x86, real arithmetic is implemented internally using 80 bits of precision. Using higher precision for intermediate results in computations can lead to different results than if all the computation is done at 32 or 64 bits. If you require strict IEEE compliance, you can compile with <tt>-ieee-fp true</tt>, which will cause intermediate results to be stored after each operation. This may cause a substantial performance penalty.
-</p>
<h2 id="head-e38fb58e344e0ee67d4aa08c60df9fbd642e8e1c">Top-level functors</h2>
<p>
<tt>ImperativeIO</tt> <br>
@@ -435,11 +424,34 @@
<p>
MLton's <tt>StreamIO</tt> functor takes structures <tt>ArraySlice</tt> and <tt>VectorSlice</tt> in addition to the arguments specified in the Basis Library specification.
</p>
+<h2 id="head-0ac17def4aced0cc961aa5b65385be04cfcf6eb5">Type equivalences</h2>
+<p>
+The following types are equivalent.
+<pre>FixedInt = Int64.int
+LargeInt = IntInf.int
+LargeReal.real = Real64.real
+LargeWord = Word64.word
+</pre>
+</p>
+<p>
+The default <tt>int</tt>, <tt>real</tt>, and <tt>word</tt> types may be set by the <tt>-default-type </tt><em>type</em> <a href="CompileTimeOptions"> compiler option</a>. By default, the following types are equivalent:
+<pre>int = Int.int = Int32.int
+real = Real.real = Real64.real
+word = Word.word = Word32.word
+</pre>
+</p>
+<h2 id="head-bc488aeca21efb00463538004d56839b48f23e7d">Real and Math functions</h2>
+<p>
+The <tt>Real</tt>, <tt>Real32</tt>, and <tt>Real64</tt> modules are implemented using the <tt>C</tt> math library, so the SML functions will reflect the behavior of the underlying library function. We have made some effort to unify the differences between the math libraries on different platforms, and in particular to handle exceptional cases according to the Basis Library specification. However, there will be differences due to different numerical algorithms and cases we may have missed. Please submit a <a href="Bug">bug report</a> if you encounter an error in the handling of an exceptional case.
+</p>
+<p>
+On x86, real arithmetic is implemented internally using 80 bits of precision. Using higher precision for intermediate results in computations can lead to different results than if all the computation is done at 32 or 64 bits. If you require strict IEEE compliance, you can compile with <tt>-ieee-fp true</tt>, which will cause intermediate results to be stored after each operation. This may cause a substantial performance penalty.
+</p>
</div>
<p>
<hr>
-Last edited on 2005-11-30 23:04:45 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-08-10 20:43:41 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/Bug
===================================================================
--- mlton/trunk/doc/guide/Bug 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Bug 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Bugs20041109
===================================================================
--- mlton/trunk/doc/guide/Bugs20041109 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Bugs20041109 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Bugs20051202
===================================================================
--- mlton/trunk/doc/guide/Bugs20051202 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Bugs20051202 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CKitLibrary
===================================================================
--- mlton/trunk/doc/guide/CKitLibrary 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CKitLibrary 2007-08-13 23:46:13 UTC (rev 5866)
@@ -33,7 +33,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -58,7 +58,7 @@
</table>
<div id="content" lang="en" dir="ltr">
The <a class="external" href="http://www.smlnj.org/doc/ckit"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit Library</a> is a C front end written in SML that translates C source code (after preprocessing) into abstract syntax represented as a set of SML datatypes. The ckit Library is distributed with SML/NJ. Due to differences between SML/NJ and MLton, this library will not work out-of-the box with MLton. <p>
-As of 20050818, MLton includes a port of the ckit Library synchronized with SML/NJ version 110.57.
+As of 20070812, MLton includes a port of the ckit Library synchronized with SML/NJ version 110.65.
</p>
<h2 id="head-0bb18642b70b9f8a9c12ccf39487328f306b8e19">Usage</h2>
@@ -152,7 +152,7 @@
<li>
<p>
- <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>
+ <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>
</p>
</li>
</ul>
@@ -163,5 +163,5 @@
<p>
<hr>
-Last edited on 2006-11-02 17:48:22 by <span title="76.16.241.4"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2007-08-13 02:31:06 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/CMinusMinus
===================================================================
--- mlton/trunk/doc/guide/CMinusMinus 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CMinusMinus 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CallGraph
===================================================================
--- mlton/trunk/doc/guide/CallGraph 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CallGraph 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CallingFromCToSML
===================================================================
--- mlton/trunk/doc/guide/CallingFromCToSML 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CallingFromCToSML 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-20070809-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-20070813-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-20070809-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-20070813-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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CallingFromSMLToC 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-20070809-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-20070813-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-20070809-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-20070813-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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-20070809-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-20070813-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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/ChrisClearwater 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Chunkify
===================================================================
--- mlton/trunk/doc/guide/Chunkify 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Chunkify 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Closure 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ClosureConvert
===================================================================
--- mlton/trunk/doc/guide/ClosureConvert 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/ClosureConvert 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
</div>
Modified: mlton/trunk/doc/guide/CommonArg
===================================================================
--- mlton/trunk/doc/guide/CommonArg 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CommonArg 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CommonBlock 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<ul>
Modified: mlton/trunk/doc/guide/CommonSubexp
===================================================================
--- mlton/trunk/doc/guide/CommonSubexp 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CommonSubexp 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CompilationManager 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CompileTimeOptions
===================================================================
--- mlton/trunk/doc/guide/CompileTimeOptions 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CompileTimeOptions 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
@@ -56,7 +56,7 @@
</table>
<div id="content" lang="en" dir="ltr">
MLton's compile-time options control the name of the output file, the verbosity of compile-time messages, and whether or not certain optimizations are performed. They also can specify which intermediate files are saved and can stop the compilation process early, at some intermediate pass, in which case compilation can be resumed by passing the generated files to MLton. MLton uses the input file suffix to determine the type of input program. The possibilities are <tt>.c</tt>, <tt>.cm</tt>, <tt>.mlb</tt>, <tt>.o</tt>, <tt>.S</tt>, and <tt>.sml</tt>. <p>
-With no arguments, MLton prints the version number and exits. For a usage message, run MLton with an invalid switch, e.g. <tt>mlton -z</tt>. In the explanation below and in the usage message, for flags that take a number of choices (e.g. <tt>{true|false} </tt>), the first value listed is the default.
+With no arguments, MLton prints the version number and exits. For a usage message, run MLton with an invalid switch, e.g. <tt>mlton -z</tt>. In the explanation below and in the usage message, for flags that take a number of choices (e.g. <tt>{true|false}</tt>), the first value listed is the default.
</p>
<h2 id="head-6bf5da9c080bee3a8142586c412aa39971137eee">Options</h2>
@@ -64,7 +64,7 @@
<li>
<p>
- <tt>-align {4|8} </tt>
+ <tt>-align {4|8}</tt>
</p>
</li>
@@ -76,7 +76,7 @@
<li class="gap">
<p>
- <tt>-as-opt</tt> <em>option</em>
+ <tt>-as-opt </tt><em>option</em>
</p>
</li>
@@ -88,7 +88,7 @@
<li class="gap">
<p>
- <tt>-cc-opt</tt> <em>option</em>
+ <tt>-cc-opt </tt><em>option</em>
</p>
</li>
@@ -100,7 +100,7 @@
<li class="gap">
<p>
- <tt>-codegen {native|x86|amd64|c|bytecode} </tt>
+ <tt>-codegen {native|x86|amd64|c|bytecode}</tt>
</p>
</li>
@@ -127,7 +127,7 @@
<li>
<p>
- <tt>Exn.keepHistory {false|true} </tt>
+ <tt>Exn.keepHistory {false|true}</tt>
</p>
</li>
@@ -161,7 +161,7 @@
<ul>
- Specify the default binding for a primitive type. For example, <tt>-default-type word64</tt> causes the top-level type <tt>word</tt> and the top-level structure <tt>Word</tt> in the [:<a class="badinterwiki" title="BasisLibrary" href="InterWiki"><img src="moin-inter.png" alt="[BasisLibrary]" height="16" width="16">Basis</a> Library] to be equal to <tt>Word64.word</tt> and <tt>Word64:WORD</tt>, respectively. Similarly, <tt>-default-type intinf</tt> causes the top-level type <tt>int</tt> and the top-level structure <tt>Int</tt> in the <a href="BasisLibrary">Basis Library</a> to be equal to <tt>IntInf.int</tt> and <tt>IntInf:INTEGER</tt>, respectively.
+ Specify the default binding for a primitive type. For example, <tt>-default-type word64</tt> causes the top-level type <tt>word</tt> and the top-level structure <tt>Word</tt> in the <a href="BasisLibrary">Basis Library</a> to be equal to <tt>Word64.word</tt> and <tt>Word64:WORD</tt>, respectively. Similarly, <tt>-default-type intinf</tt> causes the top-level type <tt>int</tt> and the top-level structure <tt>Int</tt> in the <a href="BasisLibrary">Basis Library</a> to be equal to <tt>IntInf.int</tt> and <tt>IntInf:INTEGER</tt>, respectively.
</ul>
@@ -197,7 +197,7 @@
<li class="gap">
<p>
- <tt>-ieee-fp {false|true} </tt>
+ <tt>-ieee-fp </tt>{false|true}
</p>
</li>
@@ -221,7 +221,7 @@
<li class="gap">
<p>
- <tt>-keep {g|o|sml} </tt>
+ <tt>-keep {g|o|sml}</tt>
</p>
</li>
@@ -292,7 +292,7 @@
<li class="gap">
<p>
- <tt>-profile {no|alloc|count|time} </tt>
+ <tt>-profile {no|alloc|count|time}</tt>
</p>
</li>
@@ -304,7 +304,7 @@
<li class="gap">
<p>
- <tt>-profile-branch {false|true} </tt>
+ <tt>-profile-branch {false|true}</tt>
</p>
</li>
@@ -316,7 +316,7 @@
<li class="gap">
<p>
- <tt>-profile-stack {false|true} </tt>
+ <tt>-profile-stack {false|true}</tt>
</p>
</li>
@@ -328,7 +328,7 @@
<li class="gap">
<p>
- <tt>-profile-val {false|true} </tt>
+ <tt>-profile-val {false|true}</tt>
</p>
</li>
@@ -390,7 +390,7 @@
<li class="gap">
<p>
- <tt>-stop {f|g|o|sml|tc} </tt>
+ <tt>-stop {f|g|o|sml|tc}</tt>
</p>
</li>
@@ -440,7 +440,7 @@
<li class="gap">
<p>
- <tt>-target {self|</tt>...<tt>} </tt>
+ <tt>-target {self|</tt><em>...</em><tt>}</tt>
</p>
</li>
@@ -488,7 +488,7 @@
<li class="gap">
<p>
- <tt>-verbose {0|1|2|3} </tt>
+ <tt>-verbose {0|1|2|3}</tt>
</p>
</li>
@@ -533,5 +533,5 @@
<p>
<hr>
-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>.
+Last edited on 2007-08-13 18:53:50 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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CompilerOverview 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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.
+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.
</p>
</div>
Modified: mlton/trunk/doc/guide/CompilerPassTemplate
===================================================================
--- mlton/trunk/doc/guide/CompilerPassTemplate 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CompilerPassTemplate 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<p>
Relevant details and notes.
</p>
Modified: mlton/trunk/doc/guide/CompilingWithSMLNJ
===================================================================
--- mlton/trunk/doc/guide/CompilingWithSMLNJ 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CompilingWithSMLNJ 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ConcurrentML
===================================================================
--- mlton/trunk/doc/guide/ConcurrentML 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/ConcurrentML 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ConcurrentMLImplementation
===================================================================
--- mlton/trunk/doc/guide/ConcurrentMLImplementation 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/ConcurrentMLImplementation 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/ConstantPropagation
===================================================================
--- mlton/trunk/doc/guide/ConstantPropagation 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/ConstantPropagation 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
</div>
Modified: mlton/trunk/doc/guide/Contact
===================================================================
--- mlton/trunk/doc/guide/Contact 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Contact 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Contify
===================================================================
--- mlton/trunk/doc/guide/Contify 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Contify 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CoreML 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CoreMLSimplify 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-20070809-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-20070813-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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CreatingPages 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Credits
===================================================================
--- mlton/trunk/doc/guide/Credits 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Credits 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/CrossCompiling
===================================================================
--- mlton/trunk/doc/guide/CrossCompiling 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/CrossCompiling 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/DeadCode
===================================================================
--- mlton/trunk/doc/guide/DeadCode 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/DeadCode 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/DeepFlatten 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
</div>
Modified: mlton/trunk/doc/guide/DefineTypeBeforeUse
===================================================================
--- mlton/trunk/doc/guide/DefineTypeBeforeUse 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/DefineTypeBeforeUse 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/DefinitionOfStandardML
===================================================================
--- mlton/trunk/doc/guide/DefinitionOfStandardML 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/DefinitionOfStandardML 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Defunctorize
===================================================================
--- mlton/trunk/doc/guide/Defunctorize 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Defunctorize 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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>
+<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>
<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-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Developers 2007-08-13 23:46:13 UTC (rev 5866)
@@ -32,7 +32,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Development
===================================================================
--- mlton/trunk/doc/guide/Development 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Development 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Documentation
===================================================================
--- mlton/trunk/doc/guide/Documentation 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Documentation 2007-08-13 23:46:13 UTC (rev 5866)
@@ -35,7 +35,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Drawbacks
===================================================================
--- mlton/trunk/doc/guide/Drawbacks 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Drawbacks 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Eclipse
===================================================================
--- mlton/trunk/doc/guide/Eclipse 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Eclipse 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/EditingPages
===================================================================
--- mlton/trunk/doc/guide/EditingPages 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/EditingPages 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</a>
<td style = "
border: 0px;
font-size: 150%;
Modified: mlton/trunk/doc/guide/Elaborate
===================================================================
--- mlton/trunk/doc/guide/Elaborate 2007-08-13 23:22:53 UTC (rev 5865)
+++ mlton/trunk/doc/guide/Elaborate 2007-08-13 23:46:13 UTC (rev 5866)
@@ -31,7 +31,7 @@
color: darkblue;
font-size: 150%;
text-align: left;">
- <a class = mltona href="Home">MLton 20070809</a>
+ <a class = mltona href="Home">MLton 20070813</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-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/viewsvn.cgi/mlton/tags/on-20070809-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-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/tru
More information about the MLton-commit
mailing list