<!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>Bugs20100608</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>Bugs20100608</h1> </div> <div id="content"> <div id="preamble"> <div class="sectionbody"> <div class="paragraph"><p>Here are the known bugs in <a href="Release20100608">MLton 20100608</a>, listed in reverse chronological order of date reported.</p></div> <div class="ulist"><ul> <li> <p> <a id="bug11"></a> Bugs in <span class="monospaced">REAL.signBit</span>, <span class="monospaced">REAL.copySign</span>, and <span class="monospaced">REAL.toDecimal</span>/<span class="monospaced">REAL.fromDecimal</span>. </p> <div class="paragraph"><p>Thanks to Phil Clayton for the bug report and examples.</p></div> <div class="paragraph"><p>Fixed by revisions <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7571"><span class="monospaced">r7571</span></a>, <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7572"><span class="monospaced">r7572</span></a>, and <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7573"><span class="monospaced">r7573</span></a>.</p></div> </li> <li> <p> <a id="bug10"></a> Bug in elaboration of type variables with and without equality status. </p> <div class="paragraph"><p>Thanks to Rob Simmons for the bug report and examples.</p></div> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7565"><span class="monospaced">r7565</span></a>.</p></div> </li> <li> <p> <a id="bug09"></a> Bug in <a href="Redundant">redundant</a> <a href="SSA">SSA</a> optimization. </p> <div class="paragraph"><p>Thanks to Lars Magnusson for the bug report and example.</p></div> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7561"><span class="monospaced">r7561</span></a>.</p></div> </li> <li> <p> <a id="bug08"></a> Bug in <a href="SSA">SSA</a>/<a href="SSA2">SSA2</a> <a href="Shrink">shrinker</a> that could erroneously turn a non-tail function call with a <span class="monospaced">Bug</span> transfer as its continuation into a tail function call. </p> <div class="paragraph"><p>Thanks to Lars Bergstrom for the bug report.</p></div> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7546"><span class="monospaced">r7546</span></a>.</p></div> </li> <li> <p> <a id="bug07"></a> Bug in translation from <a href="SSA2">SSA2</a> to <a href="RSSA">RSSA</a> with <span class="monospaced">case</span> expressions over non-primitive-sized words. </p> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7544"><span class="monospaced">r7544</span></a>.</p></div> </li> <li> <p> <a id="bug06"></a> Bug with <a href="SSA">SSA</a>/<a href="SSA2">SSA2</a> type checking of case expressions over words. </p> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7542"><span class="monospaced">r7542</span></a>.</p></div> </li> <li> <p> <a id="bug05"></a> Bug with treatment of <span class="monospaced">as</span>-patterns, which should not allow the redefinition of constructor status. </p> <div class="paragraph"><p>Thanks to Michael Norrish for the bug report.</p></div> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7530"><span class="monospaced">r7530</span></a>.</p></div> </li> <li> <p> <a id="bug04"></a> Bug with treatment of <span class="monospaced">nan</span> in <a href="CommonSubexp">common subexpression elimination</a> <a href="SSA">SSA</a> optimization. </p> <div class="paragraph"><p>Thanks to Alexandre Hamez for the bug report.</p></div> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7503"><span class="monospaced">r7503</span></a>.</p></div> </li> <li> <p> <a id="bug03"></a> Bug in translation from <a href="SSA2">SSA2</a> to <a href="RSSA">RSSA</a> with weak pointers. </p> <div class="paragraph"><p>Thanks to Alexandre Hamez for the bug report.</p></div> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7502"><span class="monospaced">r7502</span></a>.</p></div> </li> <li> <p> <a id="bug02"></a> Bug in amd64 codegen calling convention for varargs C calls. </p> <div class="paragraph"><p>Thanks to <a href="HenryCejtin">HenryCejtin</a> for the bug report and <a href="WesleyTerpstra">WesleyTerpstra</a> for the initial diagnosis.</p></div> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r7501"><span class="monospaced">r7501</span></a>.</p></div> </li> <li> <p> <a id="bug01"></a> Bug in comment-handling in lexer for <a href="MLYacc">MLYacc</a>'s input language. </p> <div class="paragraph"><p>Thanks to Michael Norrish 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%20r7500"><span class="monospaced">r7500</span></a>.</p></div> </li> <li> <p> <a id="bug00"></a> Bug in elaboration of function clauses with different numbers of arguments that would raise an uncaught <span class="monospaced">Subscript</span> exception. </p> <div class="paragraph"><p>Fixed by revision <a href="https://github.com/MLton/mlton/commit/%3A%2FSVN%20r75497"><span class="monospaced">r75497</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>