## MLton 20241230

# Bugs20100608

Here are the known bugs in MLton 20100608, listed in reverse chronological order of date reported.

- Bugs in `REAL.signBit`, `REAL.copySign`, and `REAL.toDecimal`/`REAL.fromDecimal`.

  Thanks to Phil Clayton for the bug report and examples.

  Fixed by revisions `r7571`, `r7572`, and `r7573`.

- Bug in elaboration of type variables with and without equality status.

  Thanks to Rob Simmons for the bug report and examples.

  Fixed by revision `r7565`.

- Bug in redundant SSA optimization.

  Thanks to Lars Magnusson for the bug report and example.

  Fixed by revision `r7561`.

- Bug in SSA/SSA2 shrinker that could erroneously turn a non-tail function call with a `Bug` transfer as its continuation into a tail function call.

  Thanks to Lars Bergstrom for the bug report.

  Fixed by revision `r7546`.

- Bug in translation from SSA2 to RSSA with `case` expressions over non-primitive-sized words.

  Fixed by revision `r7544`.

- Bug with SSA/SSA2 type checking of case expressions over words.

  Fixed by revision `r7542`.

- Bug with treatment of `as`-patterns, which should not allow the redefinition of constructor status.

  Thanks to Michael Norrish for the bug report.

  Fixed by revision `r7530`.

- Bug with treatment of `nan` in common subexpression elimination SSA optimization.

  Thanks to Alexandre Hamez for the bug report.

  Fixed by revision `r7503`.

- Bug in translation from SSA2 to RSSA with weak pointers.

  Thanks to Alexandre Hamez for the bug report.

  Fixed by revision `r7502`.

- Bug in amd64 codegen calling convention for varargs C calls.

  Thanks to HenryCejtin for the bug report and WesleyTerpstra for the initial diagnosis.

  Fixed by revision `r7501`.

- Bug in comment-handling in lexer for MLYacc’s input language.

  Thanks to Michael Norrish for the bug report and patch.

  Fixed by revision `r7500`.

- Bug in elaboration of function clauses with different numbers of arguments that would raise an uncaught `Subscript` exception.

  Fixed by revision `r75497`.