> Would it be consistent with the MLton philosophy to have a flag that > allowed MLton to accept SML/NJ and other language extensions for > compatibility purposes? The flag could have three values "warn", > "pure", and "quiet". Based on the email I just sent, I'd have to say yes it is consistent, as long as the default value is pure.