Make ".e0" not parse as 0.0

varkor · varkor · commit c0e87f13a4d2 · 2018-02-19T14:53:30.000Z
This forces floats to have either a digit before the separating point, or after. Thus ".e0" is invalid like ".", when using `parse()`.
diff --git a/src/libcore/num/dec2flt/parse.rs b/src/libcore/num/dec2flt/parse.rs
@@ -73,7 +73,8 @@ pub fn parse_decimal(s: &str) -> ParseResult {
         }
         Some(&b'.') => {
             let (fractional, s) = eat_digits(&s[1..]);
-            if integral.is_empty() && fractional.is_empty() && s.is_empty() {
+            if integral.is_empty() && fractional.is_empty() {
+                // We require at least a single digit before or after the point.
                 return Invalid;
             }
 
diff --git a/src/libcore/tests/num/dec2flt/mod.rs b/src/libcore/tests/num/dec2flt/mod.rs
@@ -101,6 +101,12 @@ fn lonely_dot() {
     assert!(".".parse::<f64>().is_err());
 }
 
+#[test]
+fn exponentiated_dot() {
+    assert!(".e0".parse::<f32>().is_err());
+    assert!(".e0".parse::<f64>().is_err());
+}
+
 #[test]
 fn lonely_sign() {
     assert!("+".parse::<f32>().is_err());

Original file line number	Diff line number	Diff line change
`@@ -73,7 +73,8 @@ pub fn parse_decimal(s: &str) -> ParseResult {`
`73`	`73`	`}`
`74`	`74`	`Some(&b'.') => {`
`75`	`75`	`let (fractional, s) = eat_digits(&s[1..]);`
`76`		`- if integral.is_empty() && fractional.is_empty() && s.is_empty() {`
	`76`	`+ if integral.is_empty() && fractional.is_empty() {`
	`77`	`+ // We require at least a single digit before or after the point.`
`77`	`78`	`return Invalid;`
`78`	`79`	`}`
`79`	`80`