<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.10">
<title>MatthewFluet</title>
<link rel="stylesheet" href="./asciidoc.css" type="text/css">
<link rel="stylesheet" href="./pygments.css" type="text/css">


<script type="text/javascript" src="./asciidoc.js"></script>
<script type="text/javascript">
/*<![CDATA[*/
asciidoc.install();
/*]]>*/
</script>
<link rel="stylesheet" href="./mlton.css" type="text/css">
</head>
<body class="article">
<div id="banner">
<div id="banner-home">
<a href="./Home">MLton 20201002</a>
</div>
</div>
<div id="header">
<h1>MatthewFluet</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>Matthew Fluet (
<a href="mailto:matthew.fluet@gmail.com">matthew.fluet@gmail.com</a>
,
<a href="http://www.cs.rit.edu/%7Emtf">http://www.cs.rit.edu/%7Emtf</a>
)
is an Assistant Professor at the <a href="http://www.rit.edu">Rochester Institute of Technology</a>.</p></div>
<hr>
<div class="paragraph"><p>Current MLton projects:</p></div>
<div class="ulist"><ul>
<li>
<p>
general maintenance
</p>
</li>
<li>
<p>
release new version
</p>
</li>
</ul></div>
<hr>
<div class="paragraph"><p>Misc. and underspecified TODOs:</p></div>
<div class="ulist"><ul>
<li>
<p>
understand <a href="RefFlatten">RefFlatten</a> and <a href="DeepFlatten">DeepFlatten</a>
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2005-April/026990.html">http://www.mlton.org/pipermail/mlton/2005-April/026990.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2007-November/030056.html">http://www.mlton.org/pipermail/mlton/2007-November/030056.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-April/030250.html">http://www.mlton.org/pipermail/mlton/2008-April/030250.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-July/030279.html">http://www.mlton.org/pipermail/mlton/2008-July/030279.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-August/030312.html">http://www.mlton.org/pipermail/mlton/2008-August/030312.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-September/030360.html">http://www.mlton.org/pipermail/mlton/2008-September/030360.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton-user/2009-June/001542.html">http://www.mlton.org/pipermail/mlton-user/2009-June/001542.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
<span class="monospaced">MSG_DONTWAIT</span> isn&#8217;t Posix
</p>
</li>
<li>
<p>
coordinate w/ Dan Spoonhower and Lukasz Ziarek and Armand Navabi on multi-threaded
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-March/030214.html">http://www.mlton.org/pipermail/mlton/2008-March/030214.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
Intel Research bug: <span class="monospaced">no tyconRep property</span> (company won&#8217;t release sample code)
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton-user/2008-March/001358.html">http://www.mlton.org/pipermail/mlton-user/2008-March/001358.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
treatment of real constants
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-May/030262.html">http://www.mlton.org/pipermail/mlton/2008-May/030262.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-June/030271.html">http://www.mlton.org/pipermail/mlton/2008-June/030271.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
representation of <span class="monospaced">bool</span> and <span class="monospaced">_bool</span> in <a href="ForeignFunctionInterface">ForeignFunctionInterface</a>
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-May/030264.html">http://www.mlton.org/pipermail/mlton/2008-May/030264.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
<a href="http://www.icfpcontest.org">http://www.icfpcontest.org</a>
</p>
<div class="ulist"><ul>
<li>
<p>
John Reppy claims that "It looks like the card-marking overhead that one incurs when using generational collection swamps the benefits of generational collection."
</p>
</li>
</ul></div>
</li>
<li>
<p>
page to disk policy / single heap
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-June/030278.html">http://www.mlton.org/pipermail/mlton/2008-June/030278.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-August/030318.html">http://www.mlton.org/pipermail/mlton/2008-August/030318.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
<span class="monospaced">MLton.GC.pack</span> doesn&#8217;t keep a small heap if a garbage collection occurs before <span class="monospaced">MLton.GC.unpack</span>.
</p>
<div class="ulist"><ul>
<li>
<p>
It might be preferable for <span class="monospaced">MLton.GC.pack</span> to be implemented as a (new) <span class="monospaced">MLton.GC.Ratios.setLive 1.1</span> followed by <span class="monospaced">MLton.GC.collect ()</span> and for <span class="monospaced">MLton.GC.unpack</span> to be implemented as <span class="monospaced">MLton.GC.Ratios.setLive 8.0</span> followed by <span class="monospaced">MLton.GC.collect ()</span>.
</p>
</li>
</ul></div>
</li>
<li>
<p>
The <span class="monospaced">static struct GC_objectType objectTypes[] =</span> array includes many duplicates.  Objects of distinct source type, but equivalent representations (in terms of size, bytes non-pointers, number pointers) can share the objectType index.
</p>
</li>
<li>
<p>
PolySpace bug: <a href="Redundant">Redundant</a> optimization (company won&#8217;t release sample code)
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-September/030355.html">http://www.mlton.org/pipermail/mlton/2008-September/030355.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
treatment of exception raised during <a href="BasisLibrary">BasisLibrary</a> evaluation
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-December/030501.html">http://www.mlton.org/pipermail/mlton/2008-December/030501.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-December/030502.html">http://www.mlton.org/pipermail/mlton/2008-December/030502.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-December/030503.html">http://www.mlton.org/pipermail/mlton/2008-December/030503.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
Use <span class="monospaced">memcpy</span>
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton-user/2009-January/001506.html">http://www.mlton.org/pipermail/mlton-user/2009-January/001506.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2009-January/030506.html">http://www.mlton.org/pipermail/mlton/2009-January/030506.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
Implement more 64bit primops in x86 codegen
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2009-January/030507.html">http://www.mlton.org/pipermail/mlton/2009-January/030507.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
Enrich path-map file syntax:
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2008-September/030348.html">http://www.mlton.org/pipermail/mlton/2008-September/030348.html</a>
</p>
</li>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton-user/2009-January/001507.html">http://www.mlton.org/pipermail/mlton-user/2009-January/001507.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
PolySpace bug: crash during Cheney-copy collection
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2009-February/030513.html">http://www.mlton.org/pipermail/mlton/2009-February/030513.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
eliminate <span class="monospaced">-build-constants</span>
</p>
<div class="ulist"><ul>
<li>
<p>
all <span class="monospaced">_const</span>-s are known by <span class="monospaced">runtime/gen/basis-ffi.def</span>
</p>
</li>
<li>
<p>
generate <span class="monospaced">gen-constants.c</span> from <span class="monospaced">basis-ffi.def</span>
</p>
</li>
<li>
<p>
generate <span class="monospaced">constants</span> from <span class="monospaced">gen-constants.c</span> and <span class="monospaced">libmlton.a</span>
</p>
</li>
<li>
<p>
similar to <span class="monospaced">gen-sizes.c</span> and <span class="monospaced">sizes</span>
</p>
</li>
</ul></div>
</li>
<li>
<p>
eliminate "Windows hacks" for Cygwin from <span class="monospaced">Path</span> module
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2009-July/030606.html">http://www.mlton.org/pipermail/mlton/2009-July/030606.html</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
extend IL type checkers to check for empty property lists
</p>
</li>
<li>
<p>
make (unsafe) <span class="monospaced">IntInf</span> conversions into primitives
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="http://www.mlton.org/pipermail/mlton/2009-July/030622.html">http://www.mlton.org/pipermail/mlton/2009-July/030622.html</a>
</p>
</li>
</ul></div>
</li>
</ul></div>
</div>
</div>
</div>
<div id="footnotes"><hr></div>
<div id="footer">
<div id="footer-text">
</div>
<div id="footer-badges">
</div>
</div>
</body>
</html>
