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

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