<!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>Index - 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%;"> Index <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"> There are 351 pages. <p><p><a href="#A">A</a> | <a href="#B">B</a> | <a href="#C">C</a> | <a href="#D">D</a> | <a href="#E">E</a> | <a href="#F">F</a> | <a href="#G">G</a> | <a href="#H">H</a> | <a href="#I">I</a> | <a href="#J">J</a> | <a href="#K">K</a> | <a href="#L">L</a> | <a href="#M">M</a> | <a href="#N">N</a> | <a href="#O">O</a> | <a href="#P">P</a> | <a href="#R">R</a> | <a href="#S">S</a> | <a href="#T">T</a> | <a href="#U">U</a> | <a href="#V">V</a> | <a href="#W">W</a> | <a href="#X">X</a> | <a href="#Z">Z</a><br> </p><a name="A"><h3>A</h3></a><a href="AccessControl">AccessControl</a> <br><a href="AdamGoode">AdamGoode</a> <br><a href="AdmitsEquality">AdmitsEquality</a> <br><a href="Alice">Alice</a> <br><a href="AllocateRegisters">AllocateRegisters</a> <br><a href="AndreiFormiga">AndreiFormiga</a> <br><a href="ArrayLiteral">ArrayLiteral</a> <br><a href="AST">AST</a> <a name="B"><h3>B</h3></a><a href="BasisLibrary">BasisLibrary</a> <br><a href="Bug">Bug</a> <br><a href="Bugs20041109">Bugs20041109</a> <br><a href="Bugs20051202">Bugs20051202</a> <br><a href="Bugs20070826">Bugs20070826</a> <br><a href="Bugs20100608">Bugs20100608</a> <a name="C"><h3>C</h3></a><a href="CallGraph">CallGraph</a> <br><a href="CallingFromCToSML">CallingFromCToSML</a> <br><a href="CallingFromSMLToC">CallingFromSMLToC</a> <br><a href="CallingFromSMLToCFunctionPointer">CallingFromSMLToCFunctionPointer</a> <br><a href="Changelog">Changelog</a> <br><a href="ChrisClearwater">ChrisClearwater</a> <br><a href="Chunkify">Chunkify</a> <br><a href="CKitLibrary">CKitLibrary</a> <br><a href="Closure">Closure</a> <br><a href="ClosureConvert">ClosureConvert</a> <br><a href="CMinusMinus">CMinusMinus</a> <br><a href="CombineConversions">CombineConversions</a> <br><a href="CommonArg">CommonArg</a> <br><a href="CommonBlock">CommonBlock</a> <br><a href="CommonSubexp">CommonSubexp</a> <br><a href="CompilationManager">CompilationManager</a> <br><a href="CompilerOverview">CompilerOverview</a> <br><a href="CompileTimeOptions">CompileTimeOptions</a> <br><a href="CompilingWithSMLNJ">CompilingWithSMLNJ</a> <br><a href="ConcurrentML">ConcurrentML</a> <br><a href="ConcurrentMLImplementation">ConcurrentMLImplementation</a> <br><a href="ConstantPropagation">ConstantPropagation</a> <br><a href="Contact">Contact</a> <br><a href="Contify">Contify</a> <br><a href="CoreML">CoreML</a> <br><a href="CoreMLSimplify">CoreMLSimplify</a> <br><a href="CreatingPages">CreatingPages</a> <br><a href="Credits">Credits</a> <br><a href="CrossCompiling">CrossCompiling</a> <a name="D"><h3>D</h3></a><a href="DeadCode">DeadCode</a> <br><a href="DeepFlatten">DeepFlatten</a> <br><a href="DefineTypeBeforeUse">DefineTypeBeforeUse</a> <br><a href="DefinitionOfStandardML">DefinitionOfStandardML</a> <br><a href="Defunctorize">Defunctorize</a> <br><a href="Developers">Developers</a> <br><a href="Development">Development</a> <br><a href="Documentation">Documentation</a> <br><a href="Drawbacks">Drawbacks</a> <a name="E"><h3>E</h3></a><a href="Eclipse">Eclipse</a> <br><a href="EditingPages">EditingPages</a> <br><a href="Elaborate">Elaborate</a> <br><a href="Emacs">Emacs</a> <br><a href="EmacsBgBuildMode">EmacsBgBuildMode</a> <br><a href="EmacsDefUseMode">EmacsDefUseMode</a> <br><a href="Enscript">Enscript</a> <br><a href="EqualityType">EqualityType</a> <br><a href="EqualityTypeVariable">EqualityTypeVariable</a> <br><a href="EtaExpansion">EtaExpansion</a> <br><a href="eXene">eXene</a> <a name="F"><h3>F</h3></a><a href="FAQ">FAQ</a> <br><a href="Features">Features</a> <br><a href="FirstClassPolymorphism">FirstClassPolymorphism</a> <br><a href="Fixpoints">Fixpoints</a> <br><a href="Flatten">Flatten</a> <br><a href="Fold">Fold</a> <br><a href="Fold01N">Fold01N</a> <br><a href="ForeignFunctionInterface">ForeignFunctionInterface</a> <br><a href="ForeignFunctionInterfaceSyntax">ForeignFunctionInterfaceSyntax</a> <br><a href="ForeignFunctionInterfaceTypes">ForeignFunctionInterfaceTypes</a> <br><a href="ForLoops">ForLoops</a> <br><a href="FrontEnd">FrontEnd</a> <br><a href="FSharp">FSharp</a> <br><a href="FunctionalRecordUpdate">FunctionalRecordUpdate</a> <br><a href="fxp">fxp</a> <a name="G"><h3>G</h3></a><a href="GarbageCollection">GarbageCollection</a> <br><a href="GenerativeDatatype">GenerativeDatatype</a> <br><a href="GenerativeException">GenerativeException</a> <br><a href="Glade">Glade</a> <br><a href="Globalize">Globalize</a> <br><a href="GnuMP">GnuMP</a> <a name="H"><h3>H</h3></a><a href="HaMLet">HaMLet</a> <br><a href="HenryCejtin">HenryCejtin</a> <br><a href="History">History</a> <br><a href="Home">Home</a> <br><a href="HowProfilingWorks">HowProfilingWorks</a> <br><a href="HowToAttachFile">HowToAttachFile</a> <a name="I"><h3>I</h3></a><a href="Identifier">Identifier</a> <br><a href="Immutable">Immutable</a> <br><a href="ImperativeTypeVariable">ImperativeTypeVariable</a> <br><a href="ImplementExceptions">ImplementExceptions</a> <br><a href="ImplementHandlers">ImplementHandlers</a> <br><a href="ImplementProfiling">ImplementProfiling</a> <br><a href="ImplementSuffix">ImplementSuffix</a> <br><a href="Index">Index</a> <br><a href="InfixingOperators">InfixingOperators</a> <br><a href="Inline">Inline</a> <br><a href="InsertLimitChecks">InsertLimitChecks</a> <br><a href="InsertSignalChecks">InsertSignalChecks</a> <br><a href="Installation">Installation</a> <br><a href="IntermediateLanguage">IntermediateLanguage</a> <br><a href="IntroduceLoops">IntroduceLoops</a> <a name="J"><h3>J</h3></a><a href="JesperLouisAndersen">JesperLouisAndersen</a> <br><a href="JohnnyAndersen">JohnnyAndersen</a> <a name="K"><h3>K</h3></a><a href="KnownCase">KnownCase</a> <a name="L"><h3>L</h3></a><a href="LambdaCalculus">LambdaCalculus</a> <br><a href="LambdaFree">LambdaFree</a> <br><a href="LanguageChanges">LanguageChanges</a> <br><a href="Lazy">Lazy</a> <br><a href="Libraries">Libraries</a> <br><a href="LibrarySupport">LibrarySupport</a> <br><a href="License">License</a> <br><a href="LineDirective">LineDirective</a> <br><a href="LLVM">LLVM</a> <br><a href="LocalFlatten">LocalFlatten</a> <br><a href="LocalRef">LocalRef</a> <br><a href="LoopInvariant">LoopInvariant</a> <a name="M"><h3>M</h3></a><a href="Machine">Machine</a> <br><a href="ManualPage">ManualPage</a> <br><a href="MatchCompilation">MatchCompilation</a> <br><a href="MatchCompile">MatchCompile</a> <br><a href="MatthewFluet">MatthewFluet</a> <br><a href="mGTK">mGTK</a> <br><a href="MichaelNorrish">MichaelNorrish</a> <br><a href="MikeThomas">MikeThomas</a> <br><a href="ML">ML</a> <br><a href="MLBasis">MLBasis</a> <br><a href="MLBasisAnnotationExamples">MLBasisAnnotationExamples</a> <br><a href="MLBasisAnnotations">MLBasisAnnotations</a> <br><a href="MLBasisAvailableLibraries">MLBasisAvailableLibraries</a> <br><a href="MLBasisExamples">MLBasisExamples</a> <br><a href="MLBasisPathMap">MLBasisPathMap</a> <br><a href="MLBasisSyntaxAndSemantics">MLBasisSyntaxAndSemantics</a> <br><a href="MLj">MLj</a> <br><a href="MLKit">MLKit</a> <br><a href="MLLex">MLLex</a> <br><a href="MLmon">MLmon</a> <br><a href="MLNLFFI">MLNLFFI</a> <br><a href="MLNLFFIGen">MLNLFFIGen</a> <br><a href="MLNLFFIImplementation">MLNLFFIImplementation</a> <br><a href="MLRISCLibrary">MLRISCLibrary</a> <br><a href="MLtonArray">MLtonArray</a> <br><a href="MLtonBinIO">MLtonBinIO</a> <br><a href="MLtonCont">MLtonCont</a> <br><a href="MLtonContIsolateImplementation">MLtonContIsolateImplementation</a> <br><a href="MLtonExn">MLtonExn</a> <br><a href="MLtonFinalizable">MLtonFinalizable</a> <br><a href="MLtonGC">MLtonGC</a> <br><a href="MLtonIntInf">MLtonIntInf</a> <br><a href="MLtonIO">MLtonIO</a> <br><a href="MLtonItimer">MLtonItimer</a> <br><a href="MLtonMonoArray">MLtonMonoArray</a> <br><a href="MLtonMonoVector">MLtonMonoVector</a> <br><a href="MLtonPlatform">MLtonPlatform</a> <br><a href="MLtonPointer">MLtonPointer</a> <br><a href="MLtonProcEnv">MLtonProcEnv</a> <br><a href="MLtonProcess">MLtonProcess</a> <br><a href="MLtonProfile">MLtonProfile</a> <br><a href="MLtonRandom">MLtonRandom</a> <br><a href="MLtonReal">MLtonReal</a> <br><a href="MLtonRlimit">MLtonRlimit</a> <br><a href="MLtonRusage">MLtonRusage</a> <br><a href="MLtonSignal">MLtonSignal</a> <br><a href="MLtonSocket">MLtonSocket</a> <br><a href="MLtonStructure">MLtonStructure</a> <br><a href="MLtonSyslog">MLtonSyslog</a> <br><a href="MLtonTextIO">MLtonTextIO</a> <br><a href="MLtonThread">MLtonThread</a> <br><a href="MLtonVector">MLtonVector</a> <br><a href="MLtonWeak">MLtonWeak</a> <br><a href="MLtonWord">MLtonWord</a> <br><a href="MLtonWorld">MLtonWorld</a> <br><a href="MLYacc">MLYacc</a> <br><a href="MoinMoin">MoinMoin</a> <br><a href="Monomorphise">Monomorphise</a> <br><a href="MoscowML">MoscowML</a> <br><a href="Multi">Multi</a> <br><a href="Mutable">Mutable</a> <a name="N"><h3>N</h3></a><a href="NeedsReview">NeedsReview</a> <br><a href="NumericLiteral">NumericLiteral</a> <a name="O"><h3>O</h3></a><a href="ObjectOrientedProgramming">ObjectOrientedProgramming</a> <br><a href="OCaml">OCaml</a> <br><a href="OpenGL">OpenGL</a> <br><a href="OperatorPrecedence">OperatorPrecedence</a> <br><a href="OptionalArguments">OptionalArguments</a> <br><a href="OrphanedPages">OrphanedPages</a> <br><a href="OtherSites">OtherSites</a> <br><a href="Overloading">Overloading</a> <a name="P"><h3>P</h3></a><a href="PackedRepresentation">PackedRepresentation</a> <br><a href="PageSize">PageSize</a> <br><a href="ParallelMove">ParallelMove</a> <br><a href="Performance">Performance</a> <br><a href="PhantomType">PhantomType</a> <br><a href="PlatformSpecificNotes">PlatformSpecificNotes</a> <br><a href="PolyEqual">PolyEqual</a> <br><a href="PolyHash">PolyHash</a> <br><a href="PolyML">PolyML</a> <br><a href="PolymorphicEquality">PolymorphicEquality</a> <br><a href="Polyvariance">Polyvariance</a> <br><a href="Poplog">Poplog</a> <br><a href="PortingMLton">PortingMLton</a> <br><a href="PrecedenceParse">PrecedenceParse</a> <br><a href="Printf">Printf</a> <br><a href="PrintfGentle">PrintfGentle</a> <br><a href="ProductType">ProductType</a> <br><a href="Profiling">Profiling</a> <br><a href="ProfilingAllocation">ProfilingAllocation</a> <br><a href="ProfilingCounts">ProfilingCounts</a> <br><a href="ProfilingTheStack">ProfilingTheStack</a> <br><a href="ProfilingTime">ProfilingTime</a> <br><a href="Projects">Projects</a> <br><a href="Pronounce">Pronounce</a> <br><a href="PropertyList">PropertyList</a> <a name="R"><h3>R</h3></a><a href="RayRacine">RayRacine</a> <br><a href="Reachability">Reachability</a> <br><a href="Redundant">Redundant</a> <br><a href="RedundantTests">RedundantTests</a> <br><a href="References">References</a> <br><a href="RefFlatten">RefFlatten</a> <br><a href="Regions">Regions</a> <br><a href="Release20041109">Release20041109</a> <br><a href="Release20051202">Release20051202</a> <br><a href="Release20070826">Release20070826</a> <br><a href="Release20100608">Release20100608</a> <br><a href="ReleaseChecklist">ReleaseChecklist</a> <br><a href="RemoveUnused">RemoveUnused</a> <br><a href="Restore">Restore</a> <br><a href="ReturnStatement">ReturnStatement</a> <br><a href="RSSA">RSSA</a> <br><a href="RSSAShrink">RSSAShrink</a> <br><a href="RSSASimplify">RSSASimplify</a> <br><a href="RunningOnAIX">RunningOnAIX</a> <br><a href="RunningOnAlpha">RunningOnAlpha</a> <br><a href="RunningOnAMD64">RunningOnAMD64</a> <br><a href="RunningOnARM">RunningOnARM</a> <br><a href="RunningOnCygwin">RunningOnCygwin</a> <br><a href="RunningOnDarwin">RunningOnDarwin</a> <br><a href="RunningOnFreeBSD">RunningOnFreeBSD</a> <br><a href="RunningOnHPPA">RunningOnHPPA</a> <br><a href="RunningOnHPUX">RunningOnHPUX</a> <br><a href="RunningOnIA64">RunningOnIA64</a> <br><a href="RunningOnLinux">RunningOnLinux</a> <br><a href="RunningOnMinGW">RunningOnMinGW</a> <br><a href="RunningOnNetBSD">RunningOnNetBSD</a> <br><a href="RunningOnOpenBSD">RunningOnOpenBSD</a> <br><a href="RunningOnPowerPC">RunningOnPowerPC</a> <br><a href="RunningOnPowerPC64">RunningOnPowerPC64</a> <br><a href="RunningOnS390">RunningOnS390</a> <br><a href="RunningOnSolaris">RunningOnSolaris</a> <br><a href="RunningOnSparc">RunningOnSparc</a> <br><a href="RunningOnX86">RunningOnX86</a> <br><a href="RunTimeOptions">RunTimeOptions</a> <a name="S"><h3>S</h3></a><a href="ScopeInference">ScopeInference</a> <br><a href="SelfCompiling">SelfCompiling</a> <br><a href="Serialization">Serialization</a> <br><a href="ShowBasis">ShowBasis</a> <br><a href="ShowProf">ShowProf</a> <br><a href="Shrink">Shrink</a> <br><a href="SimplifyTypes">SimplifyTypes</a> <br><a href="SMLNET">SMLNET</a> <br><a href="SMLNJ">SMLNJ</a> <br><a href="SMLNJDeviations">SMLNJDeviations</a> <br><a href="SMLNJLibrary">SMLNJLibrary</a> <br><a href="SMLofNJStructure">SMLofNJStructure</a> <br><a href="SMLSharp">SMLSharp</a> <br><a href="Sources">Sources</a> <br><a href="SpaceSafety">SpaceSafety</a> <br><a href="SSA">SSA</a> <br><a href="SSA2">SSA2</a> <br><a href="SSA2Simplify">SSA2Simplify</a> <br><a href="SSASimplify">SSASimplify</a> <br><a href="Stabilizers">Stabilizers</a> <br><a href="StandardML">StandardML</a> <br><a href="StandardMLBooks">StandardMLBooks</a> <br><a href="StandardMLGotchas">StandardMLGotchas</a> <br><a href="StandardMLHistory">StandardMLHistory</a> <br><a href="StandardMLImplementations">StandardMLImplementations</a> <br><a href="StandardMLPortability">StandardMLPortability</a> <br><a href="StandardMLTutorials">StandardMLTutorials</a> <br><a href="StaticSum">StaticSum</a> <br><a href="StephenWeeks">StephenWeeks</a> <br><a href="StyleGuide">StyleGuide</a> <br><a href="Subversion">Subversion</a> <br><a href="SuccessorML">SuccessorML</a> <br><a href="SureshJagannathan">SureshJagannathan</a> <br><a href="Swerve">Swerve</a> <br><a href="SXML">SXML</a> <br><a href="SXMLShrink">SXMLShrink</a> <br><a href="SXMLSimplify">SXMLSimplify</a> <br><a href="SyntacticConventions">SyntacticConventions</a> <br><a href="SystemInfo">SystemInfo</a> <a name="T"><h3>T</h3></a><a href="Talk">Talk</a> <br><a href="TalkDiveIn">TalkDiveIn</a> <br><a href="TalkFolkLore">TalkFolkLore</a> <br><a href="TalkFromSMLTo">TalkFromSMLTo</a> <br><a href="TalkHowHigherOrder">TalkHowHigherOrder</a> <br><a href="TalkHowModules">TalkHowModules</a> <br><a href="TalkHowPolymorphism">TalkHowPolymorphism</a> <br><a href="TalkMLtonApproach">TalkMLtonApproach</a> <br><a href="TalkMLtonFeatures">TalkMLtonFeatures</a> <br><a href="TalkMLtonHistory">TalkMLtonHistory</a> <br><a href="TalkStandardML">TalkStandardML</a> <br><a href="TalkWholeProgram">TalkWholeProgram</a> <br><a href="TILT">TILT</a> <br><a href="TipsForWritingConciseSML">TipsForWritingConciseSML</a> <br><a href="TitleIndex">TitleIndex</a> <br><a href="ToMachine">ToMachine</a> <br><a href="TomMurphy">TomMurphy</a> <br><a href="ToRSSA">ToRSSA</a> <br><a href="ToSSA2">ToSSA2</a> <br><a href="TrustedGroup">TrustedGroup</a> <br><a href="TypeChecking">TypeChecking</a> <br><a href="TypeConstructor">TypeConstructor</a> <br><a href="TypeIndexedValues">TypeIndexedValues</a> <br><a href="TypeVariableScope">TypeVariableScope</a> <a name="U"><h3>U</h3></a><a href="Unicode">Unicode</a> <br><a href="UniversalType">UniversalType</a> <br><a href="UnresolvedBugs">UnresolvedBugs</a> <br><a href="UnsafeStructure">UnsafeStructure</a> <br><a href="Useless">Useless</a> <br><a href="Users">Users</a> <br><a href="Utilities">Utilities</a> <a name="V"><h3>V</h3></a><a href="ValueRestriction">ValueRestriction</a> <br><a href="VariableArityPolymorphism">VariableArityPolymorphism</a> <br><a href="Variant">Variant</a> <br><a href="VesaKarvonen">VesaKarvonen</a> <a name="W"><h3>W</h3></a><a href="WantedPages">WantedPages</a> <br><a href="WarnUnusedAnomalies">WarnUnusedAnomalies</a> <br><a href="WebSite">WebSite</a> <br><a href="WesleyTerpstra">WesleyTerpstra</a> <br><a href="WholeProgramOptimization">WholeProgramOptimization</a> <br><a href="WikiMacros">WikiMacros</a> <br><a href="WikiName">WikiName</a> <br><a href="WikiTool">WikiTool</a> <br><a href="WishList">WishList</a> <a name="X"><h3>X</h3></a><a href="XML">XML</a> <br><a href="XMLShrink">XMLShrink</a> <br><a href="XMLSimplify">XMLSimplify</a> <br><a href="XMLSimplifyTypes">XMLSimplifyTypes</a> <a name="Z"><h3>Z</h3></a><a href="Zone">Zone</a> <br><a href="ZZZOrphanedPages">ZZZOrphanedPages</a> </div> <p> <hr> </body></html>