Re: uniqueness of {if,do,case}-construct-name



In article <d4v9pv$1sk$1@xxxxxxxxxxxxxxxxxxxxxxx>,
kargl@xxxxxxxxxxxxxxxxxxxxxxxxxxxx (Steven G. Kargl) writes:
> In article <nospam-03BE88.22161529042005@xxxxxxxxxxxxxxxxxx>,
> Richard E Maine <nospam@xxxxxxxxxxxxx> writes:
>> In article <d4uu27$pi1$1@xxxxxxxxxxxxxxxxxxxxxxx>,
>> kargl@xxxxxxxxxxxxxxxxxxxxxxxxxxxx (Steven G. Kargl) wrote:
>>
>>> I've read through Chapter 8 of Final Committe Draft of the
>>> Fortran 95 standard, and I can't find where the if-construct-name,
>>> do-construct-name, and case-construct-name are required to be
>>> unique. Is such a constraint mandated by the standard?
>>
>> It isn't a constraint, but yes. You are looking in the wrong chapter.
>> Pretty much all the name uniqueness stuff is in c14.
>
> Thanks. I'll read Ch. 14, next.
>

Oh my! Ch. 14 is a torturous use of standardese. I'm going
to need a pointer to a passage concerning *-construct-name.
Section 14.2 is concerned with labels, and the BNF of DO in
8.1.4.1.1 (see R819 and R820) and 8.2 suggest that a
do-construct-name is not a label. Section 14.1.3 concerns
statement and construct entities. A do-construct-name is a
construct entity. I cannot find a passage in 14.1.3 that
requires the uniqueness of the name within a scoping unit.

--
Steve
http://troutmask.apl.washington.edu/~kargl/
.



Relevant Pages

  • Re: satisfies algorithm
    ... systems built with commercial implementations that pervade the industry, ... where there is a unique constraint or a primary key constraint that needs ... Of course you can validate uniqueness without an index: ... Enforcing the uniqueness property of a ...
    (comp.databases.theory)
  • Re: satisfies algorithm
    ... systems built with commercial implementations that pervade the industry, ... where there is a unique constraint or a primary key constraint that needs ... trigger or an assertion to enforce uniqueness. ... is a wealth of material on optimisation. ...
    (comp.databases.theory)
  • Re: Do I need a PK on a join table?
    ... uniqueness) with a physical structure. ... Uniqueness is a logical constraint. ...
    (comp.databases.theory)
  • Re: Indexes and primary keys, from Delaney
    ... > constraint) but that the index is unnecessary. ... > allows SQL Server to guarantee the uniqueness. ...
    (microsoft.public.sqlserver.programming)
  • Re: New Orleans Mayor - Maybe Iimpossible is right!!!!
    ... constrained by the conventional political labels. ... <I'd add the Republican and Democrat labels to those concepts that cause ...
    (rec.music.dylan)