<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.8">
<title>Bugs20100608</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 20130715</a>
</div>
</div>
<div id="header">
<h1>Bugs20100608</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>Here are the known bugs in <a href="Release20100608">MLton 20100608</a>, listed
in reverse chronological order of date reported.</p></div>
<div class="ulist"><ul>
<li>
<p>
<a id="bug11"></a>
Bugs in <span class="monospaced">REAL.signBit</span>, <span class="monospaced">REAL.copySign</span>, and <span class="monospaced">REAL.toDecimal</span>/<span class="monospaced">REAL.fromDecimal</span>.
</p>
<div class="paragraph"><p>Thanks to Phil Clayton for the bug report and examples.</p></div>
<div class="paragraph"><p>Fixed by revisions <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7571"><span class="monospaced">r7571</span></a>, <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7572"><span class="monospaced">r7572</span></a>, and <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7573"><span class="monospaced">r7573</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug10"></a>
Bug in elaboration of type variables with and without equality status.
</p>
<div class="paragraph"><p>Thanks to Rob Simmons for the bug report and examples.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7565"><span class="monospaced">r7565</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug09"></a>
Bug in <a href="Redundant">redundant</a> <a href="SSA">SSA</a> optimization.
</p>
<div class="paragraph"><p>Thanks to Lars Magnusson for the bug report and example.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7561"><span class="monospaced">r7561</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug08"></a>
Bug in <a href="SSA">SSA</a>/<a href="SSA2">SSA2</a> <a href="Shrink">shrinker</a> that could erroneously turn a non-tail function call with a <span class="monospaced">Bug</span> transfer as its continuation into a tail function call.
</p>
<div class="paragraph"><p>Thanks to Lars Bergstrom for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7546"><span class="monospaced">r7546</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug07"></a>
Bug in translation from <a href="SSA2">SSA2</a> to <a href="RSSA">RSSA</a> with <span class="monospaced">case</span> expressions over non-primitive-sized words.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7544"><span class="monospaced">r7544</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug06"></a>
Bug with <a href="SSA">SSA</a>/<a href="SSA2">SSA2</a> type checking of case expressions over words.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7542"><span class="monospaced">r7542</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug05"></a>
Bug with treatment of <span class="monospaced">as</span>-patterns, which should not allow the redefinition of constructor status.
</p>
<div class="paragraph"><p>Thanks to Michael Norrish for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7530"><span class="monospaced">r7530</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug04"></a>
Bug with treatment of <span class="monospaced">nan</span> in <a href="CommonSubexp">common subexpression elimination</a> <a href="SSA">SSA</a> optimization.
</p>
<div class="paragraph"><p>Thanks to Alexandre Hamez for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7503"><span class="monospaced">r7503</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug03"></a>
Bug in translation from <a href="SSA2">SSA2</a> to <a href="RSSA">RSSA</a> with weak pointers.
</p>
<div class="paragraph"><p>Thanks to Alexandre Hamez for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7502"><span class="monospaced">r7502</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug02"></a>
Bug in amd64 codegen calling convention for varargs C calls.
</p>
<div class="paragraph"><p>Thanks to <a href="HenryCejtin">HenryCejtin</a> for the bug report and <a href="WesleyTerpstra">WesleyTerpstra</a> for the initial diagnosis.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7501"><span class="monospaced">r7501</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug01"></a>
Bug in comment-handling in lexer for <a href="MLYacc">MLYacc</a>'s input language.
</p>
<div class="paragraph"><p>Thanks to Michael Norrish for the bug report and patch.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7500"><span class="monospaced">r7500</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug00"></a>
Bug in elaboration of function clauses with different numbers of arguments that would raise an uncaught <span class="monospaced">Subscript</span> exception.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r75497"><span class="monospaced">r75497</span></a>.</p></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>
