From owner-sc22wg5@dkuug.dk  Wed Sep  3 01:05:51 2003
Received: (from majordom@localhost)
	by dkuug.dk (8.12.8p1/8.9.2) id h82N5pjp094859
	for sc22wg5-domo; Wed, 3 Sep 2003 01:05:51 +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 h82N5aCp094852
	for <sc22wg5@dkuug.dk>; Wed, 3 Sep 2003 01:05:47 +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 h82N5bcq024811
	for <sc22wg5@dkuug.dk>; Tue, 2 Sep 2003 16:05:37 -0700
Received: from math.jpl.nasa.gov (vsnyder@localhost)
	by math.jpl.nasa.gov (8.12.8/8.12.8/Submit) with ESMTP id h82N5bEO024807
	for <sc22wg5@dkuug.dk>; Tue, 2 Sep 2003 16:05:37 -0700
Message-Id: <200309022305.h82N5bEO024807@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: (SC22WG5.2954) Informal letter ballot on the draft FCD
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Tue, 02 Sep 2003 16:05:37 -0700
Sender: owner-sc22wg5@dkuug.dk
Precedence: bulk

More comments on the draft FCD:

[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.  Replace C429 by

"C429 (R429) If EXTENDS appears, neither BIND(C) nor a <sequence-stmt> shall
appear."

or

"C429 (R429) If EXTENDS appears, neither BIND(C) nor SEQUENCE (4.5.1.2) shall
appear."

[60:6] begs the question "Are there other extensible types?" because it's
backward.  Replace it by

"An <<extensible type>> is a nonsequence derived type that does not have the
BIND attribute."

[60:7-8] beg the questions "Are there other base types?  Are there other
extended types?"  Replace "An extensible ... <<extended type>> by

"A <<base type>> is an extensible type that does not have the EXTENDS
attribute.  An <<extended type>> is a type that has the EXTENDS attribute.

([60:6-8] say "All A are B" when they should say "All B are A".)

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