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

[Ian MacLarty]

On Wed, Jan 05, 2005 at 03:04:44PM +1100, Julien Fischer wrote:
> 
> 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.
> 

Print all atoms in a contour when an incorrect contour bug is found.

> 
> > 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.
>

Okay.

> 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.
> 

Thanks,

Ian.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------