Your right, but I think (not on the basis of real knowledge) that ml-nlffigen isn't used in either the compilation of the MLton compiler, nor by the MLton compiler in compiling user code. I thought that it was for a MLton compiler user to use, and had been tweaked so that the output was usable by MLton.
I certainly could be wrong about this.
