- 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