[m-dev.] for review: type specialisation round 2

[Zoltan Somogyi]

> --- options.m	1998/09/08 00:08:40	1.1
> +++ options.m	1998/09/09 00:35:42
> @@ -1751,7 +1751,10 @@
> +		"\t`--no-disable-opt-for-trace' results in only those", 
> +		"\toptimizations which don't work with tracing being disabled.",
> +		"\tThis is useful for debugging the optimization passes of",
> +		"\tthe compiler."

In my uncommitted changes for debugging, I have reorganized the tracing options
along the lines of my proposal of a few weeks ago. In that proposal, this
functionality is achieved by an option called -no-trace-optimized, which
was the default; users can then specify --trace-optimized.

In any case, I don't think that the above message conveys the right message,
since you can easily debug the optimization passes of the compiler without
--trace-optimized.

Zoltan.