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