From owner-sc22wg5@dkuug.dk  Fri Oct 10 11:55:59 2003
Received: (from majordom@localhost)
	by dkuug.dk (8.12.10/8.9.2) id h9A9txrV041581
	for sc22wg5-domo; Fri, 10 Oct 2003 11:55:59 +0200 (CEST)
	(envelope-from owner-sc22wg5@dkuug.dk)
X-Authentication-Warning: ptah.dkuug.dk: majordom set sender to owner-sc22wg5@dkuug.dk using -f
Received: from mail22.messagelabs.com (mail22.messagelabs.com [62.231.131.211])
	by dkuug.dk (8.12.10/8.9.2) with SMTP id h9A9tpEt041562
	for <sc22wg5@dkuug.dk>; Fri, 10 Oct 2003 11:55:52 +0200 (CEST)
	(envelope-from malcolm@nag.co.uk)
X-VirusChecked: Checked
X-Env-Sender: malcolm@nag.co.uk
X-Msg-Ref: server-26.tower-22.messagelabs.com!1065779769!1436029
X-StarScan-Version: 5.1.9.3; banners=nag.co.uk,-,-
Received: (qmail 5022 invoked from network); 10 Oct 2003 09:56:09 -0000
Received: from smtp-6.star.net.uk (212.125.75.75)
  by server-26.tower-22.messagelabs.com with SMTP; 10 Oct 2003 09:56:09 -0000
Received: (qmail 22157 invoked from network); 10 Oct 2003 09:56:02 -0000
Received: from nagmx1.nag.co.uk (HELO nag.co.uk) (62.231.145.242)
  by smtp-6.star.net.uk with SMTP; 10 Oct 2003 09:56:02 -0000
Received: from brackley.nag.co.uk (brackley.nag.co.uk [192.156.217.21])
	by nag.co.uk (8.9.3/8.9.3) with ESMTP id KAA19900
	for <sc22wg5@dkuug.dk>; Fri, 10 Oct 2003 10:55:49 +0100 (BST)
Received: (from malcolm@localhost)
	by brackley.nag.co.uk (8.11.1/8.11.1) id h9AA0V031514
	for sc22wg5@dkuug.dk; Fri, 10 Oct 2003 11:00:31 +0100 (BST)
	(envelope-from malcolm)
From: Malcolm Cohen <malcolm@nag.co.uk>
Message-Id: <200310101000.h9AA0V031514@brackley.nag.co.uk>
Subject: Re: (SC22WG5.3027) Statement separation/termination
To: sc22wg5@dkuug.dk
Date: Fri, 10 Oct 2003 11:00:31 +0100 (BST)
X-Mailer: ELM [version 2.4ME+ PL61 (25)]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-Spam-Score: 0 () 
Sender: owner-sc22wg5@dkuug.dk
Precedence: bulk

Walt Brainerd said:

>Re: J3/03-007R2 FCD, 3.3.1.3 29:11 and 3.3.2.3 30:6
>
>A ";" shall not appear as the first nonblank character
>on a line.

Correct.

>I think Fortran 90 allowed
>
>    X = Y &
>    ; P = Q

Not so.

The original text of 3.3.1.2 was somewhat unclear, and in any case was
altered by interpretation 121, which I believe was included in
corrigendum 3.

>The F95 std has the same text.

Yes, it has the approved text from the interpretation.

>To see what is really going on ;-), one consults the
>F95 Handbook, where the phrase "unless it is a
>continuation line" is appended.

No, that is the authors' opinion.  It is not a WG5 or J3 document.

>If this is wrong, can we fix it as a comment on
>a country vote?
>
>Then let's fix this whole mess the "right way"(TM)
>in the next version.

No, I don't see the need for this Technical Change.
Put it on the list for F2010.

Cheers,
-- 
...........................Malcolm Cohen, NAG Ltd., Oxford, U.K.
                           (malcolm@nag.co.uk)

P.S. Here is the interp from 96-006r2, before corrigendum 3.

NUMBER: 000121
TITLE: ";" As a Statement Separator
KEYWORDS: source form - statement separator, ";"
DEFECT TYPE: Erratum
STATUS: WG5 approved; ready for SC22

QUESTION:  Are the following cases legal?

(1)  C = A ;  + B

(2)  F = ; &
     G

(3)  ; P = Q

The phrase "partial statements" used in sections 3.3.1.2 and 3.3.2.2 would
suggest that they are legal code fragments.  It was likely the intention that
the semicolon be permitted after a complete statement and (possibly) before the
start of a subsequent statement.

ANSWER: None of the cases are conforming.

Discussion: The phrase "partial statements" used in 3.3.1.2 and 3.3.2.2 was
intended to describe the strictly lexical entity resulting when a line is
continued in mid-statement.  A statement interrupted by continuation, and the
associated portion on the subsequent line, are two partial statements.  Thus it
was intended that breaking a statement into two partial statements be
accomplished by continuation only, and not also by the ";" separator.

Edits are provided to avoid the use of the phrase "partial statements" while
making more concise the intention of the standard committee.

With these edits, the following are conforming examples, and cases (1), (2) and
(3) are nonconforming.

   F = &
   G ; P = &  ! conforming
   Q

   F = &
   G ; P = Q  ! conforming

   F = G ; P = &  ! conforming
   Q

EDITS:
1. Section 3.3.1.2 [22:44-45], change the first sentence to read as follows:

     'The character ";" terminates a statement, except when the ";" appears
     in a character context or in a comment.  This optional termination allows
     another statement to begin following the ";" on the same line.  A ";"
     must not appear as the first nonblank character on a line.'

2. Section 3.3.1.2 [23:1-2], eliminate the last sentence of this section (it
   becomes redundant with edit 1).

3. Section 3.3.2.2 [23:36-37], change the first sentence to read as follows:

     'The character ";" terminates a statement, except when the ";" appears
     in a character context, in a comment, or in character position 6. This
     optional termination allows another statement to begin following the
     ";" on the same line. A ";" must not appear as the first nonblank
     character on a line, except in character position 6.'

4. Section 3.3.2.2 [23:39-40], eliminate the last sentence of this section (it
   becomes redundant with edit 3).

SUBMITTED BY: Paul St. Pierre,  119-PSP-1
HISTORY: 119-PSP-1 (initial submission)
         ui 94    (jw note)
         92-284   m123 considered
         94-072r1 m128 new response approved uc
         94-116   m129 X3J3 ballot failed 13-10
         94-243r1 m130 Revised 3rd edit and revised question to be
                       closer to original question. Approved u.c.
         94-306   m131 X3J3 ballot approved 19-0
         95-044   m132 WG5 ballot, approved, accept Reid edit.

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
