> About survey - what about add an IDE to the tools Good idea. I added it. > and add to the compiler section smth. like "compiler syntax check > option" 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.