[m-dev.] for review: correct aliasing in args of compiler generated procedures

[Simon Taylor]

> Estimated hours taken: 10
> 
> Fix up the predicates that create procedures during mode analysis and later
> phases so that they correctly handle aliasing in the procedure's arguments.

These changes look fine. Does something similar need to be done
for the modes of predicates introduced for lambda expressions?

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------