[J3] Observation about C_FUNLOC

[Van Snyder]

On Wed, 2018-04-11 at 20:05 -0400, Steve Lionel via J3 wrote:
> On 4/11/2018 8:03 PM, Van Snyder via J3 wrote:
> > The argument of C_FUNLOC is not allowed to be a coindexed object.  The
> > only way it could be a coindexed object is if it's a pointer.  But
> > that's prohibited by C851 in 18-007, or C546 in F08.
> 
> Um - the argument to C_FUNLOC has to be a procedure.

Or a procedure pointer, which is then required to be associated.  But a
pointer can't be a coarray, so it can't be coindexed.  So, in any case,
there's no point in prohibiting it to be coindexed.

This isn't a problem, but it is a bit of a head scratcher if you start
at C_FUNLOC and wonder "Why is that mentioned?  Maybe there's something
deep I'm missing here."

Too late to change it for the current revision.  A very low-level thing
for the next one.

> 
> Steve
>