Hi Doug. I'm glad to see your page is back. I wanted to let you know that there is a new release of MLton available at http://www.sourcelight.com/MLton/mlton-20010706-1.i386.rpm This release has a native code backend (instead of gcc), so we should see better numbers for MLton.