[m-dev.] Re: argument modes

[Simon Taylor]

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

Simon.