[m-rev.] for review: print contour when found incorrect contour bug

[Julien Fischer]

On Sun, 2 Jan 2005, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 4
> Branches: main
>
> Print all atoms in a contour when found incorrect contour bug.
>
That sentence doesn't make sense.


> browser/declarative_debugger.m
> 	Define decl_contour type as a list of final atoms.
>
> browser/declarative_tree.m
> 	Add function to find the exit atoms in a contour.  Include the contour
> 	in incorrect contour bugs.
>
> browser/declarative_user.m
> 	Print exit atoms in contour when displaying incorrect contour bug.
>
> doc/user_guide.texi
> 	Document new output for incorrect contour bugs.
>

> Index: doc/user_guide.texi
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
> retrieving revision 1.404
> diff -u -r1.404 user_guide.texi
> --- doc/user_guide.texi	20 Dec 2004 01:15:48 -0000	1.404
> +++ doc/user_guide.texi	30 Dec 2004 05:23:23 -0000
> @@ -3824,10 +3824,10 @@
>  lead to a kind of bug we call an ``incorrect contour''.
>  This is a contour (an execution path through the body of a clause)
>  which results in a wrong answer for that clause.
> -When the debugger diagnoses a bug of this kind,
> -it displays the exit atom for the event at the end of the contour.
> -The program event associated with this bug, which we call the ``bug event'',
> -is the exit event at the end of the contour.
> +When the debugger diagnoses a bug of this kind, it displays the exit atoms in
> +the contour, with the resulting incorrect exit atom at the end.  The program
I suggest making that two sentences:

	When the debugger diagnoeses .... the contour.  The incorrect
	exit atom is displayed last.

or something like that.

> +event associated with this bug, which we call the ``bug event'', is the exit
> +event at the end of the contour.
>  (The current implementation does not yet display a representation
>  of which contour was at fault.)
>

Looks fine otherwise.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------