squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Support attributes on let statements

Browse source
This commit is contained in:
DJMcNab 2019-01-26 21:35:03 +00:00
parent 0974e6abeb
commit 55a3e21ac4
3 changed files with 109 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

52
crates/ra_syntax/src/grammar/expressions.rs
View file

@ -54,6 +54,7 @@ pub(crate) fn block(p: &mut Parser) {
_ => { _ => {
// test block_items // test block_items
// fn a() { fn b() {} } // fn a() { fn b() {} }
let has_attrs = p.at(POUND);
let m = p.start(); let m = p.start();
match items::maybe_item(p, items::ItemFlavor::Mod) { match items::maybe_item(p, items::ItemFlavor::Mod) {
items::MaybeItem::Item(kind) => { items::MaybeItem::Item(kind) => {
@ -66,30 +67,39 @@ pub(crate) fn block(p: &mut Parser) {
// test pub_expr // test pub_expr
// fn foo() { pub 92; } //FIXME // fn foo() { pub 92; } //FIXME
items::MaybeItem::None => { items::MaybeItem::None => {
let is_blocklike = expressions::expr_stmt(p) == BlockLike::Block; if has_attrs {
if p.at(R_CURLY) {
m.abandon(p); m.abandon(p);
} else { if p.at(LET_KW) {
// test no_semi_after_block let_stmt(p);
// fn foo() {
// if true {}
// loop {}
// match () {}
// while true {}
// for _ in () {}
// {}
// {}
// macro_rules! test {
// () => {}
// }
// test!{}
// }
if is_blocklike {
p.eat(SEMI);
} else { } else {
p.expect(SEMI); p.error("expected a let statement");
}
} else {
let is_blocklike = expressions::expr_stmt(p) == BlockLike::Block;
if p.at(R_CURLY) {
m.abandon(p);
} else {
// test no_semi_after_block
// fn foo() {
// if true {}
// loop {}
// match () {}
// while true {}
// for _ in () {}
// {}
// {}
// macro_rules! test {
// () => {}
// }
// test!{}
// }
if is_blocklike {
p.eat(SEMI);
} else {
p.expect(SEMI);
}
m.complete(p, EXPR_STMT);
} }
m.complete(p, EXPR_STMT);
} }
} }
} }

5
crates/ra_syntax/tests/data/parser/ok/0044_let_attrs.rs Normal file
View file

@ -0,0 +1,5 @@
// https://github.com/rust-analyzer/rust-analyzer/issues/677
fn main() {
#[cfg(feature = "backtrace")]
let exit_code = panic::catch_unwind(move || main());
}

73
crates/ra_syntax/tests/data/parser/ok/0044_let_attrs.txt Normal file
View file

@ -0,0 +1,73 @@
SOURCE_FILE@[0; 166)
FN_DEF@[0; 165)
COMMENT@[0; 60)
WHITESPACE@[60; 61)
FN_KW@[61; 63)
WHITESPACE@[63; 64)
NAME@[64; 68)
IDENT@[64; 68) "main"
PARAM_LIST@[68; 70)
L_PAREN@[68; 69)
R_PAREN@[69; 70)
WHITESPACE@[70; 71)
BLOCK@[71; 165)
L_CURLY@[71; 72)
WHITESPACE@[72; 77)
ATTR@[77; 106)
POUND@[77; 78)
TOKEN_TREE@[78; 106)
L_BRACK@[78; 79)
IDENT@[79; 82) "cfg"
TOKEN_TREE@[82; 105)
L_PAREN@[82; 83)
IDENT@[83; 90) "feature"
WHITESPACE@[90; 91)
EQ@[91; 92)
WHITESPACE@[92; 93)
STRING@[93; 104)
R_PAREN@[104; 105)
R_BRACK@[105; 106)
WHITESPACE@[106; 111)
LET_STMT@[111; 163)
LET_KW@[111; 114)
WHITESPACE@[114; 115)
BIND_PAT@[115; 124)
NAME@[115; 124)
IDENT@[115; 124) "exit_code"
WHITESPACE@[124; 125)
EQ@[125; 126)
WHITESPACE@[126; 127)
CALL_EXPR@[127; 162)
PATH_EXPR@[127; 146)
PATH@[127; 146)
PATH@[127; 132)
PATH_SEGMENT@[127; 132)
NAME_REF@[127; 132)
IDENT@[127; 132) "panic"
COLONCOLON@[132; 134)
PATH_SEGMENT@[134; 146)
NAME_REF@[134; 146)
IDENT@[134; 146) "catch_unwind"
ARG_LIST@[146; 162)
L_PAREN@[146; 147)
LAMBDA_EXPR@[147; 161)
MOVE_KW@[147; 151)
WHITESPACE@[151; 152)
PARAM_LIST@[152; 154)
PIPE@[152; 153)
PIPE@[153; 154)
WHITESPACE@[154; 155)
CALL_EXPR@[155; 161)
PATH_EXPR@[155; 159)
PATH@[155; 159)
PATH_SEGMENT@[155; 159)
NAME_REF@[155; 159)
IDENT@[155; 159) "main"
ARG_LIST@[159; 161)
L_PAREN@[159; 160)
R_PAREN@[160; 161)
R_PAREN@[161; 162)
SEMI@[162; 163)
WHITESPACE@[163; 164)
R_CURLY@[164; 165)
WHITESPACE@[165; 166)