<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta name="robots" content="index,nofollow">
<title>Bugs20051202 - MLton Standard ML Compiler (SML Compiler)</title>
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
<link rel="Start" href="Home">
</head>
<body lang="en" dir="ltr">
<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
</script>
<script type="text/javascript">
_uacct = "UA-833377-1";
urchinTracker();
</script>
<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
<tr>
<td style = "
border: 0px;
color: darkblue;
font-size: 150%;
text-align: left;">
<a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
<td style = "
border: 0px;
font-size: 150%;
text-align: center;
width: 50%;">
Bugs20051202
<td style = "
border: 0px;
text-align: right;">
<table cellspacing = 0 style = "border: 0px">
<tr style = "vertical-align: middle;">
</table>
<tr style = "background-color: white;">
<td colspan = 3
style = "
border: 0px;
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
<a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Here are the known bugs in <a href="Release20051202">MLton 20051202</a>, listed in reverse chronological order of date reported. <p>
<a id="15"></a>
</p>
<ul>
<li>
<p>
Bug in the <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.fmt:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real<N>.fmt</a>, <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.fromString:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real<N>.fromString</a>, <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.scan:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real<N>.scan</a>, and <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.toString:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real<N>.toString</a> functions of the <a href="BasisLibrary">basis library</a> implementation. These functions were using <tt>TO_NEAREST</tt> semantics, but should obey the current rounding mode. (Only <tt>Real<N>.fmt StringCvt.EXACT</tt>, <tt>Real<N>.fromDecimal</tt>, and <tt>Real<N>.toDecimal</tt> are specified to override the current rounding mode with <tt>TO_NEAREST</tt> semantics.) Thanks to Sean McLaughlin for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5827&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5827</a>.
</p>
</li>
</ul>
<p>
<a id="15"></a>
</p>
<ul>
<li>
<p>
Bug in the treatment of floating-point operations. Floating-point operations depend on the current rounding mode, but were being treated as pure. Thanks to Sean McLaughlin for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5794&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5794</a>.
</p>
</li>
</ul>
<p>
<a id="14"></a>
</p>
<ul>
<li>
<p>
Bug in the <a class="external" href="http://mlton.org/basis/real.html#SIG:REAL.toInt:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Real32.toInt</a> function of the <a href="BasisLibrary">basis library</a> implementation could lead incorrect results when applied to a <tt>Real.real</tt> value numerically close to <tt>valOf(Int.maxInt)</tt>. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5764&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5764</a>.
</p>
</li>
</ul>
<p>
<a id="13"></a>
</p>
<ul>
<li>
<p>
The <a class="external" href="http://mlton.org/basis/socket.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Socket</a> structure of the <a href="BasisLibrary">basis library</a> implementation used <tt>andb</tt> rather than <tt>orb</tt> to unmarshal socket options (for <tt>Socket.Ctl.get<OPT></tt> functions). Thanks to Anders Petersson for the bug report and patch. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5735&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5735</a>.
</p>
</li>
</ul>
<p>
<a id="12"></a>
</p>
<ul>
<li>
<p>
Bug in the <a class="external" href="http://mlton.org/basis/date.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Date</a> structure of the <a href="BasisLibrary">basis library</a> implementation yielded some functions that would erroneously raise <tt>Date</tt> when applied to a year before 1900. Thanks to Joe Hurd for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5732&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5732</a>.
</p>
</li>
</ul>
<p>
<a id="11"></a>
</p>
<ul>
<li>
<p>
Bug in monomorphisation pass could exhibit the error <tt>Type error: type mismatch</tt>. Thanks to Vesa Karvonen for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5731&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5731</a>.
</p>
</li>
</ul>
<p>
<a id="10"></a>
</p>
<ul>
<li>
<p>
The <a class="external" href="http://mlton.org/basis/pack-float.html#SIG:PACK_REAL.toBytes:VAL"><img src="moin-www.png" alt="[WWW]" height="11" width="11">PackReal<N>.toBytes</a> function in the <a href="BasisLibrary">basis library</a> implementation incorrectly shared (and mutated) the result vector. Thanks to Eric McCorkle for the bug report and patch. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=5281&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">5281</a>.
</p>
</li>
</ul>
<p>
<a id="9"></a>
</p>
<ul>
<li>
<p>
Bug in elaboration of FFI forms. Using a unary FFI types (e.g., <tt>array</tt>, <tt>ref</tt>, <tt>vector</tt>) in places where <tt>MLton.Pointer.t</tt> was required would lead to an internal error <tt>TypeError</tt>. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4890&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4890</a>.
</p>
</li>
</ul>
<p>
<a id="8"></a>
</p>
<ul>
<li>
<p>
The <a class="external" href="http://mlton.org/basis/mono-vector.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MONO_VECTOR</a> signature of the <a href="BasisLibrary">basis library</a> implementation incorrectly omits the specification of <tt>find</tt>. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4707&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4707</a>.
</p>
</li>
</ul>
<p>
<a id="7"></a>
</p>
<ul>
<li>
<p>
The optimizer reports an internal error (<tt>TypeError</tt>) when an imported C function is called but not used. Thanks to <tt>jq</tt> for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4690&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4690</a>.
</p>
</li>
</ul>
<p>
<a id="6"></a>
</p>
<ul>
<li>
<p>
Bug in pass to flatten data structures. Thanks to Joe Hurd for the bug report. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4662&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4662</a>.
</p>
</li>
</ul>
<p>
<a id="5"></a>
</p>
<ul>
<li>
<p>
The native codegen's implementation of the C-calling convention failed to widen 16-bit arguments to 32-bits. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4631&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4631</a>.
</p>
</li>
</ul>
<p>
<a id="4"></a>
</p>
<ul>
<li>
<p>
The <a class="external" href="http://mlton.org/basis/pack-float.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">PACK_REAL</a> structures of the <a href="BasisLibrary">basis library</a> implementation used byte, rather than element, indexing. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4411&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4411</a>.
</p>
</li>
</ul>
<p>
<a id="3"></a>
</p>
<ul>
<li>
<p>
<tt>MLton.share</tt> could cause a segmentation fault. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4400&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4400</a>.
</p>
</li>
</ul>
<p>
<a id="2"></a>
</p>
<ul>
<li>
<p>
The SSA simplifier could eliminate an irredundant test. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4370&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4370</a>.
</p>
</li>
</ul>
<p>
<a id="1"></a>
</p>
<ul>
<li>
<p>
A program with a very large number of functors could exhibit the error <tt>ElaborateEnv.functorClosure: firstTycons</tt>. Fixed by revision <a href = "http://mlton.org/cgi-bin/viewsvn.cgi?rev=4344&view=rev"><img src="moin-www.png" alt="[WWW]" height="11" width="11">4344</a>.
</p>
</li>
</ul>
</div>
<p>
<hr>
Last edited on 2007-08-24 20:21:04 by <span title="fenrir.uchicago.edu"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
