for review: interface tracing, part 1

[Lee Naish]

Fergus Henderson <fjh at cs.mu.OZ.AU> writes:
>options.m:
> > +	io__write_string("\t--trace {minimal, interface, full}\n"),
> > +	io__write_string("\t\tGenerate code that includes the specified level\n"), 
> > +	io__write_string("\t\tof execution tracing.\n"),

>These options are a bit ungrammatical.
>`--trace interface' parses OK (although one could argue for
>`--trace interfaces') with `trace' being an imperative verb
>and `interface' a noun, but in each of `--trace full' and
>`--trace minimal' there is a verb and an adjective, but no noun.

>`--trace all' would be a reasonable grammatical alternative to
>`--trace full', but I can't think of a reasonable replacement
>for `--trace minimal'.

`--trace minimum' would meet this concern; arguably you would
then want `--trace maximum' instead of `--trace all' (I initially
much preferred `--trace all' but `--trace maximum' has some appeal).
I also prefer `--trace interfaces' to `--trace interface'.

	lee