W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > October to December 2007

[Bug 5322] Nonterminal "Char" has two productions

From: <bugzilla@wiggum.w3.org>
Date: Sat, 15 Dec 2007 20:43:00 +0000
To: www-xml-schema-comments@w3.org
Message-Id: <E1J3dqe-0004or-FJ@wiggum.w3.org>


           Summary: Nonterminal "Char" has two productions
           Product: XML Schema
           Version: 1.0/1.1 both
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Datatypes: XSD Part 2
        AssignedTo: cmsmcq@w3.org
        ReportedBy: davep@iit.edu
         QAContact: www-xml-schema-comments@w3.org

We use "Char" as a nonterminal meaning "normal character" in the RE appendix
productions (and defined therein).  We also refer to the nonterminal "Char" in
the production defining the lexical space of string, and there it is the
nonterminal defined in the XML spec, referring to a different set of
characters.  It's at best questionable whether we should use two distinct
nonterminals with the same spelling.  Since we have no control over the
nonterminal defined in the XML spec, I suggest we change the name of the one in
the appendix, e.g. to "normChar".
Received on Saturday, 15 December 2007 20:43:06 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:50:07 UTC