> The advantage of putting stuff in CM files is that it is clearly NOT part of > standard ML. I agree, that this may not be huge, but I think that the > advantage of making it clear what non-standard stuff must be provided is VERY > huge. What do you propose for command line calls like "mlton foo.sml"?