[m-dev.] for review: new debugger command set (part 1 of 4)

[Fergus Henderson]

On 01-Oct-1998, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> Index: compiler/options.m
> -		"--trace {minimum, interfaces, all, default}",
> +		"--trace {minimum, shallow, deep, default}",
>  		"\tGenerate code that includes the specified level", 
>  		"\tof execution tracing.",
> -		"\tSee the [XXX not yet written!] chapter of the",
> -		"\tMercury User's Guide for details.",
> +		"\tSee the Debugging chapter of the Mercury User's Guide for details.",
> +		"--no-trace-internal",
> +		"\tDo not generate code for internal events even if the trace",
> +		"\tlevel is deep.",
> +		"--no-trace-return",
> +		"\tDo not generate trace information for call return sites.",
> +		"\tPrevents the printing of the values of variables in ancestors",
> +		"\tof the current call.",
> +		"--no-trace-redo",
> +		"\tDo not generate code for REDO events.",
> +		"--trace-optimized",
> +		"\tDo not disable optimizations that can change the trace.",
>  		"--generate-bytecode",
>  		"\tOutput a bytecode form of the module for use",
>  		"\tby an experimental debugger.",

These options don't really belong in the "Auxiliary Options" section.
I think it would be worth creating a new section in the help
message for "Debugging Options" rather than putting all of
these in the auxiliary output options.

Also I suggest
s/generate code for REDO events/generate code to trace REDO events/

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.