[m-dev.] for review: --delay-constructs

[Zoltan Somogyi]

On 08-Mar-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> p(X, Y) :-	
> 	% construction, A -> free, B -> free, Y -> f(free, free).
> 	Y = f(A, B),
> 
> 	% deconstruction, A -> ground, B -> ground, Y -> ground.
> 	X = f(A, B),
> 
> 	A > 1.
> 
> You probably need to recompute the instmap_deltas in cases like this.

Thanks for pointing out that problem.

Actually, I think I will simply tighten the optimization to move only 
construction unifications that construct ground terms.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------