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

Simon Taylor stayl at cs.mu.OZ.AU
Tue Jul 27 10:14:06 AEST 1999


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



More information about the developers mailing list