Fix parsing of if-let exprs

verus-lang · Dec 24, 2023 · 8ed3c90 · 8ed3c90
1 parent df24706
commit 8ed3c90
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -925,6 +925,7 @@ fn to_doc<'a>(
         Rule::yield_expr => map_to_doc(ctx, arena, pair),
         Rule::yeet_expr => map_to_doc(ctx, arena, pair),
         Rule::let_expr => map_to_doc(ctx, arena, pair),
+        Rule::let_expr_no_struct => map_to_doc(ctx, arena, pair),
         Rule::underscore_expr => map_to_doc(ctx, arena, pair).append(arena.text("_")),
         Rule::box_expr => map_to_doc(ctx, arena, pair),
 

diff --git a/src/verus.pest b/src/verus.pest
@@ -889,7 +889,7 @@ expr_inner_no_struct = _{
   | while_expr
   | yield_expr
   | yeet_expr
-  | let_expr
+  | let_expr_no_struct
   | underscore_expr
   | path_expr   // Needs to be last, or it matches against keywords like "while"  
 }
@@ -1207,6 +1207,10 @@ let_expr = {
     attr* ~ let_str ~ pat ~ eq_str ~ expr
 }
 
+let_expr_no_struct = {
+    attr* ~ let_str ~ pat ~ eq_str ~ expr_no_struct
+}
+
 underscore_expr = {
     attr* ~ "_"
 }