(j3.2006) (SC22WG5.5173) Draft result of ballot on Corrigendum 3

[Bill Long]

Are the replacement edits really correct?


On 12/24/13 10:03 AM, John Reid wrote:
> [95:33-] Insert new BNF term
>    "R520a <assumed-implied-spec> <<is>>  [ <lower-bound> : ] *"
>

OK, a new, reusable name for  [<lower-bound>:]* .


> [95:33] R521 <assumed-size-spec>, after "<<is>>"
>    Replace entire RHS
>      "[ <explicit-shape-spec>, ]... [ <lower-bound> : ] *"
>    with
>      "<explicit-shape-spec-list>, <assumed-implied-spec>"

So now there is a mandatory comma as part of this syntax?  It would seem 
this should be

"[<explicit-shape-spec-list>,] <assumed-implied-spec>"


> {The unambiguous case has a list of <explicit-shape-spec>s.}
>
> [95:37+] Insert new BNF rules and constraint
>    "R521a <implied-shape-or-assumed-size-spec> <<is>>
>                  <assumed-implied-spec>
>
>     C534a An object whose array bounds are specified by an
>           <implied-shape-or-assumed-size-spec> shall be a dummy data
>           object or a named constant."
> {The otherwise-ambiguous case.  Note careful wording.}
>
> [96:24-25] 5.3.8.6p1
>    Replace sentence
>      "An implied-shape array is declared... <implied-shape-spec-list>."
>    with
>      "A named constant is declared to be an implied-shape array with an
>       <array-spec> that is an <implied-shape-or-assumed-size-spec> or
>       an <implied-shape-spec>."
> {Now two ways of declaring implied shape.}
>
> [96:26] R522,
>    Replace right-hand-side (after "<<is>>")
>      "[ <lower-bound> : ] *"
>    with
>      "<assumed-implied-spec>, <assumed-implied-spec-list>".

Similarly here, should this not be

"<assumed-implied-spec> [, <assumed-implied-spec-list>]"

or better, just

"<assumed-implied-spec-list>"

since the <-list> syntax requires at least one instance of the thing 
being qualified.  [22:16].

Cheers,
Bill


> {This is now the unambiguously implied-shape spec.}
>
> [96:28] p2,
>    Change "<implied-shape-spec>s" -> "<assumed-implied-spec>s"
>    and    "the <implied-shape-spec-list>" -> "its <array-spec>",
>    making the entire paragraph read:
>      "The rank of an implied-shape array is the number of
>       <assumed-implied-spec>s in its <array-spec>."
> {Change rank determination to accord with new syntax term.}
>
> [107:11] 5.4.11p1 "shape" -> "rank".
> {In the PARAMETER statement, only require the rank to be specified in
>   a prior specification statement.}

-- 
Bill Long                                           longb at cray.com
Fortran Technical Support    &                 voice: 651-605-9024
Bioinformatics Software Development            fax:   651-605-9142
Cray Inc./Cray Plaza, Suite 210/380 Jackson St./St. Paul, MN 55101