Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / Bugs20051202
CommitLineData
7f918cf1
CE
1<!DOCTYPE html>\r
2<html lang="en">\r
3<head>\r
4<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">\r
5<meta name="generator" content="AsciiDoc 8.6.9">\r
6<title>Bugs20051202</title>\r
7<link rel="stylesheet" href="./asciidoc.css" type="text/css">\r
8<link rel="stylesheet" href="./pygments.css" type="text/css">\r
9\r
10\r
11<script type="text/javascript" src="./asciidoc.js"></script>\r
12<script type="text/javascript">\r
13/*<![CDATA[*/\r
14asciidoc.install();\r
15/*]]>*/\r
16</script>\r
17<link rel="stylesheet" href="./mlton.css" type="text/css">\r
18</head>\r
19<body class="article">\r
20<div id="banner">\r
21<div id="banner-home">\r
22<a href="./Home">MLton 20180207</a>\r
23</div>\r
24</div>\r
25<div id="header">\r
26<h1>Bugs20051202</h1>\r
27</div>\r
28<div id="content">\r
29<div id="preamble">\r
30<div class="sectionbody">\r
31<div class="paragraph"><p>Here are the known bugs in <a href="Release20051202">MLton 20051202</a>, listed\r
32in reverse chronological order of date reported.</p></div>\r
33<div class="ulist"><ul>\r
34<li>\r
35<p>\r
36<a id="bug16"></a>\r
37Bug 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.)\r
38</p>\r
39<div class="paragraph"><p>Thanks to Sean McLaughlin for the bug report.</p></div>\r
40<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>\r
41</li>\r
42<li>\r
43<p>\r
44<a id="bug15"></a>\r
45Bug in the treatment of floating-point operations. Floating-point operations depend on the current rounding mode, but were being treated as pure.\r
46</p>\r
47<div class="paragraph"><p>Thanks to Sean McLaughlin for the bug report.</p></div>\r
48<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>\r
49</li>\r
50<li>\r
51<p>\r
52<a id="bug14"></a>\r
53Bug 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>.\r
54</p>\r
55<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>\r
56</li>\r
57<li>\r
58<p>\r
59<a id="bug13"></a>\r
60The <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).\r
61</p>\r
62<div class="paragraph"><p>Thanks to Anders Petersson for the bug report and patch.</p></div>\r
63<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>\r
64</li>\r
65<li>\r
66<p>\r
67<a id="bug12"></a>\r
68Bug 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.\r
69</p>\r
70<div class="paragraph"><p>Thanks to Joe Hurd for the bug report.</p></div>\r
71<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>\r
72</li>\r
73<li>\r
74<p>\r
75<a id="bug11"></a>\r
76Bug in monomorphisation pass could exhibit the error <span class="monospaced">Type error: type mismatch</span>.\r
77</p>\r
78<div class="paragraph"><p>Thanks to Vesa Karvonen for the bug report.</p></div>\r
79<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>\r
80</li>\r
81<li>\r
82<p>\r
83<a id="bug10"></a>\r
84The <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.\r
85</p>\r
86<div class="paragraph"><p>Thanks to Eric McCorkle for the bug report and patch.</p></div>\r
87<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>\r
88</li>\r
89<li>\r
90<p>\r
91<a id="bug09"></a>\r
92Bug 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>.\r
93</p>\r
94<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>\r
95</li>\r
96<li>\r
97<p>\r
98<a id="bug08"></a>\r
99The <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>.\r
100</p>\r
101<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>\r
102</li>\r
103<li>\r
104<p>\r
105<a id="bug07"></a>\r
106The optimizer reports an internal error (<span class="monospaced">TypeError</span>) when an imported C function is called but not used.\r
107</p>\r
108<div class="paragraph"><p>Thanks to "jq" for the bug report.</p></div>\r
109<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>\r
110</li>\r
111<li>\r
112<p>\r
113<a id="bug06"></a>\r
114Bug in pass to flatten data structures.\r
115</p>\r
116<div class="paragraph"><p>Thanks to Joe Hurd for the bug report.</p></div>\r
117<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>\r
118</li>\r
119<li>\r
120<p>\r
121<a id="bug05"></a>\r
122The native codegen&#8217;s implementation of the C-calling convention failed to widen 16-bit arguments to 32-bits.\r
123</p>\r
124<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>\r
125</li>\r
126<li>\r
127<p>\r
128<a id="bug04"></a>\r
129The <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.\r
130</p>\r
131<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>\r
132</li>\r
133<li>\r
134<p>\r
135<a id="bug03"></a>\r
136<span class="monospaced">MLton.share</span> could cause a segmentation fault.\r
137</p>\r
138<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>\r
139</li>\r
140<li>\r
141<p>\r
142<a id="bug02"></a>\r
143The SSA simplifier could eliminate an irredundant test.\r
144</p>\r
145<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>\r
146</li>\r
147<li>\r
148<p>\r
149<a id="bug01"></a>\r
150A program with a very large number of functors could exhibit the error <span class="monospaced">ElaborateEnv.functorClosure: firstTycons</span>.\r
151</p>\r
152<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>\r
153</li>\r
154</ul></div>\r
155</div>\r
156</div>\r
157</div>\r
158<div id="footnotes"><hr></div>\r
159<div id="footer">\r
160<div id="footer-text">\r
161</div>\r
162<div id="footer-badges">\r
163</div>\r
164</div>\r
165</body>\r
166</html>\r