MLton 20210117

# 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.