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.