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

[Bug 7758] charGroupPart prose and production mismatch

From: <bugzilla@wiggum.w3.org>
Date: Fri, 02 Oct 2009 15:18:37 +0000
To: www-xml-schema-comments@w3.org
Message-Id: <E1Mtju1-0006gx-7m@wiggum.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=7758





--- Comment #1 from Dave Peterson <davep@iit.edu>  2009-10-02 15:18:36 ---
(In reply to comment #0)
> The prose for charGroupPart says it includes charClassEsc, but the production
> says it includes charClassExpr.
> 
> If the given production is correct, then 

I believe the prose is correct; we should correct the production.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Friday, 2 October 2009 15:18:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:17 GMT