Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2025-01-13 21:54:42 +00:00
Code Issues Projects Releases Packages Wiki Activity

move pat to prefix entry points

Browse source
This commit is contained in:
Aleksey Kladov 2021-12-27 16:06:02 +03:00
parent f10f51833c
commit 5636bef2ec
3 changed files with 17 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
crates/mbe/src/expander/matcher.rs
View file

@ -693,7 +693,14 @@ fn match_meta_var(kind: &str, input: &mut TtIter) -> ExpandResult<Option<Fragmen
"path" => ParserEntryPoint::Path,
"expr" => ParserEntryPoint::Expr,
"ty" => ParserEntryPoint::Type,
"pat" | "pat_param" => ParserEntryPoint::Pattern, // FIXME: edition2021
// FIXME: These two should actually behave differently depending on the edition.
//
// https://doc.rust-lang.org/edition-guide/rust-2021/or-patterns-macro-rules.html
"pat" | "pat_param" => {
return input
.expect_fragment2(parser::PrefixEntryPoint::Pat)
.map(|tt| tt.map(Fragment::Tokens));
}
"stmt" => {
return input
.expect_fragment2(parser::PrefixEntryPoint::Stmt)

6
crates/parser/src/grammar.rs
View file

@ -61,6 +61,10 @@ pub(crate) mod entry {
pub(crate) fn stmt(p: &mut Parser) {
expressions::stmt(p, expressions::StmtWithSemi::No, true);
}
pub(crate) fn pat(p: &mut Parser) {
patterns::pattern_single(p);
}
}
}
@ -76,8 +80,6 @@ pub(crate) mod entry_points {
pub(crate) use paths::type_path as path;
pub(crate) use patterns::pattern_single as pattern;
pub(crate) use types::type_;
pub(crate) fn expr(p: &mut Parser) {

7
crates/parser/src/lib.rs
View file

@ -43,7 +43,8 @@ pub use crate::{
/// Parse a syntactic construct at the *start* of the input.
///
/// This is used by macro-by-example parser to implement things like `$i:item`.
/// This is used by macro-by-example parser to implement things like `$i:item`
/// and the naming of variants follows the naming of macro fragments.
///
/// Note that this is generally non-optional -- the result is intentionally not
/// `Option<Output>`. The way MBE work, by the time we *try* to parse `$e:expr`
@ -54,6 +55,7 @@ pub enum PrefixEntryPoint {
Vis,
Block,
Stmt,
Pat,
}
impl PrefixEntryPoint {
@ -62,6 +64,7 @@ impl PrefixEntryPoint {
PrefixEntryPoint::Vis => grammar::entry::prefix::vis,
PrefixEntryPoint::Block => grammar::entry::prefix::block,
PrefixEntryPoint::Stmt => grammar::entry::prefix::stmt,
PrefixEntryPoint::Pat => grammar::entry::prefix::pat,
};
let mut p = parser::Parser::new(input);
entry_point(&mut p);
@ -108,7 +111,7 @@ pub fn parse(inp: &Input, entry_point: ParserEntryPoint) -> Output {
ParserEntryPoint::Path => grammar::entry_points::path,
ParserEntryPoint::Expr => grammar::entry_points::expr,
ParserEntryPoint::Type => grammar::entry_points::type_,
ParserEntryPoint::Pattern => grammar::entry_points::pattern,
ParserEntryPoint::Pattern => grammar::entry::prefix::pat,
ParserEntryPoint::Item => grammar::entry_points::item,
ParserEntryPoint::MetaItem => grammar::entry_points::meta_item,
ParserEntryPoint::StatementOptionalSemi => grammar::entry_points::stmt_optional_semi,