[m-dev.] Re: argument modes

Simon Taylor stayl at cs.mu.OZ.AU
Wed Dec 16 10:04:15 AEDT 1998

> G'day all.
> Simon Taylor wrote:
> > That's fine, but as far as I can see, the inst_table in the argument modes
> > field of a proc_info is not guaranteed to hold all of the inst_keys occurring
> > in the argument modes.
> If they the inst_keys are declared, it is guaranteed.
> > After mode checking the goal for a procedure the new
> > final insts are placed in the argument modes,
> They shouldn't be.  The argument modes are what the user declares.

Sorry, I was looking at what happens for mode inference.


More information about the developers mailing list