- From: <bugzilla@jessica.w3.org>
- Date: Thu, 20 Dec 2012 04:55:45 +0000
- To: public-script-coord@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=20453 Bug ID: 20453 Summary: 3.1: two questions re underscore removal Classification: Unclassified Product: WebAppsWG Version: unspecified Hardware: All OS: All Status: NEW Severity: normal Priority: P2 Component: WebIDL Assignee: cam@mcc.id.au Reporter: jmdyck@ibiblio.org QA Contact: public-webapps-bugzilla@w3.org CC: mike@w3.org, public-script-coord@w3.org In 3.1, a couple of places say: the identifier [of some construct] is the value of the identifier token with any single leading U+005F LOW LINE ("_") character (underscore) removed. (1) The significance of the word 'single' is unclear. It could mean: (a) if the value of the identifier token begins with exactly one underscore, it is removed. or (b) if the value of the identifier token begins with one or more underscores, exactly one is removed. E.g., if the value of the identifier token is "__foo", is the identifier (a) '__foo' or (b) '_foo' ? (2) The production: identifier = [A-Z_a-z][0-9A-Z_a-z]* allows an identifier token whose value is a single underscore. This seems to imply that the resulting identifier has no characters. Is that intended? -- You are receiving this mail because: You are on the CC list for the bug.
Received on Thursday, 20 December 2012 04:55:47 UTC