<!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>Bugs20051202</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>Bugs20051202</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>Here are the known bugs in <a href="Release20051202">MLton 20051202</a>, listed
in reverse chronological order of date reported.</p></div>
<div class="ulist"><ul>
<li>
<p>
<a id="bug16"></a>
Bug in the <a href="http://www.standardml.org/Basis/real.html#SIG:REAL.fmt:VAL"><span class="monospaced">Real<em>&lt;N&gt;</em>.fmt</span></a>, <a href="http://www.standardml.org/Basis/real.html#SIG:REAL.fromString:VAL"><span class="monospaced">Real<em>&lt;N&gt;</em>.fromString</span></a>, <a href="http://www.standardml.org/Basis/real.html#SIG:REAL.scan:VAL"><span class="monospaced">Real<em>&lt;N&gt;</em>.scan</span></a>, and <a href="http://www.standardml.org/Basis/real.html#SIG:REAL.toString:VAL"><span class="monospaced">Real<em>&lt;N&gt;</em>.toString</span></a> functions of the <a href="BasisLibrary">Basis Library</a> implementation.  These functions were using <span class="monospaced">TO_NEAREST</span> semantics, but should obey the current rounding mode.  (Only <span class="monospaced">Real<em>&lt;N&gt;</em>.fmt StringCvt.EXACT</span>, <span class="monospaced">Real<em>&lt;N&gt;</em>.fromDecimal</span>, and <span class="monospaced">Real<em>&lt;N&gt;</em>.toDecimal</span> are specified to override the current rounding mode with <span class="monospaced">TO_NEAREST</span> semantics.)
</p>
<div class="paragraph"><p>Thanks to Sean McLaughlin for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r5827"><span class="monospaced">r5827</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug15"></a>
Bug in the treatment of floating-point operations.  Floating-point operations depend on the current rounding mode, but were being treated as pure.
</p>
<div class="paragraph"><p>Thanks to Sean McLaughlin for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r5794"><span class="monospaced">r5794</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug14"></a>
Bug in the <a href="http://www.standardml.org/Basis/real.html#SIG:REAL.toInt:VAL"><span class="monospaced">Real32.toInt</span></a> function of the <a href="BasisLibrary">Basis Library</a> implementation could lead incorrect results when applied to a <span class="monospaced">Real32.real</span> value numerically close to <span class="monospaced">valOf(Int.maxInt)</span>.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r5764"><span class="monospaced">r5764</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug13"></a>
The <a href="http://www.standardml.org/Basis/socket.html"><span class="monospaced">Socket</span></a> structure of the <a href="BasisLibrary">Basis Library</a> implementation used <span class="monospaced">andb</span> rather than <span class="monospaced">orb</span> to unmarshal socket options (for <span class="monospaced">Socket.Ctl.get<em>&lt;OPT&gt;</em></span> functions).
</p>
<div class="paragraph"><p>Thanks to Anders Petersson 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%20r5735"><span class="monospaced">r5735</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug12"></a>
Bug in the <a href="http://www.standardml.org/Basis/date.html"><span class="monospaced">Date</span></a> structure of the <a href="BasisLibrary">Basis Library</a> implementation yielded some functions that would erroneously raise <span class="monospaced">Date</span> when applied to a year before 1900.
</p>
<div class="paragraph"><p>Thanks to Joe Hurd for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r5732"><span class="monospaced">r5732</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug11"></a>
Bug in monomorphisation pass could exhibit the error <span class="monospaced">Type error: type mismatch</span>.
</p>
<div class="paragraph"><p>Thanks to Vesa Karvonen for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r5731"><span class="monospaced">r5731</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug10"></a>
The <a href="http://www.standardml.org/Basis/pack-float.html#SIG:PACK_REAL.toBytes:VAL"><span class="monospaced">PackReal<em>&lt;N&gt;</em>.toBytes</span></a> function in the <a href="BasisLibrary">Basis Library</a> implementation incorrectly shared (and mutated) the result vector.
</p>
<div class="paragraph"><p>Thanks to Eric McCorkle 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%20r5281"><span class="monospaced">r5281</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug09"></a>
Bug in elaboration of FFI forms.  Using a unary FFI types (e.g., <span class="monospaced">array</span>, <span class="monospaced">ref</span>, <span class="monospaced">vector</span>) in places where <span class="monospaced">MLton.Pointer.t</span> was required would lead to an internal error <span class="monospaced">TypeError</span>.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r4890"><span class="monospaced">r4890</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug08"></a>
The <a href="http://www.standardml.org/Basis/mono-vector.html"><span class="monospaced">MONO_VECTOR</span></a> signature of the <a href="BasisLibrary">Basis Library</a> implementation incorrectly omits the specification of <span class="monospaced">find</span>.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r4707"><span class="monospaced">r4707</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug07"></a>
The optimizer reports an internal error (<span class="monospaced">TypeError</span>) when an imported C function is called but not used.
</p>
<div class="paragraph"><p>Thanks to "jq" for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r4690"><span class="monospaced">r4690</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug06"></a>
Bug in pass to flatten data structures.
</p>
<div class="paragraph"><p>Thanks to Joe Hurd for the bug report.</p></div>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r4662"><span class="monospaced">r4662</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug05"></a>
The native codegen&#8217;s implementation of the C-calling convention failed to widen 16-bit arguments to 32-bits.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r4631"><span class="monospaced">r4631</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug04"></a>
The <a href="http://www.standardml.org/Basis/pack-float.html"><span class="monospaced">PACK_REAL</span></a> structures of the <a href="BasisLibrary">Basis Library</a> implementation used byte, rather than element, indexing.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r4411"><span class="monospaced">r4411</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug03"></a>
<span class="monospaced">MLton.share</span> could cause a segmentation fault.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r4400"><span class="monospaced">r4400</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug02"></a>
The SSA simplifier could eliminate an irredundant test.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r4370"><span class="monospaced">r4370</span></a>.</p></div>
</li>
<li>
<p>
<a id="bug01"></a>
A program with a very large number of functors could exhibit the error <span class="monospaced">ElaborateEnv.functorClosure: firstTycons</span>.
</p>
<div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r4344"><span class="monospaced">r4344</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>
