It might be less useful in MLton than in gcc (it being unused variable warnings) because of the lack of a way to specify things as libraries. I'm thinking of the fact that I often just include a bunch of things that I think of as libraries, and I am not interested in unused things there. Still, as an option it is hard to argue against it.