dot output

Stephen Weeks MLton@sourcelight.com
Mon, 26 Nov 2001 22:34:57 -0800


> 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.