[MLton] Tabs in source files

[Matthew Fluet]

> Quoting Henry Cejtin <henry.cejtin@sbcglobal.net>:
> > I agree that once you avoid #1 (any tabs or spaces) that #3 (no tabs) is
> > far better.  The problem is how to enforce it.  It is easy to forget.
> 
> AFAIK, SVN also has some support for running scripts to verify commits,
> but I haven't used it previously. 

Sure, but you can use the scripts to either a) reject a commit with tabs 
or b) fix a commit with tabs.  Of course, if you choose b), we're back in 
the same boat: what does a tab mean?  And if you choose a), frequent 
committers quickly get annoyed.