> Ah. Wouldn't it be reasonable to have a switch that WOULD be documented in > the usage (and man page) which would give you the expert options? I'm happy enough with "mlton -v -z". I don't see the need for documentation, since it's for experts :-). Seriously, I wouldn't mind a section in either the User or Hacker Guide on expert options, but it's not a high priority.