hixie: Fix a couple of parser bugs that made valid ES floating point numbers not get parsed to the same meaning in HTML attributes (whatwg r6084)

hixie: Fix a couple of parser bugs that made valid ES floating point
numbers not get parsed to the same meaning in HTML attributes (whatwg
r6084)

http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.4887&r2=1.4888&f=h
http://html5.org/tools/web-apps-tracker?from=6083&to=6084

===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.4887
retrieving revision 1.4888
diff -u -d -r1.4887 -r1.4888
--- Overview.html 5 May 2011 19:26:54 -0000 1.4887
+++ Overview.html 5 May 2011 21:16:40 -0000 1.4888
@@ -3632,6 +3632,15 @@
 
      <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 (+):</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 character indicated by <var title="">position</var>
@@ -3653,9 +3662,15 @@
      character.</li>
 
      <li><p>If <var title="">position</var> is past the end of <var title="">input</var>, or if the character indicated by <var title="">position</var> is not one of U+0030 DIGIT ZERO (0) to
-     U+0039 DIGIT NINE (9), then jump to the step labeled
+     U+0039 DIGIT NINE (9), U+0065 LATIN SMALL LETTER E (e), or U+0045
+     LATIN CAPITAL LETTER E (E), then jump to the step labeled
      <i>conversion</i>.</li>
 
+     <li><p>If the character indicated by <var title="">position</var>
+     is a U+0065 LATIN SMALL LETTER E character (e) or a U+0045 LATIN
+     CAPITAL LETTER E character (E), skip the remainder of these
+     substeps.</p>
+
      <li><p><i>Fraction loop</i>: Multiply <var title="">divisor</var>
      by ten.</li>

Received on Thursday, 5 May 2011 21:20:14 UTC