W3C home > Mailing lists > Public > public-html@w3.org > September 2010

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

From: <bugzilla@jessica.w3.org>
Date: Thu, 30 Sep 2010 18:43:16 +0000
To: public-html@w3.org
Message-ID: <bug-10887-2495@http.www.w3.org/Bugs/Public/>

           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
        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,

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

This archive was generated by hypermail 2.3.1 : Thursday, 29 October 2015 10:16:05 UTC