There is a thread on comp.lang.ml with this title. Does any of you have access to a RedHat 7.0 machine and could try compiling the latest released MLton SRPM? I'd be interested to know if it works.