Are you interested in cases where SML/NJ outperforms MLton? I have been playing around with some projects of my own in an attempt to learn SML and found that, for one program, SML/NJ runs in about 70% of the time of MLton (runtime is between 20-30 minutes). Is there some profiling I can do before I dump 800 lines of badly written ML into your laps? Alan