[m-rev.] for review: loop invariant hoisting bug

[Zoltan Somogyi]

On 23-Oct-2009, Peter Wang <novalazy at gmail.com> wrote:
> compiler/loop_inv.m:
>         Fix a bug.  An `unused' variable in an invariant call was treated
>         like an output variable and added to the invariant variables list,
>         and hoisted.

That looks good.

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