Bugs20100608

MLton

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.