[Webkit-unassigned] [Bug 14373] CSS1: selectors (classes and IDs) cannot start with a dash or with a digit

[bugzilla-daemon at webkit.org]

http://bugs.webkit.org/show_bug.cgi?id=14373


rwlbuis at gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #15257|                            |review?
               Flag|                            |




------- Comment #3 from rwlbuis at gmail.com  2007-06-26 12:58 PDT -------
Created an attachment (id=15257)
 --> (http://bugs.webkit.org/attachment.cgi?id=15257&action=view)
first attempt

This introduces no new shift/reduce conflicts. I have tried it on the
feature_branch where it improved two testcases (one was in the bug report) and
no regressions. However, someone may want to try it on ToT, maybe check for
speed regression and check whether some more elegant flex/bison approach can be
taken ( I am not an expert on those tools yet).
Cheers,

Rob.


-- 
Configure bugmail: http://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.