Don't attempt to parse a range as a float

verus-lang · Mar 12, 2024 · 0456f2b · 0456f2b
1 parent f087358
commit 0456f2b
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,7 @@
 # Unreleased
 
+* Improve parsing of range expressions (e.g., `0..(1 + 2)`) that start "float-like"
+
 # v0.2.7
 
 * Improve `verus!{ ... }` macro collapsing inside indented contexts (#39)

diff --git a/src/verus.pest b/src/verus.pest
@@ -132,7 +132,7 @@ int_number = @{
 
 float_decimal = @{
     (ASCII_DIGIT | "_")+ ~
-    "." ~
+    !".." ~ "." ~
     (ASCII_DIGIT | "_")* ~
     ("f32" | "f64")?   
 }

diff --git a/tests/verus-consistency.rs b/tests/verus-consistency.rs
@@ -1675,3 +1675,27 @@ proof fn uses_arrow_matches_1(t: ThisOrThat) { assert(t matches ThisOrThat::This
     } // verus!
     "###);
 }
+
+#[test]
+fn verus_range_operator() {
+    let file = r#"
+verus! {
+
+fn foo() { for i in 0..(10 + 5) {
+
+} }
+
+}
+
+"#;
+    assert_snapshot!(parse_and_format(file).unwrap(), @r###"
+    verus! {
+
+    fn foo() {
+        for i in 0..(10 + 5) {
+        }
+    }
+
+    } // verus!
+    "###);
+}