aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2019-10-28 12:41:59 +0000
committerGitHub <[email protected]>2019-10-28 12:41:59 +0000
commit1ca41f2118fca17ee5ad0f586218489fa5d883af (patch)
tree6ff282a66cd3e95531f56a295a26793c681c694a
parent02828520a75f686d044cb9767572ea49e93c4828 (diff)
parent5a6db3ca297357b7fb6319ce9b096f4ec15e7997 (diff)
Merge #2108
2108: fix parsing of for loops inside expressions r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
-rw-r--r--crates/ra_parser/src/grammar/expressions/atom.rs3
-rw-r--r--crates/ra_syntax/test_data/parser/err/0024_many_type_parens.txt91
-rw-r--r--crates/ra_syntax/test_data/parser/ok/0059_loops_in_parens.rs5
-rw-r--r--crates/ra_syntax/test_data/parser/ok/0059_loops_in_parens.txt101
4 files changed, 151 insertions, 49 deletions
diff --git a/crates/ra_parser/src/grammar/expressions/atom.rs b/crates/ra_parser/src/grammar/expressions/atom.rs
index 7454005c4..4952bd189 100644
--- a/crates/ra_parser/src/grammar/expressions/atom.rs
+++ b/crates/ra_parser/src/grammar/expressions/atom.rs
@@ -56,7 +56,8 @@ pub(super) const ATOM_EXPR_FIRST: TokenSet =
56 LIFETIME, 56 LIFETIME,
57 ASYNC_KW, 57 ASYNC_KW,
58 TRY_KW, 58 TRY_KW,
59 LOOP_KW 59 LOOP_KW,
60 FOR_KW,
60 ]); 61 ]);
61 62
62const EXPR_RECOVERY_SET: TokenSet = token_set![LET_KW]; 63const EXPR_RECOVERY_SET: TokenSet = token_set![LET_KW];
diff --git a/crates/ra_syntax/test_data/parser/err/0024_many_type_parens.txt b/crates/ra_syntax/test_data/parser/err/0024_many_type_parens.txt
index 198daf7b4..0a93e11a5 100644
--- a/crates/ra_syntax/test_data/parser/err/0024_many_type_parens.txt
+++ b/crates/ra_syntax/test_data/parser/err/0024_many_type_parens.txt
@@ -179,50 +179,47 @@ SOURCE_FILE@[0; 240)
179 ERROR@[148; 149) 179 ERROR@[148; 149)
180 PLUS@[148; 149) "+" 180 PLUS@[148; 149) "+"
181 WHITESPACE@[149; 150) " " 181 WHITESPACE@[149; 150) " "
182 EXPR_STMT@[150; 151) 182 EXPR_STMT@[150; 180)
183 PAREN_EXPR@[150; 151) 183 TUPLE_EXPR@[150; 180)
184 L_PAREN@[150; 151) "(" 184 L_PAREN@[150; 151) "("
185 EXPR_STMT@[151; 157) 185 BIN_EXPR@[151; 180)
186 FOR_EXPR@[151; 157) 186 BIN_EXPR@[151; 178)
187 FOR_KW@[151; 154) "for" 187 BIN_EXPR@[151; 169)
188 ERROR@[154; 155) 188 BIN_EXPR@[151; 167)
189 L_ANGLE@[154; 155) "<" 189 BIN_EXPR@[151; 164)
190 ERROR@[155; 157) 190 FOR_EXPR@[151; 157)
191 LIFETIME@[155; 157) "\'a" 191 FOR_KW@[151; 154) "for"
192 EXPR_STMT@[157; 158) 192 ERROR@[154; 155)
193 ERROR@[157; 158) 193 L_ANGLE@[154; 155) "<"
194 R_ANGLE@[157; 158) ">" 194 ERROR@[155; 157)
195 WHITESPACE@[158; 159) " " 195 LIFETIME@[155; 157) "\'a"
196 EXPR_STMT@[159; 180) 196 R_ANGLE@[157; 158) ">"
197 BIN_EXPR@[159; 180) 197 WHITESPACE@[158; 159) " "
198 BIN_EXPR@[159; 178) 198 PATH_EXPR@[159; 164)
199 BIN_EXPR@[159; 169) 199 PATH@[159; 164)
200 BIN_EXPR@[159; 167) 200 PATH_SEGMENT@[159; 164)
201 PATH_EXPR@[159; 164) 201 NAME_REF@[159; 164)
202 PATH@[159; 164) 202 IDENT@[159; 164) "Trait"
203 PATH_SEGMENT@[159; 164) 203 L_ANGLE@[164; 165) "<"
204 NAME_REF@[159; 164) 204 ERROR@[165; 167)
205 IDENT@[159; 164) "Trait" 205 LIFETIME@[165; 167) "\'a"
206 L_ANGLE@[164; 165) "<" 206 R_ANGLE@[167; 168) ">"
207 ERROR@[165; 167) 207 ERROR@[168; 169)
208 LIFETIME@[165; 167) "\'a" 208 R_PAREN@[168; 169) ")"
209 R_ANGLE@[167; 168) ">" 209 WHITESPACE@[169; 170) " "
210 ERROR@[168; 169) 210 PLUS@[170; 171) "+"
211 R_PAREN@[168; 169) ")" 211 WHITESPACE@[171; 172) " "
212 WHITESPACE@[169; 170) " " 212 PAREN_EXPR@[172; 178)
213 PLUS@[170; 171) "+" 213 L_PAREN@[172; 173) "("
214 WHITESPACE@[171; 172) " " 214 PATH_EXPR@[173; 177)
215 PAREN_EXPR@[172; 178) 215 PATH@[173; 177)
216 L_PAREN@[172; 173) "(" 216 PATH_SEGMENT@[173; 177)
217 PATH_EXPR@[173; 177) 217 NAME_REF@[173; 177)
218 PATH@[173; 177) 218 IDENT@[173; 177) "Copy"
219 PATH_SEGMENT@[173; 177) 219 R_PAREN@[177; 178) ")"
220 NAME_REF@[173; 177) 220 R_ANGLE@[178; 179) ">"
221 IDENT@[173; 177) "Copy" 221 ERROR@[179; 180)
222 R_PAREN@[177; 178) ")" 222 SEMI@[179; 180) ";"
223 R_ANGLE@[178; 179) ">"
224 ERROR@[179; 180)
225 SEMI@[179; 180) ";"
226 WHITESPACE@[180; 185) "\n " 223 WHITESPACE@[180; 185) "\n "
227 LET_STMT@[185; 235) 224 LET_STMT@[185; 235)
228 LET_KW@[185; 188) "let" 225 LET_KW@[185; 188) "let"
@@ -307,18 +304,16 @@ error 146: expected expression
307error 147: expected SEMI 304error 147: expected SEMI
308error 148: expected expression 305error 148: expected expression
309error 149: expected SEMI 306error 149: expected SEMI
310error 151: expected expression
311error 151: expected R_PAREN
312error 151: expected SEMI
313error 154: expected pattern 307error 154: expected pattern
314error 155: expected IN_KW 308error 155: expected IN_KW
315error 155: expected expression 309error 155: expected expression
316error 157: expected a block 310error 157: expected a block
317error 157: expected expression
318error 158: expected SEMI
319error 165: expected expression 311error 165: expected expression
320error 168: expected expression 312error 168: expected expression
321error 179: expected expression 313error 179: expected expression
314error 180: expected COMMA
315error 180: expected expression
316error 180: expected R_PAREN
322error 180: expected SEMI 317error 180: expected SEMI
323error 215: expected COMMA 318error 215: expected COMMA
324error 215: expected R_ANGLE 319error 215: expected R_ANGLE
diff --git a/crates/ra_syntax/test_data/parser/ok/0059_loops_in_parens.rs b/crates/ra_syntax/test_data/parser/ok/0059_loops_in_parens.rs
new file mode 100644
index 000000000..6e8b718aa
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/ok/0059_loops_in_parens.rs
@@ -0,0 +1,5 @@
1fn main() {
2 Some(for _ in [1].into_iter() {});
3 Some(loop { break; });
4 Some(while true {});
5}
diff --git a/crates/ra_syntax/test_data/parser/ok/0059_loops_in_parens.txt b/crates/ra_syntax/test_data/parser/ok/0059_loops_in_parens.txt
new file mode 100644
index 000000000..c011187ea
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/ok/0059_loops_in_parens.txt
@@ -0,0 +1,101 @@
1SOURCE_FILE@[0; 105)
2 FN_DEF@[0; 104)
3 FN_KW@[0; 2) "fn"
4 WHITESPACE@[2; 3) " "
5 NAME@[3; 7)
6 IDENT@[3; 7) "main"
7 PARAM_LIST@[7; 9)
8 L_PAREN@[7; 8) "("
9 R_PAREN@[8; 9) ")"
10 WHITESPACE@[9; 10) " "
11 BLOCK_EXPR@[10; 104)
12 BLOCK@[10; 104)
13 L_CURLY@[10; 11) "{"
14 WHITESPACE@[11; 16) "\n "
15 EXPR_STMT@[16; 50)
16 CALL_EXPR@[16; 49)
17 PATH_EXPR@[16; 20)
18 PATH@[16; 20)
19 PATH_SEGMENT@[16; 20)
20 NAME_REF@[16; 20)
21 IDENT@[16; 20) "Some"
22 ARG_LIST@[20; 49)
23 L_PAREN@[20; 21) "("
24 FOR_EXPR@[21; 48)
25 FOR_KW@[21; 24) "for"
26 WHITESPACE@[24; 25) " "
27 PLACEHOLDER_PAT@[25; 26)
28 UNDERSCORE@[25; 26) "_"
29 WHITESPACE@[26; 27) " "
30 IN_KW@[27; 29) "in"
31 WHITESPACE@[29; 30) " "
32 METHOD_CALL_EXPR@[30; 45)
33 ARRAY_EXPR@[30; 33)
34 L_BRACK@[30; 31) "["
35 LITERAL@[31; 32)
36 INT_NUMBER@[31; 32) "1"
37 R_BRACK@[32; 33) "]"
38 DOT@[33; 34) "."
39 NAME_REF@[34; 43)
40 IDENT@[34; 43) "into_iter"
41 ARG_LIST@[43; 45)
42 L_PAREN@[43; 44) "("
43 R_PAREN@[44; 45) ")"
44 WHITESPACE@[45; 46) " "
45 BLOCK_EXPR@[46; 48)
46 BLOCK@[46; 48)
47 L_CURLY@[46; 47) "{"
48 R_CURLY@[47; 48) "}"
49 R_PAREN@[48; 49) ")"
50 SEMI@[49; 50) ";"
51 WHITESPACE@[50; 55) "\n "
52 EXPR_STMT@[55; 77)
53 CALL_EXPR@[55; 76)
54 PATH_EXPR@[55; 59)
55 PATH@[55; 59)
56 PATH_SEGMENT@[55; 59)
57 NAME_REF@[55; 59)
58 IDENT@[55; 59) "Some"
59 ARG_LIST@[59; 76)
60 L_PAREN@[59; 60) "("
61 LOOP_EXPR@[60; 75)
62 LOOP_KW@[60; 64) "loop"
63 WHITESPACE@[64; 65) " "
64 BLOCK_EXPR@[65; 75)
65 BLOCK@[65; 75)
66 L_CURLY@[65; 66) "{"
67 WHITESPACE@[66; 67) " "
68 EXPR_STMT@[67; 73)
69 BREAK_EXPR@[67; 72)
70 BREAK_KW@[67; 72) "break"
71 SEMI@[72; 73) ";"
72 WHITESPACE@[73; 74) " "
73 R_CURLY@[74; 75) "}"
74 R_PAREN@[75; 76) ")"
75 SEMI@[76; 77) ";"
76 WHITESPACE@[77; 82) "\n "
77 EXPR_STMT@[82; 102)
78 CALL_EXPR@[82; 101)
79 PATH_EXPR@[82; 86)
80 PATH@[82; 86)
81 PATH_SEGMENT@[82; 86)
82 NAME_REF@[82; 86)
83 IDENT@[82; 86) "Some"
84 ARG_LIST@[86; 101)
85 L_PAREN@[86; 87) "("
86 WHILE_EXPR@[87; 100)
87 WHILE_KW@[87; 92) "while"
88 WHITESPACE@[92; 93) " "
89 CONDITION@[93; 97)
90 LITERAL@[93; 97)
91 TRUE_KW@[93; 97) "true"
92 WHITESPACE@[97; 98) " "
93 BLOCK_EXPR@[98; 100)
94 BLOCK@[98; 100)
95 L_CURLY@[98; 99) "{"
96 R_CURLY@[99; 100) "}"
97 R_PAREN@[100; 101) ")"
98 SEMI@[101; 102) ";"
99 WHITESPACE@[102; 103) "\n"
100 R_CURLY@[103; 104) "}"
101 WHITESPACE@[104; 105) "\n"