From owner-sc22wg5@dkuug.dk  Wed Sep  3 01:43:52 2003
Received: (from majordom@localhost)
	by dkuug.dk (8.12.8p1/8.9.2) id h82NhqTZ095301
	for sc22wg5-domo; Wed, 3 Sep 2003 01:43:52 +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 math.jpl.nasa.gov (math.jpl.nasa.gov [137.79.7.57])
	by dkuug.dk (8.12.8p1/8.9.2) with ESMTP id h82NhhCp095290
	for <sc22wg5@dkuug.dk>; Wed, 3 Sep 2003 01:43:48 +0200 (CEST)
	(envelope-from vsnyder@math.jpl.nasa.gov)
Received: from math.jpl.nasa.gov (localhost.localdomain [127.0.0.1])
	by math.jpl.nasa.gov (8.12.8/8.12.8) with ESMTP id h82Nhicq025011
	for <sc22wg5@dkuug.dk>; Tue, 2 Sep 2003 16:43:44 -0700
Received: from math.jpl.nasa.gov (vsnyder@localhost)
	by math.jpl.nasa.gov (8.12.8/8.12.8/Submit) with ESMTP id h82NhiS3025007
	for <sc22wg5@dkuug.dk>; Tue, 2 Sep 2003 16:43:44 -0700
Message-Id: <200309022343.h82NhiS3025007@math.jpl.nasa.gov>
X-Mailer: exmh version 2.4 06/23/2000 with nmh-1.0.4
Reply-to: Van.Snyder@jpl.nasa.gov
From: Van.Snyder@jpl.nasa.gov
To: sc22wg5@dkuug.dk
Subject: Re: (SC22WG5.2959) Informal letter ballot on the draft
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Tue, 02 Sep 2003 16:43:44 -0700
Sender: owner-sc22wg5@dkuug.dk
Precedence: bulk


I mistakenly sent this to the J3 list instead of the WG5 list, so I must
apologize to the J3 members, for whom this is the second copy.

I wrote:

> > [45:21] It appears that one can create an extended type that is not an
> > extensible type, because a conspiracy of EXTENDS and BIND is not
> > prohibited. The reference to SEQUENCE is obscure. 

And Aleks observed:

> The 
> reference to SEQUENCE can indeed be changed to <sequence-stmt>, but look at 
> C1503 on 398:5 about BIND and EXTENDS.
> 
> This is exactly where the prohibition belongs.

Aleks is right.  The remaining proposed change to C429, viz.

[45:21] The reference to SEQUENCE is obscure.  Replace C429 by

"C429 (R429) If EXTENDS appears, a <sequence-stmt> shall not appear."

or

"C429 (R429) If EXTENDS appears, SEQUENCE (4.5.1.2) shall not appear."

could possibly be dismissed as simple wordsmithing.


-- 
Van Snyder                    |  What fraction of Americans believe 
Van.Snyder@jpl.nasa.gov       |  Wrestling is real and NASA is fake?
Any alleged opinions are my own and have not been approved or disapproved
by JPL, CalTech, NASA, Sean O'Keefe, George Bush, the Pope, or anybody else.


