(j3.2006) More stuff about elemental

[Van Snyder]

On Tue, 2009-03-17 at 17:38 -0700, Malcolm Cohen wrote:

> Van Snyder wrote:

> > 09-007:12.8.2p1 [318:12] says "If a generic name or a specific name is
> > used to reference an elemental function, the shape of the result is the
> > same as the shape of the actual argument with greatest rank."

...

> > Shouldn't this sentence be simply "The shape of the result of a
> > reference to an elemental function is the same as the shape of the
> > actual argument with greatest rank."?

> I don't think so.  We don't call the syntactic operands to a defined 
> elemental operation "actual arguments".  (Maybe it would be better if
> we did, but that's a different question.)

12.4.3.4.2p2 ends "All restrictions and constraints that apply to actual
arguments in a reference to a function also apply to the corresponding
operands in the expression as if they were used as actual arguments."

Can we replace this by "Corresponding operands in the expression are
considered to be actual arguments; therefore all restrictions and
constraints that apply to actual arguments in a reference apply to
corresponding operands in an expression."

Then 09-007:12.8.2p1 [318:12] can be replaced by the simpler sentence
above.