Skip to content

Commit

Permalink
fix: Recover from = in record pattern field
Browse files Browse the repository at this point in the history
  • Loading branch information
Veykril committed Feb 13, 2024
1 parent ccccc29 commit bf115a6
Show file tree
Hide file tree
Showing 6 changed files with 59 additions and 4 deletions.
4 changes: 2 additions & 2 deletions crates/parser/src/grammar/expressions.rs
Original file line number Diff line number Diff line change
Expand Up @@ -694,7 +694,7 @@ pub(crate) fn record_expr_field_list(p: &mut Parser<'_>) {
// S { field ..S::default() }
// }
name_ref_or_index(p);
p.error("expected colon");
p.error("expected `:`");
} else {
// test_err record_literal_field_eq_recovery
// fn main() {
Expand All @@ -705,7 +705,7 @@ pub(crate) fn record_expr_field_list(p: &mut Parser<'_>) {
p.bump(T![:]);
} else if p.nth_at(1, T![=]) {
name_ref_or_index(p);
p.err_and_bump("expected colon");
p.err_and_bump("expected `:`");
}
expr(p);
}
Expand Down
9 changes: 9 additions & 0 deletions crates/parser/src/grammar/patterns.rs
Original file line number Diff line number Diff line change
Expand Up @@ -323,6 +323,15 @@ fn record_pat_field(p: &mut Parser<'_>) {
p.bump(T![:]);
pattern(p);
}
// test_err record_pat_field_eq_recovery
// fn main() {
// let S { field = foo };
// }
IDENT | INT_NUMBER if p.nth(1) == T![=] => {
name_ref_or_index(p);
p.err_and_bump("expected `:`");
pattern(p);
}
T![box] => {
// FIXME: not all box patterns should be allowed
box_pat(p);
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -45,5 +45,5 @@ SOURCE_FILE
WHITESPACE "\n"
R_CURLY "}"
WHITESPACE "\n"
error 25: expected colon
error 25: expected `:`
error 25: expected COMMA
Original file line number Diff line number Diff line change
Expand Up @@ -38,4 +38,4 @@ SOURCE_FILE
WHITESPACE "\n"
R_CURLY "}"
WHITESPACE "\n"
error 26: expected colon
error 26: expected `:`
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
SOURCE_FILE
FN
FN_KW "fn"
WHITESPACE " "
NAME
IDENT "main"
PARAM_LIST
L_PAREN "("
R_PAREN ")"
WHITESPACE " "
BLOCK_EXPR
STMT_LIST
L_CURLY "{"
WHITESPACE "\n "
LET_STMT
LET_KW "let"
WHITESPACE " "
RECORD_PAT
PATH
PATH_SEGMENT
NAME_REF
IDENT "S"
WHITESPACE " "
RECORD_PAT_FIELD_LIST
L_CURLY "{"
WHITESPACE " "
RECORD_PAT_FIELD
NAME_REF
IDENT "field"
WHITESPACE " "
ERROR
EQ "="
WHITESPACE " "
IDENT_PAT
NAME
IDENT "foo"
WHITESPACE " "
R_CURLY "}"
SEMICOLON ";"
WHITESPACE "\n"
R_CURLY "}"
WHITESPACE "\n"
error 30: expected `:`
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
fn main() {
let S { field = foo };
}

0 comments on commit bf115a6

Please sign in to comment.