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

Peter Wang novalazy at gmail.com
Tue Aug 7 11:24:20 AEST 2012

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.

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

More information about the reviews mailing list