[m-rev.] for review: call table tip cleanup

[Fergus Henderson]

That one looks fine.

On 13-May-2003, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> Change the way we attach the call_table_gen feature to the goal that computes
> the node at the tip of the call table. We still generate a conjunction
> of lookup goals, one for each input argument. However, instead of
> attaching the feature to the conjunction and wrapping the conjunction
> in a cannot_remove some() goal to protect the conjunction against flattening
> (since flattening would remove the feature), we now simply attach the feature
> to the rightmost lookup goal, the one that actually computes the call table
> tip node. Since this goal has an output that is needed, it cannot be optimized
> away, and optimizations  cannot transform it either, because it is a primitive
> (a call to a procedure designed by foreign_proc).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------