[m-rev.] diff: fix saved_vars.m

[Zoltan Somogyi]

On 14-May-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> ...
> > +		goal_info_get_features(GoalInfo, Features),
> > +		% If the goal has a feature such as call_table_gen or impure,
> > +		% we don't want to duplicate it.
> > +		set__empty(Features)
> 
> What about innocuous features such as `constraint'?

A construction unification cannot be a constraint, because it has an output.

> Or other innocuous features added in the future?

I see your point, so I added the code you asked for, even though ...

> 	:- func ok_to_duplicate(goal_feature) = bool.
> 	ok_to_duplicate(constraint) = yes.
> 	ok_to_duplicate(call_table_gen) = no.

... ok_to_duplicate at the moment return no for all inputs (though it could
abort for some of them; e.g. a construction unification cannot be a tailcall).

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