J3/01-326

To:	 J3
From:    Malcolm Cohen
Subject: Unresolved issue 338
Date:	 21st August 2001

1. Introduction
---------------
Issue 338 says:
  "The wording on the constraints in 12.7.1 could use improvement."
I concur.  It goes on to state:
  "See the wording style used in 12.6 for examples to emulate."
The edits below follow these guidelines.

2. Edits to 01-007r2
--------------------
[266:3-4] Change "the ... R1233)" to "pure subprograms".
[267:32-33] Change "the ... R1233)" to "elemental subprograms".
{We no longer need _ or indeed want _ the fiction that all constraints are
attached to particular syntax rules.}

[267:34-268:7] Replace the J3 note and the offending constraints with:
"C1279 All dummy arguments of an elemental procedure shall be scalar dummy data
       objects and shall not have the POINTER or ALLOCATABLE attribute.
 C1280 The result variable of an elemental function shall be scalar and shall
       not have the POINTER or ALLOCATABLE attribute.
 C1281 In the scoping unit of an elemental subprogram, an object designator
       with a dummy argument as the base object shall not appear in a
       <specification-expr> except as the argument to one of the intrinsic
       functions BIT_SIZE, KIND, LEN, or the numeric inquiry functions
       (13.8.8)."
{Note 1: C1282 and C1283 subsumed into C1279.}
{Note 2: The slightly strange wording on C1281 is to make it absolutely clear
we are not restricting access to host dummy arguments in an internal procedure
of an elemental procedure.}