[m-rev.] for review: document the .decldebug grades

[Mark Brown]

On 03-Mar-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> Index: doc/user_guide.texi
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
> retrieving revision 1.424
> diff -u -r1.424 user_guide.texi
> --- doc/user_guide.texi	2 Mar 2005 01:20:17 -0000	1.424
> +++ doc/user_guide.texi	3 Mar 2005 06:20:59 -0000
> @@ -3407,12 +3407,7 @@
>  failing test run.  Before using the @samp{dice} command one or more passing
>  execution summaries and one failing execution summary need to be generated.
>  This can be done by compiling the program with deep tracing enabled (either by
> -compiling in the .debug
> - at c XXX The following line removed until the .decldebug grade has been
> - at c documented.
> - at c or .decldebug
> -grade
> -or with the @samp{--trace deep}
> +compiling in a .debug or .decldebug grade or with the @samp{--trace deep}

You should also mention "--trace rep" here.

Otherwise, this looks fine.

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------