1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
|
<!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>
|
