[Bug 10887] New: "garbage characters" in non-negative integers should be clarified

http://www.w3.org/Bugs/Public/show_bug.cgi?id=10887

           Summary: "garbage characters" in non-negative integers should
                    be clarified
           Product: HTML WG
           Version: unspecified
          Platform: All
               URL: http://dev.w3.org/html5/spec/common-microsyntaxes.html
                    #non-negative-integers
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P3
         Component: HTML5 spec (editor: Ian Hickson)
        AssignedTo: ian@hixie.ch
        ReportedBy: adrianba@microsoft.com
         QAContact: public-html-bugzilla@w3.org
                CC: mike@w3.org, public-html-wg-issue-tracking@w3.org,
                    public-html@w3.org


The spec says "Leading spaces are ignored. Trailing spaces and any trailing
garbage characters are ignored." This should be changed to "Leading spaces are
ignored. Trailing characters after any non-digit character outside the valid
range are ignored."

This means that "10abc1" will be treated as "10" not as "101", for example.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

Received on Thursday, 30 September 2010 18:43:18 UTC