From owner-sc22wg5+sc22wg5-dom8=www.open-std.org@open-std.org  Tue Dec 24 21:45:04 2013
Return-Path: <owner-sc22wg5+sc22wg5-dom8=www.open-std.org@open-std.org>
X-Original-To: sc22wg5-dom8
Delivered-To: sc22wg5-dom8@www.open-std.org
Received: by www.open-std.org (Postfix, from userid 521)
	id 773A73582F8; Tue, 24 Dec 2013 21:45:04 +0100 (CET)
Delivered-To: sc22wg5@open-std.org
Received: from exprod6og111.obsmtp.com (exprod6og111.obsmtp.com [64.18.1.27])
	by www.open-std.org (Postfix) with ESMTP id 906E33580F8
	for <sc22wg5@open-std.org>; Tue, 24 Dec 2013 21:45:01 +0100 (CET)
Received: from CFWEX01.americas.cray.com ([136.162.34.11]) (using TLSv1) by exprod6ob111.postini.com ([64.18.5.12]) with SMTP
	ID DSNKUrnyTFhz2XvP8Vi/eZspd2TWfXPKAnoC@postini.com; Tue, 24 Dec 2013 12:45:03 PST
Received: from bill-longs-macbook-pro.local (192.168.233.210) by
 CFWEX01.americas.cray.com (172.30.88.25) with Microsoft SMTP Server id
 14.2.347.0; Tue, 24 Dec 2013 14:44:59 -0600
Message-ID: <52B9F288.1070500@cray.com>
Date: Tue, 24 Dec 2013 14:46:00 -0600
From: Bill Long <longb@cray.com>
Reply-To: <longb@cray.com>
Organization: Cray Inc.
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:17.0) Gecko/20130801 Thunderbird/17.0.8
MIME-Version: 1.0
To: sc22wg5 <sc22wg5@open-std.org>
Subject: Re: (j3.2006) (SC22WG5.5172) Draft result of ballot on Corrigendum
 3
References: <20131224160359.87D023582DB@www.open-std.org>
In-Reply-To: <20131224160359.87D023582DB@www.open-std.org>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed
Content-Transfer-Encoding: 7bit
Sender: owner-sc22wg5@open-std.org
Precedence: bulk

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