Due to several problems with 20030711, we have made a new release, 20030716. For more details on the bugfixes, see the changelog. If you installed 20030711, please upgrade to 20030716, available at: http://www.mlton.org -- The MLton team