[MLton-commit] r7180
Matthew Fluet
fluet at mlton.org
Fri Jun 19 09:45:42 PDT 2009
Ran grab-wiki; the Index/TitleIndex may have been due to moving the wiki on mlton.org on 20071118.
----------------------------------------------------------------------
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/Bugs20070826
A mlton/trunk/doc/guide/Bugs200907XX
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/Changelog
U mlton/trunk/doc/guide/ChrisClearwater
U mlton/trunk/doc/guide/Chunkify
U mlton/trunk/doc/guide/Closure
U mlton/trunk/doc/guide/ClosureConvert
U mlton/trunk/doc/guide/CommonArg
U mlton/trunk/doc/guide/CommonBlock
U mlton/trunk/doc/guide/CommonSubexp
U mlton/trunk/doc/guide/CompilationManager
U mlton/trunk/doc/guide/CompileTimeOptions
U mlton/trunk/doc/guide/CompilerOverview
U mlton/trunk/doc/guide/CompilerPassTemplate
U mlton/trunk/doc/guide/CompilingWithSMLNJ
U mlton/trunk/doc/guide/ConcurrentML
U mlton/trunk/doc/guide/ConcurrentMLImplementation
U mlton/trunk/doc/guide/ConstantPropagation
U mlton/trunk/doc/guide/Contact
U mlton/trunk/doc/guide/Contify
U mlton/trunk/doc/guide/CoreML
U mlton/trunk/doc/guide/CoreMLSimplify
U mlton/trunk/doc/guide/CreatingPages
U mlton/trunk/doc/guide/Credits
U mlton/trunk/doc/guide/CrossCompiling
U mlton/trunk/doc/guide/DeadCode
U mlton/trunk/doc/guide/DeepFlatten
U mlton/trunk/doc/guide/DefineTypeBeforeUse
U mlton/trunk/doc/guide/DefinitionOfStandardML
U mlton/trunk/doc/guide/Defunctorize
U mlton/trunk/doc/guide/Developers
U mlton/trunk/doc/guide/Development
U mlton/trunk/doc/guide/Documentation
U mlton/trunk/doc/guide/Drawbacks
U mlton/trunk/doc/guide/Eclipse
U mlton/trunk/doc/guide/EditingPages
U mlton/trunk/doc/guide/Elaborate
U mlton/trunk/doc/guide/Emacs
U mlton/trunk/doc/guide/EmacsBgBuildMode
U mlton/trunk/doc/guide/EmacsDefUseMode
U mlton/trunk/doc/guide/Enscript
U mlton/trunk/doc/guide/EqualityType
U mlton/trunk/doc/guide/EqualityTypeVariable
U mlton/trunk/doc/guide/EtaExpansion
U mlton/trunk/doc/guide/FAQ
U mlton/trunk/doc/guide/Features
U mlton/trunk/doc/guide/FirstClassPolymorphism
U mlton/trunk/doc/guide/Fixpoints
U mlton/trunk/doc/guide/Flatten
U mlton/trunk/doc/guide/Fold
U mlton/trunk/doc/guide/Fold01N
U mlton/trunk/doc/guide/ForLoops
U mlton/trunk/doc/guide/ForeignFunctionInterface
U mlton/trunk/doc/guide/ForeignFunctionInterfaceSyntax
U mlton/trunk/doc/guide/ForeignFunctionInterfaceTypes
U mlton/trunk/doc/guide/FrontEnd
U mlton/trunk/doc/guide/FunctionalRecordUpdate
U mlton/trunk/doc/guide/GarbageCollection
U mlton/trunk/doc/guide/GenerativeDatatype
U mlton/trunk/doc/guide/GenerativeException
U mlton/trunk/doc/guide/Glade
U mlton/trunk/doc/guide/Globalize
U mlton/trunk/doc/guide/GnuMP
U mlton/trunk/doc/guide/HaMLet
U mlton/trunk/doc/guide/HenryCejtin
U mlton/trunk/doc/guide/History
U mlton/trunk/doc/guide/Home
U mlton/trunk/doc/guide/HowProfilingWorks
U mlton/trunk/doc/guide/HowToAttachFile
U mlton/trunk/doc/guide/Identifier
U mlton/trunk/doc/guide/Immutable
U mlton/trunk/doc/guide/ImperativeTypeVariable
U mlton/trunk/doc/guide/ImplementExceptions
U mlton/trunk/doc/guide/ImplementHandlers
U mlton/trunk/doc/guide/ImplementProfiling
U mlton/trunk/doc/guide/ImplementSuffix
U mlton/trunk/doc/guide/Index
U mlton/trunk/doc/guide/InfixingOperators
U mlton/trunk/doc/guide/Inline
U mlton/trunk/doc/guide/InsertLimitChecks
U mlton/trunk/doc/guide/InsertSignalChecks
U mlton/trunk/doc/guide/Installation
U mlton/trunk/doc/guide/IntermediateLanguage
U mlton/trunk/doc/guide/IntroduceLoops
U mlton/trunk/doc/guide/JesperLouisAndersen
U mlton/trunk/doc/guide/JohnnyAndersen
U mlton/trunk/doc/guide/KnownCase
U mlton/trunk/doc/guide/LLVM
U mlton/trunk/doc/guide/LambdaCalculus
U mlton/trunk/doc/guide/LambdaFree
U mlton/trunk/doc/guide/LanguageChanges
U mlton/trunk/doc/guide/Lazy
U mlton/trunk/doc/guide/Libraries
A mlton/trunk/doc/guide/LibrarySupport
U mlton/trunk/doc/guide/License
U mlton/trunk/doc/guide/LineDirective
U mlton/trunk/doc/guide/LocalFlatten
U mlton/trunk/doc/guide/LocalRef
U mlton/trunk/doc/guide/LoopInvariant
U mlton/trunk/doc/guide/ML
U mlton/trunk/doc/guide/MLBasis
U mlton/trunk/doc/guide/MLBasisAnnotationExamples
U mlton/trunk/doc/guide/MLBasisAnnotations
U mlton/trunk/doc/guide/MLBasisAvailableLibraries
U mlton/trunk/doc/guide/MLBasisExamples
U mlton/trunk/doc/guide/MLBasisPathMap
U mlton/trunk/doc/guide/MLBasisSyntaxAndSemantics
U mlton/trunk/doc/guide/MLKit
U mlton/trunk/doc/guide/MLNLFFI
U mlton/trunk/doc/guide/MLNLFFIImplementation
U mlton/trunk/doc/guide/MLRISCLibrary
U mlton/trunk/doc/guide/MLTONWIKIVERSION
U mlton/trunk/doc/guide/MLj
U mlton/trunk/doc/guide/MLmon
U mlton/trunk/doc/guide/MLtonArray
U mlton/trunk/doc/guide/MLtonBinIO
U mlton/trunk/doc/guide/MLtonCont
A mlton/trunk/doc/guide/MLtonContIsolateImplementation
U mlton/trunk/doc/guide/MLtonExn
U mlton/trunk/doc/guide/MLtonFinalizable
U mlton/trunk/doc/guide/MLtonGC
U mlton/trunk/doc/guide/MLtonIO
U mlton/trunk/doc/guide/MLtonIntInf
U mlton/trunk/doc/guide/MLtonItimer
U mlton/trunk/doc/guide/MLtonMonoArray
U mlton/trunk/doc/guide/MLtonMonoVector
U mlton/trunk/doc/guide/MLtonPlatform
U mlton/trunk/doc/guide/MLtonPointer
U mlton/trunk/doc/guide/MLtonProcEnv
U mlton/trunk/doc/guide/MLtonProcess
U mlton/trunk/doc/guide/MLtonProfile
U mlton/trunk/doc/guide/MLtonRandom
U mlton/trunk/doc/guide/MLtonReal
U mlton/trunk/doc/guide/MLtonRlimit
U mlton/trunk/doc/guide/MLtonRusage
U mlton/trunk/doc/guide/MLtonSignal
U mlton/trunk/doc/guide/MLtonSocket
U mlton/trunk/doc/guide/MLtonStructure
U mlton/trunk/doc/guide/MLtonSyslog
U mlton/trunk/doc/guide/MLtonTextIO
U mlton/trunk/doc/guide/MLtonThread
U mlton/trunk/doc/guide/MLtonVector
U mlton/trunk/doc/guide/MLtonWeak
U mlton/trunk/doc/guide/MLtonWord
U mlton/trunk/doc/guide/MLtonWorld
U mlton/trunk/doc/guide/Machine
U mlton/trunk/doc/guide/ManualPage
U mlton/trunk/doc/guide/MatchCompilation
U mlton/trunk/doc/guide/MatchCompile
U mlton/trunk/doc/guide/MatthewFluet
U mlton/trunk/doc/guide/MichaelNorrish
U mlton/trunk/doc/guide/MikeThomas
U mlton/trunk/doc/guide/MoinMoin
U mlton/trunk/doc/guide/Monomorphise
U mlton/trunk/doc/guide/MoscowML
U mlton/trunk/doc/guide/Multi
U mlton/trunk/doc/guide/Mutable
A mlton/trunk/doc/guide/NeedsReview
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/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/Release20041109
U mlton/trunk/doc/guide/Release20051202
U mlton/trunk/doc/guide/Release20070826
A mlton/trunk/doc/guide/Release200907XX
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
A mlton/trunk/doc/guide/RunningOnIA64
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
A mlton/trunk/doc/guide/RunningOnPowerPC64
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
A mlton/trunk/doc/guide/StaticSum
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
D mlton/trunk/doc/guide/Survey
D 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
A mlton/trunk/doc/guide/TitleIndex
U mlton/trunk/doc/guide/ToMachine
U mlton/trunk/doc/guide/ToRSSA
U mlton/trunk/doc/guide/ToSSA2
U mlton/trunk/doc/guide/TomMurphy
U mlton/trunk/doc/guide/TrustedGroup
U mlton/trunk/doc/guide/TypeChecking
U mlton/trunk/doc/guide/TypeConstructor
U mlton/trunk/doc/guide/TypeIndexedValues
U mlton/trunk/doc/guide/TypeVariableScope
U mlton/trunk/doc/guide/Unicode
U mlton/trunk/doc/guide/UniversalType
U mlton/trunk/doc/guide/UnresolvedBugs
U mlton/trunk/doc/guide/UnsafeStructure
U mlton/trunk/doc/guide/Useless
U mlton/trunk/doc/guide/Users
U mlton/trunk/doc/guide/Utilities
U mlton/trunk/doc/guide/ValueRestriction
U mlton/trunk/doc/guide/VariableArityPolymorphism
U mlton/trunk/doc/guide/Variant
U mlton/trunk/doc/guide/VesaKarvonen
U mlton/trunk/doc/guide/WantedPages
A mlton/trunk/doc/guide/WarnUnusedAnomalies
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 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/AST 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/AccessControl
===================================================================
--- mlton/trunk/doc/guide/AccessControl 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/AccessControl 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/AdamGoode
===================================================================
--- mlton/trunk/doc/guide/AdamGoode 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/AdamGoode 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,15 +51,30 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
-I maintain the Fedora package of MLton, in <a class="external" href="http://fedoraproject.org/wiki/Extras"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Fedora Extras</a>. </div>
+ <ul>
+ <li>
+<p>
+ I maintain the Fedora package of MLton, in <a class="external" href="https://admin.fedoraproject.org/pkgdb/packages/name/mlton"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Fedora</a>.
+</p>
+</li>
+ <li>
+<p>
+ I have contributed some patches for Makefiles and PDF documentation building.
+</p>
+</li>
+</ul>
+</div>
+
+
+
<p>
<hr>
-Last edited on 2006-12-03 04:04:02 by <span title="pool-72-77-83-84.pitbpa.fios.verizon.net"><a href="AdamGoode">AdamGoode</a></span>.
+Last edited on 2007-09-19 00:57:59 by <span title="pool-71-182-143-22.pitbpa.fios.verizon.net"><a href="AdamGoode">AdamGoode</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/AdmitsEquality
===================================================================
--- mlton/trunk/doc/guide/AdmitsEquality 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/AdmitsEquality 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/Alice
===================================================================
--- mlton/trunk/doc/guide/Alice 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/Alice 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,15 +51,15 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
-<a class="external" href="http://www.ps.uni-sb.de/alice/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Alice</a> is an extension of SML with concurrency, distribution, and constraint solving. </div>
+<a class="external" href="http://www.ps.uni-sb.de/alice/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Alice ML</a> is an extension of SML with concurrency, dynamic typing, components, distribution, and constraint solving. </div>
<p>
<hr>
-Last edited on 2004-12-28 19:46:32 by <span title="adsl-64-166-225-13.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
+Last edited on 2007-11-08 17:42:55 by <span title="128.135.191.174">AndreasRossberg</span>.
</body></html>
Modified: mlton/trunk/doc/guide/AllocateRegisters
===================================================================
--- mlton/trunk/doc/guide/AllocateRegisters 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/AllocateRegisters 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/AndreiFormiga
===================================================================
--- mlton/trunk/doc/guide/AndreiFormiga 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/AndreiFormiga 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/ArrayLiteral
===================================================================
--- mlton/trunk/doc/guide/ArrayLiteral 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/ArrayLiteral 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/BasisLibrary
===================================================================
--- mlton/trunk/doc/guide/BasisLibrary 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/BasisLibrary 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/Bug
===================================================================
--- mlton/trunk/doc/guide/Bug 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/Bug 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/Bugs20041109
===================================================================
--- mlton/trunk/doc/guide/Bugs20041109 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/Bugs20041109 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/Bugs20051202
===================================================================
--- mlton/trunk/doc/guide/Bugs20051202 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/Bugs20051202 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/Bugs20070826
===================================================================
--- mlton/trunk/doc/guide/Bugs20070826 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/Bugs20070826 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,18 +51,298 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Here are the known bugs in <a href="Release20070826">MLton 20070826</a>, listed in reverse chronological order of date reported. <p>
+<a id="19"></a>
+</p>
+ <ul>
+
+ <li>
+<p>
+ Bug in <tt>IntInf.~>></tt> that could cause a <tt>glibc</tt> assertion. Fixed by revisions <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=7083&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">7083</a>, <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=7084&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">7084</a>, and <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=7085&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">7085</a>.
</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="18"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the return type of <tt>MLton.Process.reap</tt>. Thanks to Risto Saarelma for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=7029&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">7029</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="17"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in <tt>MLton.size</tt> and <tt>MLton.share</tt> when tracing the current stack. Fixed by revisions <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6978&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6978</a>, <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6981&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6981</a>, <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6988&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6988</a>, <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6989&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6989</a>, and <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6990&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6990</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="16"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in nested <tt>_export</tt>/<tt>_import</tt> functions. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6919&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6919</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="15"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the name mangling of <tt>_import</tt>-ed functions with the <tt>stdcall</tt> convention. Thanks to Lars Bergstrom for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6672&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6672</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="14"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in Windows code to page the heap to disk when unable to grow the heap to a desired size. Thanks to Sami Evangelista for the bug report. Fixed by revisions <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6600&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6600</a> and <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6624&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6624</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="13"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in *NIX code to page the heap to disk when unable to grow the heap to a desired size. Thanks to Nicolas Bertolotti for the bug report and patch. Fixed by revisions <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6596&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6596</a> and <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6600&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6600</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="12"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Space-safety bug in pass to flatten refs into containing data structure. Thanks to Daniel Spoonhower for the bug report and initial diagnosis and patch. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6395&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6395</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="11"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the frontend that rejected <tt>op longvid</tt> patterns and expressions. Thanks to Florian Weimer for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6347&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6347</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="10"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the <a class="external" href="http://mlton.org/basis/imperative-io.html#SIG:IMPERATIVE_IO.canInput:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">IMPERATIVE_IO.canInput</a> function of the <a href="BasisLibrary">Basis Library</a> implementation. Thanks to Ville Laurikari for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6261&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6261</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="9"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in algebraic simplification of real primitives. <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.\|@LTE\|:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real<N>.<=(x, x)</a> is <tt>false</tt> when <tt>x</tt> is NaN. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6242&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6242</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="8"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the FFI visible representation of <tt>Int16.int ref</tt> (and references of other primitive types smaller than 32-bits) on big-endian platforms. Thanks to Dave Herman for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6267&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6267</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="7"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in type inference of flexible records. This would later cause the compiler to raise the <tt>TypeError</tt> exception. Thanks to Wesley Terpstra for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6229&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6229</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="6"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in cross-compilation of <tt>gdtoa</tt> library. Thanks to Wesley Terpstra for the bug report and patch. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6620&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6620</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="5"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in pass to flatten refs into containing data structure. Thanks to Ruy Ley-Wild for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6191&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6191</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="4"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the handling of weak pointers by the mark-compact garbage collector. Thanks to Sean McLaughlin for the bug report and Florian Weimer for the initial diagnosis. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6183&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6183</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="3"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the elaboration of structures with signature constraints. This would later cause the compiler to raise the <tt>TypeError</tt> exception. Thanks to Vesa Karvonen for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6046&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6046</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="2"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the interaction of <tt>_export</tt>-ed functions and signal handlers. Thanks to Sean McLaughlin for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=6013&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">6013</a>.
+</p>
+</li>
+
+ </ul>
+
+
+<p>
+<a id="1"></a>
+</p>
+
+ <ul>
+
+ <li>
+<p>
+ Bug in the implementation of <tt>_export</tt>-ed functions using the <tt>char</tt> type, leading to a linker error. Thanks to Katsuhiro Ueno for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5999&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5999</a>.
+</p>
+</li>
+</ul>
+
</div>
<p>
<hr>
-Last edited on 2007-08-26 19:54:52 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2009-04-19 02:30:07 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Added: mlton/trunk/doc/guide/Bugs200907XX
===================================================================
--- mlton/trunk/doc/guide/Bugs200907XX 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/Bugs200907XX 2009-06-19 16:45:28 UTC (rev 7180)
@@ -0,0 +1,65 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+<meta name="robots" content="index,nofollow">
+
+
+
+<title>Bugs200907XX - MLton Standard ML Compiler (SML Compiler)</title>
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
+<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
+
+
+<link rel="Start" href="Home">
+
+
+</head>
+
+<body lang="en" dir="ltr">
+
+<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
+</script>
+<script type="text/javascript">
+_uacct = "UA-833377-1";
+urchinTracker();
+</script>
+<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
+ <tr>
+ <td style = "
+ border: 0px;
+ color: darkblue;
+ font-size: 150%;
+ text-align: left;">
+ <a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
+ <td style = "
+ border: 0px;
+ font-size: 150%;
+ text-align: center;
+ width: 50%;">
+ Bugs200907XX
+ <td style = "
+ border: 0px;
+ text-align: right;">
+ <table cellspacing = 0 style = "border: 0px">
+ <tr style = "vertical-align: middle;">
+ </table>
+ <tr style = "background-color: white;">
+ <td colspan = 3
+ style = "
+ border: 0px;
+ font-size:70%;
+ text-align: right;">
+ <a href = "Home">Home</a>
+ <a href = "TitleIndex">Index</a>
+
+</table>
+<div id="content" lang="en" dir="ltr">
+Here are the known bugs in <a href="Release20070826">MLton 20070826</a>, listed in reverse chronological order of date reported. </div>
+
+
+
+<p>
+<hr>
+Last edited on 2009-06-19 14:50:24 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 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/CKitLibrary 2009-06-19 16:45:28 UTC (rev 7180)
@@ -53,12 +53,12 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</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 20070812, MLton includes a port of the ckit Library synchronized with SML/NJ version 110.65.
+As of 20090618, MLton includes a port of the ckit Library synchronized with SML/NJ version 110.70.
</p>
<h2 id="head-0bb18642b70b9f8a9c12ccf39487328f306b8e19">Usage</h2>
@@ -180,5 +180,5 @@
<p>
<hr>
-Last edited on 2007-08-23 17:24:41 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
+Last edited on 2009-06-18 21:17:48 by <span title="c-67-165-143-160.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
Modified: mlton/trunk/doc/guide/CMinusMinus
===================================================================
--- mlton/trunk/doc/guide/CMinusMinus 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/CMinusMinus 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/CallGraph
===================================================================
--- mlton/trunk/doc/guide/CallGraph 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/CallGraph 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Modified: mlton/trunk/doc/guide/CallingFromCToSML
===================================================================
--- mlton/trunk/doc/guide/CallingFromCToSML 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/CallingFromCToSML 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
@@ -88,31 +88,31 @@
(print (concat [<B><FONT COLOR="#BC8F8F">"i = "</FONT></B>, Int.toString i,
<B><FONT COLOR="#BC8F8F">" r = "</FONT></B>, Real.toString r, <B><FONT COLOR="#BC8F8F">"\n"</FONT></B>])
; #<B><FONT COLOR="#BC8F8F">"g"</FONT></B>))
-<B><FONT COLOR="#A020F0">val</FONT></B> g = _import <B><FONT COLOR="#BC8F8F">"g"</FONT></B>: unit -> unit;
+<B><FONT COLOR="#A020F0">val</FONT></B> g = _import <B><FONT COLOR="#BC8F8F">"g"</FONT></B> public: unit -> unit;
<B><FONT COLOR="#A020F0">val</FONT></B> _ = g ()
<B><FONT COLOR="#A020F0">val</FONT></B> _ = g ()
<B><FONT COLOR="#A020F0">val</FONT></B> e = _export <B><FONT COLOR="#BC8F8F">"f2"</FONT></B>: (Word8.word -> word array) -> unit;
<B><FONT COLOR="#A020F0">val</FONT></B> _ = e (<B><FONT COLOR="#A020F0">fn</FONT></B> w =>
Array.tabulate (<B><FONT COLOR="#5F9EA0">10</FONT></B>, <B><FONT COLOR="#A020F0">fn</FONT></B> _ => Word.fromLargeWord (Word8.toLargeWord w)))
-<B><FONT COLOR="#A020F0">val</FONT></B> g2 = _import <B><FONT COLOR="#BC8F8F">"g2"</FONT></B>: unit -> word array;
+<B><FONT COLOR="#A020F0">val</FONT></B> g2 = _import <B><FONT COLOR="#BC8F8F">"g2"</FONT></B> public: unit -> word array;
<B><FONT COLOR="#A020F0">val</FONT></B> a = g2 ()
<B><FONT COLOR="#A020F0">val</FONT></B> _ = print (concat [<B><FONT COLOR="#BC8F8F">"0wx"</FONT></B>, Word.toString (Array.sub (a, <B><FONT COLOR="#5F9EA0">0</FONT></B>)), <B><FONT COLOR="#BC8F8F">"\n"</FONT></B>])
<B><FONT COLOR="#A020F0">val</FONT></B> e = _export <B><FONT COLOR="#BC8F8F">"f3"</FONT></B>: (unit -> unit) -> unit;
<B><FONT COLOR="#A020F0">val</FONT></B> _ = e (<B><FONT COLOR="#A020F0">fn</FONT></B> () => print <B><FONT COLOR="#BC8F8F">"hello\n"</FONT></B>);
-<B><FONT COLOR="#A020F0">val</FONT></B> g3 = _import <B><FONT COLOR="#BC8F8F">"g3"</FONT></B>: unit -> unit;
+<B><FONT COLOR="#A020F0">val</FONT></B> g3 = _import <B><FONT COLOR="#BC8F8F">"g3"</FONT></B> public: unit -> unit;
<B><FONT COLOR="#A020F0">val</FONT></B> _ = g3 ()
<I><FONT COLOR="#B22222">(* This example demonstrates mutual recursion between C and SML. *)</FONT></I>
<B><FONT COLOR="#A020F0">val</FONT></B> e = _export <B><FONT COLOR="#BC8F8F">"f4"</FONT></B>: (int -> unit) -> unit;
-<B><FONT COLOR="#A020F0">val</FONT></B> g4 = _import <B><FONT COLOR="#BC8F8F">"g4"</FONT></B>: int -> unit;
+<B><FONT COLOR="#A020F0">val</FONT></B> g4 = _import <B><FONT COLOR="#BC8F8F">"g4"</FONT></B> public: int -> unit;
<B><FONT COLOR="#A020F0">val</FONT></B> _ = e (<B><FONT COLOR="#A020F0">fn</FONT></B> i => <B><FONT COLOR="#A020F0">if</FONT></B> i = <B><FONT COLOR="#5F9EA0">0</FONT></B> <B><FONT COLOR="#A020F0">then</FONT></B> () <B><FONT COLOR="#A020F0">else</FONT></B> g4 (i - <B><FONT COLOR="#5F9EA0">1</FONT></B>))
<B><FONT COLOR="#A020F0">val</FONT></B> _ = g4 <B><FONT COLOR="#5F9EA0">13</FONT></B>
<B><FONT COLOR="#A020F0">val</FONT></B> (_, zzzSet) = _symbol <B><FONT COLOR="#BC8F8F">"zzz"</FONT></B> alloc: (unit -> int) * (int -> unit);
<B><FONT COLOR="#A020F0">val</FONT></B> () = zzzSet <B><FONT COLOR="#5F9EA0">42</FONT></B>
-<B><FONT COLOR="#A020F0">val</FONT></B> g5 = _import <B><FONT COLOR="#BC8F8F">"g5"</FONT></B>: unit -> unit;
+<B><FONT COLOR="#A020F0">val</FONT></B> g5 = _import <B><FONT COLOR="#BC8F8F">"g5"</FONT></B> public: unit -> unit;
<B><FONT COLOR="#A020F0">val</FONT></B> _ = g5 ()
<B><FONT COLOR="#A020F0">val</FONT></B> _ = print <B><FONT COLOR="#BC8F8F">"success\n"</FONT></B>
@@ -144,6 +144,7 @@
<pre class=code>#<B><FONT COLOR="#5F9EA0">include</FONT></B> <B><FONT COLOR="#BC8F8F"><stdio.h></FONT></B>
#<B><FONT COLOR="#5F9EA0">include</FONT></B> <B><FONT COLOR="#BC8F8F">"export.h"</FONT></B>
+<I><FONT COLOR="#B22222">/* Functions in C are by default PUBLIC symbols */</FONT></I>
<B><FONT COLOR="#228B22">void</FONT></B> <B><FONT COLOR="#0000FF">g</FONT></B> () {
Char8 c;
Modified: mlton/trunk/doc/guide/CallingFromSMLToC
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToC 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/CallingFromSMLToC 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
@@ -75,23 +75,25 @@
<pre class=code><I><FONT COLOR="#B22222">(* main.sml *)</FONT></I>
<I><FONT COLOR="#B22222">(* Declare ffi to be implemented by calling the C function ffi. *)</FONT></I>
-<B><FONT COLOR="#A020F0">val</FONT></B> ffi = _import <B><FONT COLOR="#BC8F8F">"ffi"</FONT></B>: real array * int ref * int -> char;
+<B><FONT COLOR="#A020F0">val</FONT></B> ffi = _import <B><FONT COLOR="#BC8F8F">"ffi"</FONT></B> public: real array * int * int ref * char ref * int -> char;
<B><FONT COLOR="#0000FF">open</FONT></B> Array
<B><FONT COLOR="#A020F0">val</FONT></B> size = <B><FONT COLOR="#5F9EA0">10</FONT></B>
<B><FONT COLOR="#A020F0">val</FONT></B> a = tabulate (size, <B><FONT COLOR="#A020F0">fn</FONT></B> i => real i)
-<B><FONT COLOR="#A020F0">val</FONT></B> r = ref <B><FONT COLOR="#5F9EA0">0</FONT></B>
+<B><FONT COLOR="#A020F0">val</FONT></B> ri = ref <B><FONT COLOR="#5F9EA0">0</FONT></B>
+<B><FONT COLOR="#A020F0">val</FONT></B> rc = ref #<B><FONT COLOR="#BC8F8F">"0"</FONT></B>
<B><FONT COLOR="#A020F0">val</FONT></B> n = <B><FONT COLOR="#5F9EA0">17</FONT></B>
<I><FONT COLOR="#B22222">(* Call the C function *)</FONT></I>
-<B><FONT COLOR="#A020F0">val</FONT></B> c = ffi (a, r, n)
+<B><FONT COLOR="#A020F0">val</FONT></B> c = ffi (a, Array.length a, ri, rc, n)
-<B><FONT COLOR="#A020F0">val</FONT></B> (nGet, nSet) = _symbol <B><FONT COLOR="#BC8F8F">"FFI_INT"</FONT></B>: (unit -> int) * (int -> unit);
+<I><FONT COLOR="#B22222">(* FFI_INT is declared as public in ffi-import.c *)</FONT></I>
+<B><FONT COLOR="#A020F0">val</FONT></B> (nGet, nSet) = _symbol <B><FONT COLOR="#BC8F8F">"FFI_INT"</FONT></B> public: (unit -> int) * (int -> unit);
<B><FONT COLOR="#A020F0">val</FONT></B> _ = print (concat [Int.toString (nGet ()), <B><FONT COLOR="#BC8F8F">"\n"</FONT></B>])
<B><FONT COLOR="#A020F0">val</FONT></B> _ =
- print (<B><FONT COLOR="#A020F0">if</FONT></B> c = #<B><FONT COLOR="#BC8F8F">"c"</FONT></B> <B><FONT COLOR="#A020F0">andalso</FONT></B> !r = <B><FONT COLOR="#5F9EA0">45</FONT></B>
+ print (<B><FONT COLOR="#A020F0">if</FONT></B> c = #<B><FONT COLOR="#BC8F8F">"c"</FONT></B> <B><FONT COLOR="#A020F0">andalso</FONT></B> !ri = <B><FONT COLOR="#5F9EA0">45</FONT></B> <B><FONT COLOR="#A020F0">andalso</FONT></B> !rc = c
<B><FONT COLOR="#A020F0">then</FONT></B> <B><FONT COLOR="#BC8F8F">"success\n"</FONT></B>
<B><FONT COLOR="#A020F0">else</FONT></B> <B><FONT COLOR="#BC8F8F">"fail\n"</FONT></B>)
</PRE>
@@ -101,25 +103,27 @@
<tt>ffi-import.c</tt> is
</p>
<p>
-<pre class=code>#<B><FONT COLOR="#5F9EA0">include</FONT></B> <B><FONT COLOR="#BC8F8F">"platform.h"</FONT></B>
+<pre class=code>#<B><FONT COLOR="#5F9EA0">include</FONT></B> <B><FONT COLOR="#BC8F8F">"export.h"</FONT></B>
Int32 FFI_INT = 13;
Word32 FFI_WORD = 0xFF;
-Bool FFI_BOOL = TRUE;
+Bool FFI_BOOL = 1;
Real64 FFI_REAL = 3.14159;
-Char8 <B><FONT COLOR="#0000FF">ffi</FONT></B> (Pointer a1, Pointer a2, Int32 n) {
+Char8 <B><FONT COLOR="#0000FF">ffi</FONT></B> (Pointer a1, Int32 a1len, Pointer a2, Pointer a3, Int32 n) {
<B><FONT COLOR="#228B22">double</FONT></B> *ds = (<B><FONT COLOR="#228B22">double</FONT></B>*)a1;
- <B><FONT COLOR="#228B22">int</FONT></B> *p = (<B><FONT COLOR="#228B22">int</FONT></B>*)a2;
+ <B><FONT COLOR="#228B22">int</FONT></B> *pi = (<B><FONT COLOR="#228B22">int</FONT></B>*)a2;
+ <B><FONT COLOR="#228B22">char</FONT></B> *pc = (<B><FONT COLOR="#228B22">char</FONT></B>*)a3;
<B><FONT COLOR="#228B22">int</FONT></B> i;
<B><FONT COLOR="#228B22">double</FONT></B> sum;
sum = 0.0;
- <B><FONT COLOR="#A020F0">for</FONT></B> (i = 0; i < GC_getArrayLength (a1); ++i) {
+ <B><FONT COLOR="#A020F0">for</FONT></B> (i = 0; i < a1len; ++i) {
sum += ds[i];
ds[i] += n;
}
- *p = (<B><FONT COLOR="#228B22">int</FONT></B>)sum;
+ *pi = (<B><FONT COLOR="#228B22">int</FONT></B>)sum;
+ *pc = <B><FONT COLOR="#BC8F8F">'c'</FONT></B>;
<B><FONT COLOR="#A020F0">return</FONT></B> <B><FONT COLOR="#BC8F8F">'c'</FONT></B>;
}
</PRE>
Modified: mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,7 +51,7 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
@@ -94,6 +94,9 @@
</FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> mode </FONT></B>=<B><FONT COLOR="#228B22"> Word32.word
</FONT></B><B><FONT COLOR="#A020F0">type</FONT></B><B><FONT COLOR="#228B22"> fptr </FONT></B>=<B><FONT COLOR="#228B22"> MLton.Pointer.t
+ <I><FONT COLOR="#B22222">(* These symbols come from a system libray, so the default import scope
+ * of external is correct.
+ *)</FONT></I>
</FONT></B><B><FONT COLOR="#A020F0">val</FONT></B> dlopen =
_import <B><FONT COLOR="#BC8F8F">"dlopen"</FONT></B> : string * mode -> hndl;
<B><FONT COLOR="#A020F0">val</FONT></B> dlerror =
Modified: mlton/trunk/doc/guide/Changelog
===================================================================
--- mlton/trunk/doc/guide/Changelog 2009-06-19 15:27:22 UTC (rev 7179)
+++ mlton/trunk/doc/guide/Changelog 2009-06-19 16:45:28 UTC (rev 7180)
@@ -51,13 +51,268 @@
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
- <a href = "Index">Index</a>
+ <a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
-<pre class=code>Here are the changes from version 20051202 to version 200708??.
+<pre class=code>Here are the changes from version 20070826 to version YYYYMMDD.
Summary:
+ + New platforms.
+ o ia64-hpux
+ o powerpc64-aix
+ + Compiler.
+ o Command-line switches.
+ * Added: -mlb-path-var '<name> <value>'
+ * Removed: -keep sml, -stop sml
+ o Improved constant folding of floating-point operations.
+ o Experimental: Support for compiling to a C library; see wiki
+ documentation.
+ o Extended -show-def-use output to include types of variable
+ definitions.
+ o Deprecated features (to be removed in a future release)
+ * Bytecode codegen: The bytecode codegen has not seen significant
+ use and it is not well understood by any of the active
+ developers.
+ * Support for .cm files as input: The ML Basis system provides
+ much better infrastructure for "programming in the very large"
+ than the (very) limited support for CM. The cm2mlb tool
+ (available in the source distribution) can be used to convert
+ CM projects to MLB projects, preserving the CM scoping of
+ module identifiers.
+ o Bug fixes: see changelog
+ + Runtime.
+ o @MLton switches.
+ * Added: may-page-heap {false|true}
+ o may-page-heap: By default, MLton will not page the heap to disk
+ when unable to grow the heap to accomodate an allocation.
+ (Previously, this behavior was the default, with no means to
+ disable, with security an least-surprise issues.)
+ o Bug fixes: see changelog
+ + Language.
+ o Allow numeric characters in ML Basis path variables.
+ + Libraries.
+ o Basis Library.
+ * Bug fixes: see changelog.
+ o MLton structure.
+ * Added: MLton.equal, MLton.hash, MLton.Cont.isolate,
+ MLton.GC.Statistics, MLton.Pointer.sizeofPointer,
+ MLton.Socket.Address.toVector
+ * Changed:
+ * Deprecated: MLton.Socket
+ o Unsafe structure.
+ * Added versions of all of the monomorphic array and vector
+ structures.
+ o Other libraries.
+ * Updated: ckit library, MLRISC library, SML/NJ library.
+ + Tools.
+ o mllex
+ * Eliminated top-level 'type int = Int.int' in output.
+ * Include (*#line line:col "file.lex" *) directives in output.
+ * Added %posint command, to set the yypos type and allow the
+ lexing of multi-gigabyte files.
+ o mlnlffigen
+ * Added command-line switches -linkage archive and -linkage shared.
+ * Deprecated command-line switch -linkage static.
+ * Added support for ia64 and hppa targets.
+ o mlyacc
+ * Eliminated top-level 'type int = Int.int' in output.
+ * Include (*#line line:col "file.grm" *) directives in output.
+
+* 2009-06-09
+ - Removed deprecated command line switch -show-anns {false, true}.
+
+* 2009-04-18
+ - Removed command line switches -keep sml and -stop sml. Their
+ meaning was unclear with .mlb files; their effect with .cm files
+ can be achieved with -stop f.
+
+* 2009-04-16
+ - Fixed bug in IntInf.~>> that could cause a glibc assertion
+ failure.
+
+* 2009-04-01
+ - Fixed exported type of MLton.Process.reap.
+
+* 2009-01-27
+ - Added MLton.Socket.Address.toVector to get the network-byte-order
+ representation of an IP address.
+
+* 2008-11-10
+ - Fixed bug in MLton.size and MLton.share when tracing the current
+ stack.
+
+* 2008-10-27
+ - Fixed phantom typing of sockets by hiding the representation of socket
+ types. Previously the representation of sockets was revealed rendering
+ the phantom types useless.
+
+* 2008-10-10
+ - Fixed bug in nexted _export/_import functions.
+
+* 2008-09-12
+ - Improved constant folding of floating point operations.
+
+* 2008-08-20
+ - Store the card/cross map at the end of the allocated ML heap;
+ avoids possible out of memory errors when resizing the ML heap
+ cannot be followed by a card/cross map allocation.
+
+* 2008-07-24
+ - Added support for compiling to a C library. The relevant new compiler
+ options are '-ar' and '-format'. Libraries are named based on the
+ name of the -export-header file. Libraries have two extra methods:
+ * NAME_open(argc, argv) initializes the library and runs the SML code
+ until it reaches the end of the program. If the SML code exits or
+ raises an uncaught exception, the entire program will terminate.
+ * NAME_close() will execute any registered atExit functions, any
+ outstanding finalizers, and frees the ML heap.
+
+* 2008-07-16
+ - Fixed bug in the name mangling of _import-ed functions with the
+ stdcall convention.
+
+* 2008-06-12
+ - Added MLton.Pointer.sizeofPointer.
+
+* 2008-06-06
+ - Added expert command line switch -emit-main {true|false}.
+
+* 2008-05-17
+ - Fixed bug in Windows code to page the heap to disk when unable to
+ grow the heap to a desired size.
+ Thanks to Sami Evangelista for the bug report.
+
+* 2008-05-10
+ - Implemented MLton.Cont.isolate.
+
+* 2008-04-20
+ - Fixed bug in *NIX code to page the heap to disk when unable to
+ grow the heap to a desired size.
+ Thanks to Nicolas Bertolotti for the bug report and patch.
+
+* 2008-04-07
+ - More flexible active/paused stack resizing policy.
+ Removed thread-shrink-ratio runtime option.
+ Added stack-current-grow-ratio, stack-current-max-reserved-ratio,
+ stack-current-permit-ratio, stack-current-shrink-ratio,
+ stack-max-reserved-ratio, and stack-shrink-ratio runtime options.
+
+* 2008-04-07
+ - Fixed bugs in Basis Library where the representations of
+ OS.IO.iodesc, Posix.IO.file_desc, Posix.Signal.signal,
+ Socket.sock, Socket.SOGK.sock_type as integers were exposed.
+
+* 2008-03-14
+ - Added unsafe versions of all of the monomorphic array and vector
+ structures.
+
+* 2008-03-02
+ - Fixed bug in Basis Library where the representation of
+ OS.Process.status as an integer was exposed.
+
+* 2008-02-13
+ - Fixed space-safety bug in pass to flatten refs into containing
+ data structure. Thanks to Daniel Spoonhower for the bug report
+ and initial diagnosis and patch.
+
+* 2008-01-25
+ - Various updates to GC statistics gathering. Some basic GC
+ statistics can be accessed from SML by MLton.GC.Statistics.*
+ functions.
+
+* 2008-01-24
+ - Added primitive (structural) polymorphic hash.
+
+* 2008-01-21
+ - Fixed frontend to accept "op longvid" patterns and expressions.
+ Thanks to Florian Weimer for the bug report.
+
+* 2008-01-17
+ - Extended -show-def-use output to include types of variable
+ definitions.
+
+* 2008-01-09
+ - Extended MLton_equal to be a structural equality on all types,
+ including real and -> types.
+
+* 2007-12-18
+ - Changed ML-Yacc and ML-Lex to output line directives so that
+ MLton's def-use information points to the source files (.grm
+ and .lex) instead of the generated implementations (.grm.sml
+ and .lex.sml).
+
+* 2007-12-14
+ - Added runtime option 'may-page-heap {false|true}'. By default,
+ MLton will not page the heap to disk when unable to grow the heap
+ to a desired size. (Previously, this behavior was the default,
+ with no means to disable, with security and least-surprise
+ concerns.)
+ Thanks to Wesley Terpstra for the patch.
+ - Fixed bug the FFI visible representation of Int16.int ref (and
+ references of other primitive types smaller than 32-bits) on
+ big-endian platforms.
+ Thanks to Dave Herman for the bug report.
+
+* 2007-12-13
+ - Fixed bug in ImperativeIOExtra.canInput (TextIO.canInput).
+ Thanks to Ville Laurikari for the bug report.
+
+* 2007-12-09
+ - Better constant folding of IntInf operations.
+
+* 2007-12-07
+ - Fixed bug in algebraic simplification of real primitives.
+ Real.<= (x, x) is false when x is NaN.
+
+* 2007-11-29
+ - Fixed bug in type inference of flexible records. This would
+ later cause the compiler to raise the TypeError exception.
+ Thanks to Wesley Terpstra for the bug report.
+
+* 2007-11-28
+ - Fixed bug in cross-compilation of gdtoa library. Thanks to
+ Wesley Terpstra for the bug report and patch.
+
+* 2007-11-20
+ - Fixed bug in pass to flatten refs into containing data structure.
+ Thanks to Ruy LeyWild for the bug report.
+
+* 2007-11-19
+ - Fixed bug in the handling of weak pointers by the mark-compact
+ garbage collector. Thanks to Sean McLaughlin for the bug report
+ and Florian Weimer for the initial diagnosis.
+
+* 2007-11-07
+ - Added %posint command to ml-lex, to set the yypos type and allow
+ the lexing of multi-gigabyte input files. Thanks to Florian
+ Weimer for the feature concept and original patch.
+
+* 2007-11-07
+ - Added command-line switch -mlb-path-var '<name> <value>' for
+ specifying MLB path variables.
+
+* 2007-11-06
+ - Allow numeric characters in MLB path variables.
+
+* 2007-09-20
+ - Fixed bug in elaboration of structures with signature
+ constraints. This would later cause the compiler to raise the
+ TypeError exception. Thanks to Vesa Karvonen for the bug report.
+
+* 2007-09-11
+ - Fixed bug in interaction of _export-ed functions and signal
+ handlers. Thanks to Sean McLaughlin for the bug report.
+
+* 2007-09-03
+ - Fixed bug in implementation of _export-ed functions using 'char'
+ type. Thanks to Katsuhiro Ueno for the bug report.
+
+--------------------------------------------------------------------------------
+
+Here are the changes from version 20051202 to version 20070826.
+
+Summary:
+ New platforms:
o amd64-linux, amd64-freebsd
o hppa-hpux
@@ -79,10 +334,10 @@
+ Libraries.
o Basis Library.
* Added: PackWord16Big, PackWord16Little, PackWord64Big,
- PackWord64Little.
+ PackWord64Little.
* Bug Fixes: see changelog.
o MLton structure.
- * Added: MLTON_MONO_ARRAY, MLTON_MONO_VECTOR, MLTON_REAL,
+ * Added: MLTON_MONO_ARRAY, MLTON_MONO_VECTOR, MLTON_REAL,
MLton.BinIO.tempPrefix, MLton.CharArray, MLton.CharVector,
MLton.IntInf.BigWord, MLton.IntInf.SmallInt,
MLton.Exn.defaultTopLevelHandler,
@@ -93,7 +348,7 @@
MLton.Word16, MLton.Word32, MLton.Word64, MLton.Word8Array,
MLton.Word8Vector.
* Changed: MLton.Array.unfoldi, MLton.IntInf.rep, MLton.Rlimit,
- MLton.Vector.unfoldi.
+ MLton.Vector.unfoldi.
* Deprecated: MLton.Socket
o Other libraries.
* Added: MLRISC libary.
@@ -201,7 +456,7 @@
pass their argument as a single argument to gcc (i.e., without
tokenization at spaces). These options support using headers and
libraries (including the MLton runtime headers and libraries) from a
- path with spaces.
+ path with spaces.
* 2006-12-02
- Extensive reorganization of garbage collector, runtime system, and
@@ -233,7 +488,7 @@
* 2006-06-24
- Fixed a bug in pass to flatten data structures. Thanks to Joe Hurd
for the bug report.
-
+
* 2006-06-08
- Fixed a bug in the native codegen's implementation of the C-calling
convention.
@@ -253,7 +508,7 @@
* 2006-04-25
- Ported to HPPA-HPUX.
- Fixed PackReal{,32,64}{Big,Little} to follow the Basis Library
- specification.
+ specification.
* 2006-04-19
- Fixed a bug in MLton.share that could cause a segfault.
@@ -274,7 +529,7 @@
* 2006-03-02
- Ported a bugfix from SML/NJ for a bug with the combination of withNack
- and never in CML.
+ and never in CML.
* 2006-02-09
- Support compiler specific annotations in ML Basis files. If an
@@ -288,7 +543,7 @@
- Fixed bug in elaboration of functors; a program with a very large
number of functors could exhibit the error
"ElaborateEnv.functorClosure: firstTycons".
-
+
--------------------------------------------------------------------------------
Here are the changes from version 20041109 to version 20051202.
@@ -317,7 +572,7 @@
o Basis Library.
* Added: Int1, Word1.
o MLton structure.
- * Added: Process.create, ProcEnv.setgroups, Rusage.measureGC,
+ * Added: Process.create, ProcEnv.setgroups, Rusage.measureGC,
Socket.fdToSock Socket.Ctl.getError.
* Changed: MLton.Platform.Arch.
o Other libraries.
@@ -369,7 +624,7 @@
finalizable values in all cases.
* 2005-08-18
- - Added SML/NJ Library and CKit Library from SML/NJ 110.55 to
+ - Added SML/NJ Library and CKit Library from SML/NJ 110.55 to
standard distribution.
- Fixed bug in Socket.Ctl.*, which got the endianness wrong on
big-endian machines. Thanks to Wesley Terpstra for the bug report
@@ -398,11 +653,11 @@
* 2005-08-03
- Annotation changes.
Deprecated: allowExport, allowImport, warnMatch
- Added: allowFFI, nonexhaustiveExnMatch, nonexhaustiveMatch,
+ Added: allowFFI, nonexhaustiveExnMatch, nonexhaustiveMatch,
redundantMatch
* 2005-08-01
- - Update mllex and mlyacc with SML/NJ 110.55+ versions. This
+ - Update mllex and mlyacc with SML/NJ 110.55+ versions. This
incorporates a small number of minor bug fixes.
* 2005-07-23
@@ -415,7 +670,7 @@
See documentation for more detail.
* 2005-07-21
- - Update mllex and mlyacc with SML/NJ 110.55 versions. This
+ - Update mllex and mlyacc with SML/NJ 110.55 versions. This
incorporates a small number of minor bug fixes.
* 2005-07-20
@@ -442,7 +697,7 @@
- InetSock.{any,toAddr} raise SysErr if port is not in [0, 2^16).
* 2005-07-02
- - Fixed bug in Socket.recvVecFrom{,',NB,NB'}. The type was too
+ - Fixed bug in Socket.recvVecFrom{,',NB,NB'}. The type was too
polymorphic and allowed the creation of a bogus sock_addr.
* 2005-06-28
@@ -468,7 +723,7 @@
* 2005-04-13
- Fixed a bug in the representation of flat arrays/vectors that
- caused incorrect behavior when the element size was 2 or 4 bytes
+ caused incorrect behavior when the element size was 2 or 4 bytes
and there were multiple components to the element (e.g. (char *
char) vector).
@@ -493,7 +748,7 @@
- Added mlnlffigen tool (heavily adapted from SML/NJ).
* 2005-02-12
- - Added MLNLFFI Library (heavily adapted from SML/NJ) to standard
+ - Added MLNLFFI Library (heavily adapted from SML/NJ) to standard
distribution.
* 2005-02-04
@@ -550,17 +805,17 @@
o Added: share, shareAll
o Changed: Exn, IntInf, Signal, Thread.
+ Command-line switch changes.
- o Deprecated:
+ o Deprecated:
-native (use -codegen)
-sequence-unit (use -default-ann)
-warn-match (use -default-ann)
-warn-unused (use -default-ann)
- o Removed:
+ o Removed:
-detect-overflow
-exn-history (use -const)
-safe
-show-basis-used
- o Added:
+ o Added:
-codegen
-const
-default-ann
@@ -595,7 +850,7 @@
the month.
* 2004-08-18
- - Changed MLton.{Thread,Signal,World} to distinguish between
+ - Changed MLton.{Thread,Signal,World} to distinguish between
implicitly and explicitly paused threads.
* 2004-07-28
@@ -648,7 +903,7 @@
- Fixed a bug with sharing constraints in signatures that would
sometimes mistakenly treat two structures as identical when they
shouldn't have been. This would cause some programs to be
- mistakenly rejected.
+ mistakenly rejected.
* 2004-04-30
- Added MLton.Signal.{handled,restart}.
@@ -708,13 +963,13 @@
o Deprecated: -basis.
o Removed: -lib-search, -link, -may-load-world, -static.
o Added: -link-opt, -runtime, -sequence-unit, -show-def-use,
- -stop tc, -warn-match, -warn-unused.
+ -stop tc, -warn-match, -warn-unused.
o Changed: -export-header, -show-basis, -show-basis-used.
o Renamed: -host to -target.
+ FFI changes.
o Renamed _ffi as _import.
o Added cdecl and stdcall attributes to _import and _export
- expressions.
+ expressions.
+ MLton structure changes.
o Added: Pointer.
o Removed: Ptrace.
@@ -777,7 +1032,7 @@
* 2003-12-01
- Added structure MLton.Pointer, which includes a type t for
- pointers (memory addresses, not SML heap pointers) and operations
+ pointers (memory addresses, not SML heap pointers) and operations
for loading from and storing to memory.
* 2003-11-03
@@ -786,7 +1041,7 @@
* 2003-10-13
- Added -warn-match to control display nonexhaustive and redundant
- match warnings.
+ match warnings.
- Fixed space leak in StreamIO causing the entire stream to be
retained. Thanks to Jared Showalter for the bug report and fix.
@@ -796,7 +1051,7 @@
* 2003-09-25
- Fixed Posix.IO.getfl, which had mistakenly called fcntl with
F_GETFD instead of F_GETFL.
- - Tracking basis library changes:
+ - Tracking basis library changes:
o Socket module datagram functions no longer return amount
written, since they always write the entire amount or fail. So,
send{Arr,Vec}To{,'} now return unit instead of int.
@@ -810,10 +1065,10 @@
o TextIO.inputLine now returns a string option.
o Slices used in Byte, PRIM_IO, PrimIO, Posix.IO, StreamIO
o Posix.IO.readVec raises Size, not Subscript, with negative
- argument.
+ argument.
* 2003-09-22
- - Fixed Real.toManExp so that the mantissa is in [0.5, 1),
+ - Fixed Real.toManExp so that the mantissa is in [0.5, 1),
not [1, 2). The spec says that 1.0 <= man * radix < radix, which
since radix is 2, implies that the mantissa is in [0.5, 1).
- Added Time.{from,to}Nanoseconds.
@@ -857,7 +1112,7 @@
* 2003-09-03
- Lots of fixes to Real functions.
o Real32 is now completely in place, except for Real32.nextAfter
- on SunOS.
+ on SunOS.
o Fixed Real.Math.exp on x86 to return the right value when
applied to posInf and negInf.
o Changed Real.Math.{cos,sin,tan} on x86 to always use a call to
@@ -865,7 +1120,7 @@
eliminates some anomalies between compiling -native false and
-native true.
o Change Real.Math.pow to handle exceptional cases in the SML
- code.
+ code.
o Fixed Real.signBit on Sparcs.
* 2003-08-28
@@ -889,7 +1144,7 @@
* 2003-08-17
- Eliminated -link and -lib-search, which are no longer needed.
Eliminated support for passing -l*, -L*, and *.a on the command
- line. Use -link-opt instead.
+ line. Use -link-opt instead.
* 2003-08-16
- Added -link-opt, for passing options to gcc when linking.
@@ -990,7 +1245,7 @@
types polled for instead of what was actually available.
* 2003-06-04
- - Fixed bug in known case SSA optimization that could case incorrect
+ - Fixed bug in known case SSA optimization that could case incorrect
results in compiled programs.
* 2003-06-03
@@ -1045,10 +1300,10 @@
- Fixed a runtime system bug that could cause a segfault. This bug
would happen after a GC during heap resizing when copying a heap,
if the heap was allocated at a very low (<10M) address. The bug
- actually showed up on a Cygwin system.
+ actually showed up on a Cygwin system.
* 2003-05-08
- - Fixed bug in HashType that raised "Vector.forall2" when the
+ - Fixed bug in HashType that raised "Vector.forall2" when the
arity of a type constructor is changed by simplifyTypes, but
a newly constructed type has the same hash value.
@@ -1057,7 +1312,7 @@
the implementation of the BinIO and TextIO modules.
* 2003-04-28
- - Fixed bug that caused an assertion failure when generating a jump
+ - Fixed bug that caused an assertion failure when generating a jump
table for a case dispatch on a non-word sized index with non-zero
lower bound on the range.
@@ -1071,7 +1326,7 @@
-native false. The bug was introduced with the C codegen
improvements that split the C into multiple files. Now, the C
codegen declares all profile labels used in each file so that they
- are global symbols.
+ are global symbols.
* 2003-04-18
- Added MLton.Weak, which supports weak pointers.
@@ -1097,7 +1352,7 @@
+ Added source-level profiling of both time and allocation.
+ Updated basis library to 2002 specification. To obtain the old
library, compile with -basis 1997.
- + Added many modules to basis library:
+ + Added many modules to basis library:
BinPrimIO, GenericSock, ImperativeIO, INetSock, NetHostDB,
NetProtDB, NetServDB, Socket, StreamIO, TextPrimIO, UnixSock.
+ Completed implementation of IntInf and OS.IO.
@@ -1149,7 +1404,7 @@
* 2002-11-22
- Fixed bug that caused time profiling to fail (with a segfault) when resuming
- a saved world.
+ a saved world.
* 2002-11-07
- Fixed bug in MLton.eq that could arise when using eq on functions.
@@ -1194,7 +1449,7 @@
+ Added IntInf.log2, MLton.GC.pack, MLton.GC.unpack.
+ Fixed bug in load world that could cause "sread failed" on Cygwin.
+ Fixed optimizer bug that could cause "no analyze var value property"
- message.
+ message.
* 2002-09
- Integrated Sam Rushing's changes to port MLton to FreeBSD.
@@ -1203,7 +1458,7 @@
- Changed the implementation of exception history to be completely functional.
Now, the extra field in exceptions (when compiling -exn-history true) is a
string list instead of a string list ref, and raise conses a new exception
- with a new element in the list instead of assigning to the list. This
+ with a new element in the list instead of assigning to the list. This
changes the semantics of exception history (for the better) on some
programs. See regression/exnHistory3.sml for an example. It also
significantly improves performance when compiling -exn-history true.
@@ -1214,7 +1469,7 @@
* 2002-08-20
- Fixed SSA optimizer bug that could cause the following error message
- x_0 has no analyze var value property
+ x_0 has no analyze var value property
* 2002-07-28
- Added MLton.GC.{pack,unpack}. pack shrinks the heap so that other processes
@@ -1270,11 +1525,11 @@
* 2002-03-22
- Set up the stubs so that MLton can be compiled in the standard basis
library, with no MLton structure. Thus it is now easy to compile MLton
- with an older (or newer) version of itself that has a different MLton
+ with an older (or newer) version of itself that has a different MLton
structure.
* 2002-03-17
- - Added MLton.Process.{spawn,spawne,spawnp}, which use primitives when
+ - Added MLton.Process.{spawn,spawne,spawnp}, which use primitives when
running on Cygwin and fork/exec when running on Linux.
* 2002-02 - 2002-03
@@ -1284,10 +1539,10 @@
- Added gmp back for use with Cygwin.
* 2002-02-10
- - Reworked object header words so that Array.maxLen = valOf Int.maxInt.
+ - Reworked object header words so that Array.maxLen = valOf Int.maxInt.
Also fixed a long-standing minor bug in MLton, where
Array.array (Array.maxLen, ...) would raise Size instead of attempting
- to allocate the array. It was an off-by-one error in the meaning of
+ to allocate the array. It was an off-by-one error in the meaning of
Array.maxLen.
* 2002-02-08
@@ -1295,10 +1550,10 @@
live data is a signifant fraction of the amount of RAM, based on code from
PolySpace. MLton executables by default can now use more than the
available amount of RAM. Executables will still respect the max-heap
- runtime arg if it is set.
+ runtime arg if it is set.
* 2002-02-04
- - Improvements to runtime so that it fails to get space, it attempts to get
+ - Improvements to runtime so that it fails to get space, it attempts to get
less space instead of failing. Based on PolySpace's modifications.
- Added MLton.eq.
@@ -1306,12 +1561,12 @@
- Added MLton.IntInf.gcd.
- Removed gmp from MLton sources. We now link with /usr/lib/gmp.a.
- Added TextIO.getPosOut.
- - Renamed type MLton.Itimer.which to MLton.Itimer.t and
+ - Renamed type MLton.Itimer.which to MLton.Itimer.t and
MLton.Itimer.whichSignal to MLton.Itimer.signal.
- Added -coalesce flag, for use with the C backend.
* 2002-01-26
- - Added -show-basis-used, which prints out the parts of the basis library
+ - Added -show-basis-used, which prints out the parts of the basis library
that the input program uses.
- Changed several other flags (-print-at-fun-entry, -show-basis, -static)
to follow the {false|true} convention.
@@ -1323,7 +1578,7 @@
* 2002-01-18
- The MACHINE IL has been replaced with an RSSA (representation explicit SSA)
- IL and an improved MACHINE IL.
+ IL and an improved MACHINE IL.
* 2002-01-16
- Added known case SSA optimization
@@ -1408,14 +1663,14 @@
val rec NONE = fn () => ()
val _ = NONE ()
Again, this is checked in valrec.sml.
- - Added '\r\n' to ml.lex so that Windows style newlines are acceptable in
+ - Added '\r\n' to ml.lex so that Windows style newlines are acceptable in
input files.
* 2001-10-4
- Fixed bug in the implementation of "open" declarations, which in the case of
- "open A B" had opened A and then looked up B in the resulting environment.
+ "open A B" had opened A and then looked up B in the resulting environment.
The correct behaviour (see rule 22 of the Definition) is to lookup each
- longstrid in the current environment, and then open them all in sequence.
+ longstrid in the current environment, and then open them all in sequence.
This is now checked for in the open.sml regression test. Thanks to Andreas
Rossberg for pointing this bug out.
- Fixed bug that caused tyvars of length 1 (i.e. ') to be rejected. This is
@@ -1455,8 +1710,8 @@
* 2001-8-22
- Added support for #line directives of the form
(*#line line.col "file"*)
- These directives only affect error messages produced by the parser and
- elaborator.
+ These directives only affect error messages produced by the parser and
+ elaborator.
* 2001-8-17
- Fixed bug in removeUnused optimzation that caused the following program to
@@ -1466,7 +1721,7 @@
* 2001-8-14
- New x86-codegen infrastructure.
- o support for tracking liveness of stack slots and carrying them
+ o support for tracking liveness of stack slots and carrying them
in registers across basic blocks
o more specific Entry and Transfer datatypes to make calling convention
distinctions more explicit
@@ -1527,7 +1782,7 @@
- Workaround for Linux kernel bug that can cause getrusage to return a wrong
system time value (low by one second). See fixedGetrusage in gc.c.
- Bug fix to x86 codegen. The register allocator could get confused when
- doing comparisons of floating point numbers and use the wrong operand.
+ doing comparisons of floating point numbers and use the wrong operand.
The bug seems to have never been detected because it only happens when both
of the operands are already on the floating point stack, which is rare,
since one is almost always in memory since we don't carry floating point
@@ -1556,24 +1811,24 @@
detection elimination will work on the loop index variable.
* 2001-7-11
- - Fixed minor bugs in Array2.{array,tabulate}, Substring.{slice} that caused
+ - Fixed minor bugs in Array2.{array,tabulate}, Substring.{slice} that caused
the Overflow exception to be raised instead of Size or Subscript
- Fixed bug in Pack32Big.update that caused the wrong location to be updated.
- Fixed several bugs in Pack32{Big,Little}.{subArr,subVec,update} that caused
Overflow to be raised instead of Subscript. Also, improved the
implementation so that bounds checking only occurs once per call (instead of
four times, which was sometimes happening.
- - Fixed bugs in Time.{toMilliseconds,toMicroseconds} that could cause
+ - Fixed bugs in Time.{toMilliseconds,toMicroseconds} that could cause
a spurious Overflow exception.
- Fixed bugs in Time.{fromMilliseconds,fromMicroseconds} that could cause
a spurious Time exception.
- Improved Pack32.sub* by reordering the orbs.
- Improved {Int,IntInf}.mod to increase chances of constant folding.
- Switched many uses of +, -, * in basis library to the non-overflow checked
- versions. Modules changed were: Array, Array2, Byte, Char, Int, IntInf,
+ versions. Modules changed were: Array, Array2, Byte, Char, Int, IntInf,
List, Pack32{Big,Little}, Util, String, StringCvt, Substring, TextIO, Time,
Vector.
- - Added regression tests for Array2, Int (overflow checking), Pack32,
+ - Added regression tests for Array2, Int (overflow checking), Pack32,
Substring, Time.
- Changed CPS output so that it includes a dot graph for each CPS function.
@@ -1588,7 +1843,7 @@
Summary:
+ Native X86 code generator (instead of using gcc)
- + Significantly improved compile times
+ + Significantly improved compile times
+ Significantly improved run times for generated executables
+ Many bug fixes
+ Correct raising of the Overflow exception for integer arithmetic
@@ -1625,7 +1880,7 @@
Doug Bagley for the fix.
* 2001-5-30
- - Fixed bug in remove-unused that caused polymorphic equality to return
+ - Fixed bug in remove-unused that caused polymorphic equality to return
true sometimes when constructors were never used in a pattern match.
For example, the following (in which A and B are not used as patterns):
datatype t = A | B
@@ -1669,7 +1924,7 @@
* 2000-12-8
- More careful removal of tracing code when compiling MLton_debug=0.
- This cut down self compile data size by 100k and compile time by a few
+ This cut down self compile data size by 100k and compile time by a few
seconds.
- Added built in character and word cases propagated throughout all ILs.
@@ -1686,7 +1941,7 @@
world (the original environ was saved). In fact, it did not work at all
because the ML primitive expected a constant and the C was a nullary
function. This caused a segfault with any program using
- Posix.ProcEnv.environ.
+ Posix.ProcEnv.environ.
- Added MLton.ProcEnv.setenv, since there doesn't seem to be any setenv in
the basis library.
@@ -1713,7 +1968,7 @@
tuple or if expressions. This should speed up the translation and
make the output smaller.
- Fixed a bug in the match compiler that caused it to not generate integer
- case statements. This should speed up the mlyacc benchmark and the
+ case statements. This should speed up the mlyacc benchmark and the
MLton front end.
* 2000-11-9
@@ -1761,7 +2016,7 @@
was behaving really badly on RHAT 7.0.
- Tweaked compiler to shorten width of C output lines to work around
bug in RHAT 7.0 cpp which silently truncates (very) long lines.
- - Fixed bug in grammar that didn't allow "op" to occur in datatype and
+ - Fixed bug in grammar that didn't allow "op" to occur in datatype and
exception bindings, causing the following to fail
datatype t = op T
exception op E = op Fail
@@ -1770,14 +2025,14 @@
* 2000-10-18
- Fixed two bugs in the gc that did comparisons with (s->limit - s->frontier),
which of course doesn't work if frontier is beyond limit, since these are
- unsigned. This could have caused segfaults, except that the mutator
+ unsigned. This could have caused segfaults, except that the mutator
checks the frontier upon return from the GC.
* 2000-10-17
- - Fixed bug in backend in the calculation of maxFrameSize. It could be
+ - Fixed bug in backend in the calculation of maxFrameSize. It could be
wrong (low) in some situations.
- - Improved CPS inliner's estimate of function sizes. The size of a function
- now takes into account other inlined functions that the function calls.
+ - Improved CPS inliner's estimate
More information about the MLton-commit
mailing list