hi, There is a bug related to the "-stop" switch, which is located at line 740 of mlton/main/main.fun. The arg is "{f|g|o|sml|tc}", whereas the code next disallows "sml". -Paul