> The mlton syntax is still > -i<file> > with no space. Wasn't this going to change? > > If you do change it, don't forget the man page, user guide and usage message. Yes. Got 'em.