[m-rev.] for review: lco and constant constructions

[Peter Wang]

On Mon, 23 Jul 2012 14:42:24 +1000, Peter Wang <novalazy at gmail.com> wrote:
> Branches: main
> 
> Allow the last-call-modulo-cons optimisation to move goals in a conjunction
> following after a recursive call to before the call, if that would make the
> LCMC transform possible.  Currently, only construction unifications and
> from_ground_term goals are moved.

Committed.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------