diff options
Diffstat (limited to 'crates/ra_parser/src/grammar/expressions.rs')
-rw-r--r-- | crates/ra_parser/src/grammar/expressions.rs | 72 |
1 files changed, 33 insertions, 39 deletions
diff --git a/crates/ra_parser/src/grammar/expressions.rs b/crates/ra_parser/src/grammar/expressions.rs index a0d5a99cb..9839846f1 100644 --- a/crates/ra_parser/src/grammar/expressions.rs +++ b/crates/ra_parser/src/grammar/expressions.rs | |||
@@ -54,7 +54,7 @@ pub(crate) fn expr_block_contents(p: &mut Parser) { | |||
54 | 54 | ||
55 | // test block_items | 55 | // test block_items |
56 | // fn a() { fn b() {} } | 56 | // fn a() { fn b() {} } |
57 | let m = p.start(); | 57 | let mut m = p.start(); |
58 | let has_attrs = p.at(POUND); | 58 | let has_attrs = p.at(POUND); |
59 | attributes::outer_attributes(p); | 59 | attributes::outer_attributes(p); |
60 | if p.at(LET_KW) { | 60 | if p.at(LET_KW) { |
@@ -62,47 +62,41 @@ pub(crate) fn expr_block_contents(p: &mut Parser) { | |||
62 | continue; | 62 | continue; |
63 | } | 63 | } |
64 | 64 | ||
65 | match items::maybe_item(p, items::ItemFlavor::Mod) { | 65 | m = match items::maybe_item(p, m, items::ItemFlavor::Mod) { |
66 | items::MaybeItem::Item(kind) => { | 66 | Some(m) => m, |
67 | m.complete(p, kind); | 67 | None => continue, |
68 | } | 68 | }; |
69 | items::MaybeItem::Modifiers => { | 69 | |
70 | // test pub_expr | ||
71 | // fn foo() { pub 92; } //FIXME | ||
72 | if has_attrs { | ||
73 | m.abandon(p); | ||
74 | p.error("expected a let statement or an item after attributes in block"); | ||
75 | } else { | ||
76 | let is_blocklike = expressions::expr_stmt(p) == BlockLike::Block; | ||
77 | if p.at(R_CURLY) { | ||
70 | m.abandon(p); | 78 | m.abandon(p); |
71 | p.error("expected an item"); | 79 | } else { |
72 | } | 80 | // test no_semi_after_block |
73 | // test pub_expr | 81 | // fn foo() { |
74 | // fn foo() { pub 92; } //FIXME | 82 | // if true {} |
75 | items::MaybeItem::None => { | 83 | // loop {} |
76 | if has_attrs { | 84 | // match () {} |
77 | m.abandon(p); | 85 | // while true {} |
78 | p.error("expected a let statement or an item after attributes in block"); | 86 | // for _ in () {} |
87 | // {} | ||
88 | // {} | ||
89 | // macro_rules! test { | ||
90 | // () => {} | ||
91 | // } | ||
92 | // test!{} | ||
93 | // } | ||
94 | if is_blocklike { | ||
95 | p.eat(SEMI); | ||
79 | } else { | 96 | } else { |
80 | let is_blocklike = expressions::expr_stmt(p) == BlockLike::Block; | 97 | p.expect(SEMI); |
81 | if p.at(R_CURLY) { | ||
82 | m.abandon(p); | ||
83 | } else { | ||
84 | // test no_semi_after_block | ||
85 | // fn foo() { | ||
86 | // if true {} | ||
87 | // loop {} | ||
88 | // match () {} | ||
89 | // while true {} | ||
90 | // for _ in () {} | ||
91 | // {} | ||
92 | // {} | ||
93 | // macro_rules! test { | ||
94 | // () => {} | ||
95 | // } | ||
96 | // test!{} | ||
97 | // } | ||
98 | if is_blocklike { | ||
99 | p.eat(SEMI); | ||
100 | } else { | ||
101 | p.expect(SEMI); | ||
102 | } | ||
103 | m.complete(p, EXPR_STMT); | ||
104 | } | ||
105 | } | 98 | } |
99 | m.complete(p, EXPR_STMT); | ||
106 | } | 100 | } |
107 | } | 101 | } |
108 | } | 102 | } |