> I get a grand total of 53 die.*.cfg.dot files. The exact flags I am giving > MLton are: > -g -native false -DGC_EVERY_CHECK -DINSTRUMENTED -keep g -keep cps > -keep dot Aha. You should be using -keep ssa, not -keep cps. CPS is almost obsolete. You are seeing the stuff before any optimization.