On Jan 12, 2005, at 07:08, Stephen Weeks wrote: > There is already "-stop tc", documented at > > http://mlton.org/CompileTimeOptions > > It does both syntax and type checking, but I don't see much point in > separating out syntax checking. Yes, sorry - you are right. I just don't know about that. Regards, /Alexandre.