code development

[Stephen Weeks]

> How do I find out about the `-diag' option to MLton?  I never heard about it
> except in the mail from you (Stephen).

It, like all expert options, is undocumented, but there is a summary
available if you run "mlton -v -z".

-diag pass
	turns on diagnostics for pass named "pass".  For pass names,
	you have to look at the source code.   Pass names are the
	"name" argument in a call to
		Control.{pass,passTypeCheck,passSimplify}
	They can be found mostly in main/compile.sml and
	cps/simplify.fun and ssa/simplify.fun