<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="generator" content="Asciidoctor 2.0.23">
<title>Bugs20100608</title>
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Open+Sans:300,300italic,400,400italic,600,600italic%7CNoto+Serif:400,400italic,700,700italic%7CDroid+Sans+Mono:400,700">
<link rel="stylesheet" href="./asciidoctor.css">
<link rel="stylesheet" href="./mlton.css">

</head>
<body class="article">
<div id="mlton-header">
<div id="mlton-header-text">
<h2>
<a href="./Home">
MLton
20241230
</a>
</h2>
</div>
</div>
<div id="header">
<h1>Bugs20100608</h1>
</div>
<div id="content">
<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 <code>REAL.signBit</code>, <code>REAL.copySign</code>, and <code>REAL.toDecimal</code>/<code>REAL.fromDecimal</code>.</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/search?q=SVN`r7571&amp;type=commits"><code>r7571</code></a>, <a href="https://github.com/MLton/mlton/search?q=SVN`r7572&amp;type=commits"><code>r7572</code></a>, and <a href="https://github.com/MLton/mlton/search?q=SVN+r7573&amp;type=commits"><code>r7573</code></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/search?q=SVN+r7565&amp;type=commits"><code>r7565</code></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/search?q=SVN+r7561&amp;type=commits"><code>r7561</code></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 <code>Bug</code> 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/search?q=SVN+r7546&amp;type=commits"><code>r7546</code></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 <code>case</code> expressions over non-primitive-sized words.</p>
<div class="paragraph">
<p>Fixed by revision <a href="https://github.com/MLton/mlton/search?q=SVN+r7544&amp;type=commits"><code>r7544</code></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/search?q=SVN+r7542&amp;type=commits"><code>r7542</code></a>.</p>
</div>
</li>
<li>
<p><a id="bug05"></a>
Bug with treatment of <code>as</code>-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/search?q=SVN+r7530&amp;type=commits"><code>r7530</code></a>.</p>
</div>
</li>
<li>
<p><a id="bug04"></a>
Bug with treatment of <code>nan</code> 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/search?q=SVN+r7503&amp;type=commits"><code>r7503</code></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/search?q=SVN+r7502&amp;type=commits"><code>r7502</code></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/search?q=SVN+r7501&amp;type=commits"><code>r7501</code></a>.</p>
</div>
</li>
<li>
<p><a id="bug01"></a>
Bug in comment-handling in lexer for <a href="MLYacc">MLYacc</a>&rsquo;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/search?q=SVN+r7500&amp;type=commits"><code>r7500</code></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 <code>Subscript</code> exception.</p>
<div class="paragraph">
<p>Fixed by revision <a href="https://github.com/MLton/mlton/search?q=SVN+r75497&amp;type=commits"><code>r75497</code></a>.</p>
</div>
</li>
</ul>
</div>
</div>
<div id="mlton-footer">
<div id="mlton-footer-text">
<div>
Last updated Thu Oct 21 15:53:06 2021 -0400 by Matthew Fluet.
<a href="https://github.com/MLton/mlton/commits/master/doc/guide/src/Bugs20100608.adoc">Log</a>
<a href="https://github.com/MLton/mlton/edit/master/doc/guide/src/Bugs20100608.adoc">Edit</a>
</div>
</div>
</body>
</html>