As I see it, there are three possible things that "mlton -stop sml mlton.cm" can produce. 1. code valid for MLton with the standard basis 2. code valid for MLton with the standard basis + the MLton structure 3. code valid for SML/NJ Which of these would you like?