If you want to compile MLton, you need either the source rpm or tgz. You can compile with either MLton or SML/NJ.