[m-rev.] for review: fix a sanity check in the declarative debugger

Zoltan Somogyi zs at cs.mu.OZ.AU
Tue Jun 14 11:57:17 AEST 2005


On 14-Jun-2005, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
> Tell the declarative debugger that private_builtin predicates don't generate
> any events.  When a program is compiled in a .decldebug grade the
> declarative debugger performs a sanity check when doing subterm dependency
> tracking.  It checks that each interface event matches up to the correct
> atomic goal in the procedure body.  This sanity check was failing when
> a call to a predicate from private_builtin was encountered, since such calls
> don't generate any events.

That looks fine.

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



More information about the reviews mailing list