[m-rev.] for review: use proc layouts in annotated trace

[Zoltan Somogyi]

On 01-Jul-2004, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
> Zoltan, do you think in light of this it would be best to through an  
> exception if a proc_layout refers to a compiler generated predicate in  
> the declarative debugger, since this shouldn't ever happen?

Not now, but in the future we may need to include unify or compare predicates
in the annotated trace to provide the proper context for the user-defined
predicates that they may call.

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