XML 1.1: NameStartChar not a subset of Char?

I believe one of our engineers spotted a bug in the spec. See below.
--
Arnaud  Le Hors - IBM, XML Standards Strategy Group / W3C AC Rep.



Forwarding...
Tuesday, November 12, 2002 9:46 AM
To: Glenn Marcy/Cupertino/IBM@IBMUS
cc: Arnaud Le Hors/Cupertino/IBM@IBMUS
From: Neil Graham/Toronto/IBM@IBMCA
Subject: XML 1.1:  NameStartChar not a subset of Char?


Hi folks.  This looks like an erratum to me, but I could be wrong:
production [2] of 1.1 states, in part:

[2] Char ::= ... | [#xE000-#xFFFD] | [#x10000-#x10FFFF]

But [4] states:

[4] NameStartChar ::= ... | [#xF900-#xEFFFF]

So 0xFFFE and 0xFFFF are NameStartChars but not Chars?

If I'm not wrong, let me know if you want me to send a note to
www-xml-blueberry-comments@w3.org or if this is best left up to one of our
reps.

Thanks!
Neil
Neil Graham
XML Parser Development
IBM Toronto Lab
Phone:  905-413-3519, T/L 969-3519
E-mail:  neilg@ca.ibm.com

Received on Tuesday, 3 December 2002 14:26:27 UTC