[m-rev.] for post-commit review: fix recompute_instmap_delta of generic calls

[Zoltan Somogyi]

On 29-Aug-2008, Peter Wang <novalazy at gmail.com> wrote:
> The instmap for the then branch is something like `reachable([var(New)])'
> and the instmap for the else branch was `reachable([])', so it couldn't
> merge them.  After the fix, the instmap for the else branch is
> `unreachable' so merging succeeds.

Thanks for that. Could you add this paragraph to the test case?

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