<!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>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 20130715</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><N></em>.fmt</span></a>, <a href="http://www.standardml.org/Basis/real.html#SIG:REAL.fromString:VAL"><span class="monospaced">Real<em><N></em>.fromString</span></a>, <a href="http://www.standardml.org/Basis/real.html#SIG:REAL.scan:VAL"><span class="monospaced">Real<em><N></em>.scan</span></a>, and <a href="http://www.standardml.org/Basis/real.html#SIG:REAL.toString:VAL"><span class="monospaced">Real<em><N></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><N></em>.fmt StringCvt.EXACT</span>, <span class="monospaced">Real<em><N></em>.fromDecimal</span>, and <span class="monospaced">Real<em><N></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><OPT></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><N></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’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>