[m-rev.] for review: timestamp.m: fix order-of-eval problem

Ralph Becket rafe at cs.mu.OZ.AU
Tue Nov 19 10:15:46 AEDT 2002


We've talked before about adding ordered-conjunction (P && Q).

I'm prepared to do the hacking: is there anything more to it than
transforming

	(P && Q)

into

	(if P' then X1 = X1', ..., Xn = Xn', Q else false)

(which should eventually be optimized back into an ordered conjunction)
where if the Xi are the output non-locals of P then

	P' = P[X1'/X1, ..., Xn'/Xn]

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



More information about the reviews mailing list