[html5] r4297 - [giowt] (0) Correct the parsing rules for integers. Fixing http://www.w3.org/Bug [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2009-10-22 23:35:27 -0700 (Thu, 22 Oct 2009)
New Revision: 4297

Modified:
   complete.html
   index
   source
Log:
[giowt] (0) Correct the parsing rules for integers.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=8008

Modified: complete.html
===================================================================
--- complete.html	2009-10-23 06:32:19 UTC (rev 4296)
+++ complete.html	2009-10-23 06:35:27 UTC (rev 4297)
@@ -2849,12 +2849,16 @@
      <li>If <var title="">position</var> is past the end of <var title="">input</var>, return an error.</li>
 
     </ol><p>Otherwise, if the character indicated by <var title="">position</var> (the first character) is a U+002B PLUS
-    SIGN character (+), then advance <var title="">position</var> to
-    the next character. (The "<code title="">+</code>" is ignored, but
-    it is not conforming.)</p>
+    SIGN character (+):</p>
 
-   </li>
+    <ol><li>Advance <var title="">position</var> to the next
+     character. (The "<code title="">+</code>" is ignored, but it is
+     not conforming.)</li>
 
+     <li>If <var title="">position</var> is past the end of <var title="">input</var>, return an error.</li>
+
+    </ol></li>
+
    <li><p>If the next character is not one of U+0030 DIGIT ZERO (0)
    to U+0039 DIGIT NINE (9), then return an error.</li>
 

Modified: index
===================================================================
--- index	2009-10-23 06:32:19 UTC (rev 4296)
+++ index	2009-10-23 06:35:27 UTC (rev 4297)
@@ -2659,12 +2659,16 @@
      <li>If <var title="">position</var> is past the end of <var title="">input</var>, return an error.</li>
 
     </ol><p>Otherwise, if the character indicated by <var title="">position</var> (the first character) is a U+002B PLUS
-    SIGN character (+), then advance <var title="">position</var> to
-    the next character. (The "<code title="">+</code>" is ignored, but
-    it is not conforming.)</p>
+    SIGN character (+):</p>
 
-   </li>
+    <ol><li>Advance <var title="">position</var> to the next
+     character. (The "<code title="">+</code>" is ignored, but it is
+     not conforming.)</li>
 
+     <li>If <var title="">position</var> is past the end of <var title="">input</var>, return an error.</li>
+
+    </ol></li>
+
    <li><p>If the next character is not one of U+0030 DIGIT ZERO (0)
    to U+0039 DIGIT NINE (9), then return an error.</li>
 

Modified: source
===================================================================
--- source	2009-10-23 06:32:19 UTC (rev 4296)
+++ source	2009-10-23 06:35:27 UTC (rev 4297)
@@ -1744,10 +1744,19 @@
 
     <p>Otherwise, if the character indicated by <var
     title="">position</var> (the first character) is a U+002B PLUS
-    SIGN character (+), then advance <var title="">position</var> to
-    the next character. (The "<code title="">+</code>" is ignored, but
-    it is not conforming.)</p>
+    SIGN character (+):</p>
 
+    <ol>
+
+     <li>Advance <var title="">position</var> to the next
+     character. (The "<code title="">+</code>" is ignored, but it is
+     not conforming.)</li>
+
+     <li>If <var title="">position</var> is past the end of <var
+     title="">input</var>, return an error.</li>
+
+    </ol>
+ 
    </li>
 
    <li><p>If the next character is not one of U+0030 DIGIT ZERO (0)