Here are the times for the NJ compiled version of MLton to compile itself and the MLton compiled version of MLton to compile itself. NJ 576.61 MLton 316.93 This is about the same ratio as always, so the changes at least haven't hurt anything. The size of the new MLton executable is about 100K smaller than the old one (3.4M vs 3.5M).