I am still using the straight 2004-02-27 version. Note, using the Bash shell you can always get MLton to put the output to stdout just by the subtrefuge of mlton -show-basis >(cat >&1) I actually prefer to send the output to a file any way since it is usually worth saving.