mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix parsing lambdas with return type

Browse Source 
We should eat only a single block, and not whatever larger expression
may start with a block.

closes #3721
This commit is contained in:
Aleksey Kladov 2020-03-25 16:41:50 +01:00
parent 785eb32f49
commit f6188caaa0
4 changed files with 75 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
crates/ra_parser/src/grammar/expressions/atom.rs
View File

@ -230,14 +230,20 @@ fn lambda_expr(p: &mut Parser) -> CompletedMarker {
p.eat(T![async]); p.eat(T![async]);
p.eat(T![move]); p.eat(T![move]);
params::param_list_closure(p); params::param_list_closure(p);
if opt_fn_ret_type(p) && !p.at(T!['{']) { if opt_fn_ret_type(p) {
p.error("expected `{`"); if p.at(T!['{']) {
} // test lambda_ret_block
// fn main() { || -> i32 { 92 }(); }
if p.at_ts(EXPR_FIRST) { block_expr(p, None);
expr(p); } else {
p.error("expected `{`");
}
} else { } else {
p.error("expected expression"); if p.at_ts(EXPR_FIRST) {
expr(p);
} else {
p.error("expected expression");
}
} }
m.complete(p, LAMBDA_EXPR) m.complete(p, LAMBDA_EXPR)
} }

30
crates/ra_syntax/test_data/parser/err/0010_unsafe_lambda_block.txt
View File

@ -12,8 +12,8 @@ SOURCE_FILE@[0; 42)
BLOCK@[10; 41) BLOCK@[10; 41)
L_CURLY@[10; 11) "{" L_CURLY@[10; 11) "{"
WHITESPACE@[11; 16) "\n " WHITESPACE@[11; 16) "\n "
EXPR_STMT@[16; 39) EXPR_STMT@[16; 24)
LAMBDA_EXPR@[16; 38) LAMBDA_EXPR@[16; 24)
PARAM_LIST@[16; 18) PARAM_LIST@[16; 18)
PIPE@[16; 17) "|" PIPE@[16; 17) "|"
PIPE@[17; 18) "|" PIPE@[17; 18) "|"
@ -24,20 +24,22 @@ SOURCE_FILE@[0; 42)
TUPLE_TYPE@[22; 24) TUPLE_TYPE@[22; 24)
L_PAREN@[22; 23) "(" L_PAREN@[22; 23) "("
R_PAREN@[23; 24) ")" R_PAREN@[23; 24) ")"
WHITESPACE@[24; 25) " " WHITESPACE@[24; 25) " "
BLOCK_EXPR@[25; 38) EXPR_STMT@[25; 39)
UNSAFE_KW@[25; 31) "unsafe" BLOCK_EXPR@[25; 38)
WHITESPACE@[31; 32) " " UNSAFE_KW@[25; 31) "unsafe"
BLOCK@[32; 38) WHITESPACE@[31; 32) " "
L_CURLY@[32; 33) "{" BLOCK@[32; 38)
WHITESPACE@[33; 34) " " L_CURLY@[32; 33) "{"
TUPLE_EXPR@[34; 36) WHITESPACE@[33; 34) " "
L_PAREN@[34; 35) "(" TUPLE_EXPR@[34; 36)
R_PAREN@[35; 36) ")" L_PAREN@[34; 35) "("
WHITESPACE@[36; 37) " " R_PAREN@[35; 36) ")"
R_CURLY@[37; 38) "}" WHITESPACE@[36; 37) " "
R_CURLY@[37; 38) "}"
SEMI@[38; 39) ";" SEMI@[38; 39) ";"
WHITESPACE@[39; 40) "\n" WHITESPACE@[39; 40) "\n"
R_CURLY@[40; 41) "}" R_CURLY@[40; 41) "}"
WHITESPACE@[41; 42) "\n" WHITESPACE@[41; 42) "\n"
error [24; 24): expected `{` error [24; 24): expected `{`
error [24; 24): expected SEMI

1
crates/ra_syntax/test_data/parser/inline/ok/0158_lambda_ret_block.rs Normal file
View File

@ -0,0 +1 @@
fn main() { || -> i32 { 92 }(); }

45
crates/ra_syntax/test_data/parser/inline/ok/0158_lambda_ret_block.txt Normal file
View File

@ -0,0 +1,45 @@
SOURCE_FILE@[0; 34)
FN_DEF@[0; 33)
FN_KW@[0; 2) "fn"
WHITESPACE@[2; 3) " "
NAME@[3; 7)
IDENT@[3; 7) "main"
PARAM_LIST@[7; 9)
L_PAREN@[7; 8) "("
R_PAREN@[8; 9) ")"
WHITESPACE@[9; 10) " "
BLOCK_EXPR@[10; 33)
BLOCK@[10; 33)
L_CURLY@[10; 11) "{"
WHITESPACE@[11; 12) " "
EXPR_STMT@[12; 31)
CALL_EXPR@[12; 30)
LAMBDA_EXPR@[12; 28)
PARAM_LIST@[12; 14)
PIPE@[12; 13) "|"
PIPE@[13; 14) "|"
WHITESPACE@[14; 15) " "
RET_TYPE@[15; 21)
THIN_ARROW@[15; 17) "->"
WHITESPACE@[17; 18) " "
PATH_TYPE@[18; 21)
PATH@[18; 21)
PATH_SEGMENT@[18; 21)
NAME_REF@[18; 21)
IDENT@[18; 21) "i32"
WHITESPACE@[21; 22) " "
BLOCK_EXPR@[22; 28)
BLOCK@[22; 28)
L_CURLY@[22; 23) "{"
WHITESPACE@[23; 24) " "
LITERAL@[24; 26)
INT_NUMBER@[24; 26) "92"
WHITESPACE@[26; 27) " "
R_CURLY@[27; 28) "}"
ARG_LIST@[28; 30)
L_PAREN@[28; 29) "("
R_PAREN@[29; 30) ")"
SEMI@[30; 31) ";"
WHITESPACE@[31; 32) " "
R_CURLY@[32; 33) "}"
WHITESPACE@[33; 34) "\n"