[m-rev.] for review: fix recomputing instmap_delta over negations

Zoltan Somogyi zs at csse.unimelb.edu.au
Fri Apr 23 13:55:18 AEST 2010


On 23-Apr-2010, Peter Wang <novalazy at gmail.com> wrote:
> compiler/mode_util.m:
>         Fix a problem where recomputing the instmap_delta over a negation
>         goal would change its reachability from `unreachable' to `reachable'.

That seems ok.

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



More information about the reviews mailing list