Thanks for the bug report and the fix, guys. I've committed the fix. Adam, you can check here for known bugs http://mlton.org/Bugs20041109