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

[Ian MacLarty]

On 30 Jun 2004, at 23:36, Julien Fischer wrote:
>
>>
>> browser/declarative_oracle.m
>> 	Compiler generated predicates always trusted. This is now possible
>> 	since we have access to this info through the proc_layout.  Also  
>> since
>> 	proc_layouts are unique per mode, all modes must now be added to the
>> 	knowledge base in assert_oracle_kb.
>>
>
> Do the compiler generated predicates here include the forwarding
> predicates that are used to implement user-defined equality or
> comparison?
>
I'm not entirely sure, though apon investigation all compiler generated  
events (which I assume would include these forwarding predicates) are  
filtered out when the annotated trace is built, so this is a bit of a  
pointless check.

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?

Ian.


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

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