[m-dev.] for review: alias branch improvements [2/2]

[Simon Taylor]

> On 26-Jul-1999, David Overton <dmo at cs.mu.OZ.AU> wrote:
> > On Sun, Jul 25, 1999 at 12:28:52PM EST, Fergus Henderson wrote:
> > > Is it an invariant that all initial insts of procedures will have no
> > > alias substitutions on them, or are you just assuming that this predicate
> > > won't be called for procedures whose initial insts have alias substitutions?
> > 
> > It is an invariant.  It also applies to the final insts from the
> > proc_info argument_modes.

What about procedures introduced by mode inference or deforestation for
which there are no declared argument modes?

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