(j3.2006) Public Comment J32015

[Michael Ingrassia]

                                                            08-229
To: J3
From: Michael Ingrassia
Subject: Public Comment J32015
Date: 2008 July 08
----------------------------------------------------------------------

Commenter's Subject was "assumed constraints for names"

Some time ago, I had an e-mail correspondence with a
member of the committee who asserted that the statement

     In order to minimize the number of additional
     syntax rules and convey constraint information,
     the following rules are assumed.

in Section 1.6.5 meant that if an xyz-name appeared in
a syntax rule, an assumed constraint required the name
to be the name of an xyz.  I pointed out that
constraint C101 explicitly said when an implicit
constraint should be assumed, and that because there
was no corresponding constraint for names, there were
no assumed constraints for names, except, of course,
for scalar-names.  If my interpretation is wrong, a
constraint similar to constraint C101 should be added
for xyz-names.

----------------------------------------------------------------------