[m-rev.] For review: allow unifications to be delayed across impure goals

[Mark Brown]

On 12-Oct-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 1
> Branches: main
> 
> Allow unifications to be delayed across impure goals.  Previously this
> was disallowed which made it impossible to have deconstruction unifications
> in impure pred calls, which was unnecessarily awkward.
> 
> It is safe to reorder unifications across an impure goal because they cannot
> be affected by the impure goal (unifications are pure).

That doesn't follow!  In general pure goals cannot be reordered across
impure goals.  If it really is safe then please be clearer about your proof
in the log message, since I don't immediately see how it is safe.  Also, you
will need to update the reference manual (section 15.3) to match what is
actually allowed.

Cheers,
Mark.

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