mirror of
https://github.com/rust-lang/rust-analyzer.git
synced 2025-09-28 12:54:58 +00:00
Add bindings builder for speed up matching
This commit is contained in:
parent
f1350dd93c
commit
9117148f42
3 changed files with 221 additions and 67 deletions
|
@ -5,7 +5,7 @@
|
||||||
mod matcher;
|
mod matcher;
|
||||||
mod transcriber;
|
mod transcriber;
|
||||||
|
|
||||||
use smallvec::SmallVec;
|
use rustc_hash::FxHashMap;
|
||||||
use syntax::SmolStr;
|
use syntax::SmolStr;
|
||||||
|
|
||||||
use crate::{ExpandError, ExpandResult};
|
use crate::{ExpandError, ExpandResult};
|
||||||
|
@ -96,7 +96,7 @@ pub(crate) fn expand_rules(
|
||||||
/// many is not a plain `usize`, but an `&[usize]`.
|
/// many is not a plain `usize`, but an `&[usize]`.
|
||||||
#[derive(Debug, Default, Clone, PartialEq, Eq)]
|
#[derive(Debug, Default, Clone, PartialEq, Eq)]
|
||||||
struct Bindings {
|
struct Bindings {
|
||||||
inner: SmallVec<[(SmolStr, Binding); 4]>,
|
inner: FxHashMap<SmolStr, Binding>,
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug, Clone, PartialEq, Eq)]
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
|
|
|
@ -59,6 +59,8 @@
|
||||||
//! eof: [a $( a )* a b ·]
|
//! eof: [a $( a )* a b ·]
|
||||||
//! ```
|
//! ```
|
||||||
|
|
||||||
|
use std::rc::Rc;
|
||||||
|
|
||||||
use crate::{
|
use crate::{
|
||||||
expander::{Binding, Bindings, Fragment},
|
expander::{Binding, Bindings, Fragment},
|
||||||
parser::{Op, OpDelimited, OpDelimitedIter, RepeatKind, Separator},
|
parser::{Op, OpDelimited, OpDelimitedIter, RepeatKind, Separator},
|
||||||
|
@ -76,43 +78,15 @@ impl Bindings {
|
||||||
// FIXME: Do we have a better way to represent an empty token ?
|
// FIXME: Do we have a better way to represent an empty token ?
|
||||||
// Insert an empty subtree for empty token
|
// Insert an empty subtree for empty token
|
||||||
let tt = tt::Subtree::default().into();
|
let tt = tt::Subtree::default().into();
|
||||||
self.inner.push((name.clone(), Binding::Fragment(Fragment::Tokens(tt))));
|
self.inner.insert(name.clone(), Binding::Fragment(Fragment::Tokens(tt)));
|
||||||
}
|
}
|
||||||
|
|
||||||
fn push_empty(&mut self, name: &SmolStr) {
|
fn push_empty(&mut self, name: &SmolStr) {
|
||||||
self.inner.push((name.clone(), Binding::Empty));
|
self.inner.insert(name.clone(), Binding::Empty);
|
||||||
}
|
|
||||||
|
|
||||||
fn push_nested(&mut self, idx: usize, nested: Bindings) -> Result<(), ExpandError> {
|
|
||||||
for (key, value) in nested.inner {
|
|
||||||
if self.get_mut(&key).is_none() {
|
|
||||||
self.inner.push((key.clone(), Binding::Nested(Vec::new())));
|
|
||||||
}
|
|
||||||
match self.get_mut(&key) {
|
|
||||||
Some(Binding::Nested(it)) => {
|
|
||||||
// insert empty nested bindings before this one
|
|
||||||
while it.len() < idx {
|
|
||||||
it.push(Binding::Nested(vec![]));
|
|
||||||
}
|
|
||||||
it.push(value);
|
|
||||||
}
|
|
||||||
_ => {
|
|
||||||
return Err(ExpandError::BindingError(format!(
|
|
||||||
"could not find binding `{}`",
|
|
||||||
key
|
|
||||||
)));
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
Ok(())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn get_mut(&mut self, name: &str) -> Option<&mut Binding> {
|
|
||||||
self.inner.iter_mut().find_map(|(n, b)| if n == name { Some(b) } else { None })
|
|
||||||
}
|
}
|
||||||
|
|
||||||
fn bindings(&self) -> impl Iterator<Item = &Binding> {
|
fn bindings(&self) -> impl Iterator<Item = &Binding> {
|
||||||
self.inner.iter().map(|(_, b)| b)
|
self.inner.values()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -162,6 +136,187 @@ pub(super) fn match_(pattern: &MetaTemplate, input: &tt::Subtree) -> Match {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[derive(Debug, Clone)]
|
||||||
|
enum BindingKind {
|
||||||
|
Empty(SmolStr),
|
||||||
|
Optional(SmolStr),
|
||||||
|
Fragment(SmolStr, Fragment),
|
||||||
|
Nested(usize, usize),
|
||||||
|
}
|
||||||
|
|
||||||
|
#[derive(Debug, Clone)]
|
||||||
|
struct BindingsIdx(usize, usize);
|
||||||
|
|
||||||
|
#[derive(Debug, Clone)]
|
||||||
|
enum LinkNode<T> {
|
||||||
|
Node(T),
|
||||||
|
Parent { idx: usize, len: usize },
|
||||||
|
}
|
||||||
|
|
||||||
|
#[derive(Default)]
|
||||||
|
struct BindingsBuilder {
|
||||||
|
nodes: Vec<Vec<LinkNode<Rc<BindingKind>>>>,
|
||||||
|
nested: Vec<Vec<LinkNode<usize>>>,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl BindingsBuilder {
|
||||||
|
fn alloc(&mut self) -> BindingsIdx {
|
||||||
|
let idx = self.nodes.len();
|
||||||
|
self.nodes.push(Vec::with_capacity(8));
|
||||||
|
let nidx = self.nested.len();
|
||||||
|
self.nested.push(Vec::with_capacity(8));
|
||||||
|
BindingsIdx(idx, nidx)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn copy(&mut self, bindings: &BindingsIdx) -> BindingsIdx {
|
||||||
|
let idx = copy_parent(bindings.0, &mut self.nodes);
|
||||||
|
let nidx = copy_parent(bindings.1, &mut self.nested);
|
||||||
|
return BindingsIdx(idx, nidx);
|
||||||
|
|
||||||
|
fn copy_parent<T>(idx: usize, target: &mut Vec<Vec<LinkNode<T>>>) -> usize
|
||||||
|
where
|
||||||
|
T: Clone,
|
||||||
|
{
|
||||||
|
let new_idx = target.len();
|
||||||
|
let len = target[idx].len();
|
||||||
|
if len < 4 {
|
||||||
|
target.push(target[idx].clone())
|
||||||
|
} else {
|
||||||
|
let mut item = Vec::with_capacity(8);
|
||||||
|
item.push(LinkNode::Parent { idx, len });
|
||||||
|
target.push(item);
|
||||||
|
}
|
||||||
|
|
||||||
|
new_idx
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn push_empty(&mut self, idx: &mut BindingsIdx, var: &SmolStr) {
|
||||||
|
self.nodes[idx.0].push(LinkNode::Node(Rc::new(BindingKind::Empty(var.clone()))));
|
||||||
|
}
|
||||||
|
|
||||||
|
fn push_optional(&mut self, idx: &mut BindingsIdx, var: &SmolStr) {
|
||||||
|
self.nodes[idx.0].push(LinkNode::Node(Rc::new(BindingKind::Optional(var.clone()))));
|
||||||
|
}
|
||||||
|
|
||||||
|
fn push_fragment(&mut self, idx: &mut BindingsIdx, var: &SmolStr, fragment: Fragment) {
|
||||||
|
self.nodes[idx.0]
|
||||||
|
.push(LinkNode::Node(Rc::new(BindingKind::Fragment(var.clone(), fragment))));
|
||||||
|
}
|
||||||
|
|
||||||
|
fn push_nested(&mut self, parent: &mut BindingsIdx, child: &BindingsIdx) {
|
||||||
|
let BindingsIdx(idx, nidx) = self.copy(&child);
|
||||||
|
self.nodes[parent.0].push(LinkNode::Node(Rc::new(BindingKind::Nested(idx, nidx))));
|
||||||
|
}
|
||||||
|
|
||||||
|
fn push_default(&mut self, idx: &mut BindingsIdx) {
|
||||||
|
self.nested[idx.1].push(LinkNode::Node(idx.0));
|
||||||
|
let new_idx = self.nodes.len();
|
||||||
|
self.nodes.push(Vec::with_capacity(8));
|
||||||
|
idx.0 = new_idx;
|
||||||
|
}
|
||||||
|
|
||||||
|
fn build(self, idx: &BindingsIdx) -> Bindings {
|
||||||
|
let mut bindings = Bindings::default();
|
||||||
|
self.build_recur(&mut bindings, self.nodes[idx.0].clone());
|
||||||
|
bindings
|
||||||
|
}
|
||||||
|
|
||||||
|
fn build_recur(&self, bindings: &mut Bindings, nodes: Vec<LinkNode<Rc<BindingKind>>>) {
|
||||||
|
for cmd in self.flatten_nodes(nodes) {
|
||||||
|
match &*cmd {
|
||||||
|
BindingKind::Empty(name) => {
|
||||||
|
bindings.push_empty(name);
|
||||||
|
}
|
||||||
|
BindingKind::Optional(name) => {
|
||||||
|
bindings.push_optional(name);
|
||||||
|
}
|
||||||
|
BindingKind::Fragment(name, fragment) => {
|
||||||
|
bindings.inner.insert(name.clone(), Binding::Fragment(fragment.clone()));
|
||||||
|
}
|
||||||
|
BindingKind::Nested(idx, list) => {
|
||||||
|
let list = self.flatten_nested(*idx, *list);
|
||||||
|
|
||||||
|
for (idx, iter) in list.enumerate() {
|
||||||
|
for (key, value) in &iter.inner {
|
||||||
|
let bindings = bindings
|
||||||
|
.inner
|
||||||
|
.entry(key.clone())
|
||||||
|
.or_insert_with(|| Binding::Nested(Vec::new()));
|
||||||
|
|
||||||
|
if let Binding::Nested(it) = bindings {
|
||||||
|
// insert empty nested bindings before this one
|
||||||
|
while it.len() < idx {
|
||||||
|
it.push(Binding::Nested(Vec::new()));
|
||||||
|
}
|
||||||
|
it.push(value.clone());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn flatten_nested_ref(&self, id: usize, len: usize) -> Vec<Vec<LinkNode<Rc<BindingKind>>>> {
|
||||||
|
self.nested[id]
|
||||||
|
.iter()
|
||||||
|
.take(len)
|
||||||
|
.map(|it| match it {
|
||||||
|
LinkNode::Node(id) => vec![self.nodes[*id].clone()],
|
||||||
|
LinkNode::Parent { idx, len } => self.flatten_nested_ref(*idx, *len),
|
||||||
|
})
|
||||||
|
.flatten()
|
||||||
|
.collect()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn flatten_nested<'a>(
|
||||||
|
&'a self,
|
||||||
|
idx: usize,
|
||||||
|
list: usize,
|
||||||
|
) -> impl Iterator<Item = Bindings> + 'a {
|
||||||
|
let last = self.nodes[idx].clone();
|
||||||
|
self.nested[list]
|
||||||
|
.iter()
|
||||||
|
.map(move |it| match *it {
|
||||||
|
LinkNode::Node(idx) => vec![self.nodes[idx].clone()],
|
||||||
|
LinkNode::Parent { idx, len } => self.flatten_nested_ref(idx, len),
|
||||||
|
})
|
||||||
|
.flatten()
|
||||||
|
.chain(std::iter::once(last))
|
||||||
|
.map(move |iter| {
|
||||||
|
let mut child_bindings = Bindings::default();
|
||||||
|
self.build_recur(&mut child_bindings, iter);
|
||||||
|
child_bindings
|
||||||
|
})
|
||||||
|
}
|
||||||
|
|
||||||
|
fn flatten_nodes_ref(&self, id: usize, len: usize) -> Vec<Rc<BindingKind>> {
|
||||||
|
self.nodes[id]
|
||||||
|
.iter()
|
||||||
|
.take(len)
|
||||||
|
.map(|it| match it {
|
||||||
|
LinkNode::Node(it) => vec![it.clone()],
|
||||||
|
LinkNode::Parent { idx, len } => self.flatten_nodes_ref(*idx, *len),
|
||||||
|
})
|
||||||
|
.flatten()
|
||||||
|
.collect()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn flatten_nodes<'a>(
|
||||||
|
&'a self,
|
||||||
|
nodes: Vec<LinkNode<Rc<BindingKind>>>,
|
||||||
|
) -> impl Iterator<Item = Rc<BindingKind>> + 'a {
|
||||||
|
nodes
|
||||||
|
.into_iter()
|
||||||
|
.map(move |it| match it {
|
||||||
|
LinkNode::Node(it) => vec![it],
|
||||||
|
LinkNode::Parent { idx, len } => self.flatten_nodes_ref(idx, len),
|
||||||
|
})
|
||||||
|
.flatten()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
#[derive(Debug, Clone)]
|
#[derive(Debug, Clone)]
|
||||||
struct MatchState<'t> {
|
struct MatchState<'t> {
|
||||||
/// The position of the "dot" in this matcher
|
/// The position of the "dot" in this matcher
|
||||||
|
@ -187,7 +342,7 @@ struct MatchState<'t> {
|
||||||
sep_parsed: Option<usize>,
|
sep_parsed: Option<usize>,
|
||||||
|
|
||||||
/// Matched meta variables bindings
|
/// Matched meta variables bindings
|
||||||
bindings: SmallVec<[Bindings; 4]>,
|
bindings: BindingsIdx,
|
||||||
|
|
||||||
/// Cached result of meta variable parsing
|
/// Cached result of meta variable parsing
|
||||||
meta_result: Option<(TtIter<'t>, ExpandResult<Option<Fragment>>)>,
|
meta_result: Option<(TtIter<'t>, ExpandResult<Option<Fragment>>)>,
|
||||||
|
@ -218,6 +373,7 @@ fn match_loop_inner<'t>(
|
||||||
src: TtIter<'t>,
|
src: TtIter<'t>,
|
||||||
stack: &[TtIter<'t>],
|
stack: &[TtIter<'t>],
|
||||||
res: &mut Match,
|
res: &mut Match,
|
||||||
|
bindings_builder: &mut BindingsBuilder,
|
||||||
cur_items: &mut SmallVec<[MatchState<'t>; 1]>,
|
cur_items: &mut SmallVec<[MatchState<'t>; 1]>,
|
||||||
bb_items: &mut SmallVec<[MatchState<'t>; 1]>,
|
bb_items: &mut SmallVec<[MatchState<'t>; 1]>,
|
||||||
next_items: &mut Vec<MatchState<'t>>,
|
next_items: &mut Vec<MatchState<'t>>,
|
||||||
|
@ -251,12 +407,10 @@ fn match_loop_inner<'t>(
|
||||||
if item.sep_parsed.is_none() {
|
if item.sep_parsed.is_none() {
|
||||||
// Get the `up` matcher
|
// Get the `up` matcher
|
||||||
let mut new_pos = *item.up.clone().unwrap();
|
let mut new_pos = *item.up.clone().unwrap();
|
||||||
|
new_pos.bindings = bindings_builder.copy(&new_pos.bindings);
|
||||||
// Add matches from this repetition to the `matches` of `up`
|
// Add matches from this repetition to the `matches` of `up`
|
||||||
if let Some(bindings) = new_pos.bindings.last_mut() {
|
bindings_builder.push_nested(&mut new_pos.bindings, &item.bindings);
|
||||||
for (i, b) in item.bindings.iter_mut().enumerate() {
|
|
||||||
bindings.push_nested(i, b.clone()).unwrap();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
// Move the "dot" past the repetition in `up`
|
// Move the "dot" past the repetition in `up`
|
||||||
new_pos.dot.next();
|
new_pos.dot.next();
|
||||||
new_pos.is_error = new_pos.is_error || item.is_error;
|
new_pos.is_error = new_pos.is_error || item.is_error;
|
||||||
|
@ -280,7 +434,7 @@ fn match_loop_inner<'t>(
|
||||||
else if item.sep_kind != Some(RepeatKind::ZeroOrOne) {
|
else if item.sep_kind != Some(RepeatKind::ZeroOrOne) {
|
||||||
item.dot = item.dot.reset();
|
item.dot = item.dot.reset();
|
||||||
item.sep_parsed = None;
|
item.sep_parsed = None;
|
||||||
item.bindings.push(Bindings::default());
|
bindings_builder.push_default(&mut item.bindings);
|
||||||
cur_items.push(item);
|
cur_items.push(item);
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
|
@ -298,12 +452,12 @@ fn match_loop_inner<'t>(
|
||||||
OpDelimited::Op(Op::Repeat { tokens, kind, separator }) => {
|
OpDelimited::Op(Op::Repeat { tokens, kind, separator }) => {
|
||||||
if matches!(kind, RepeatKind::ZeroOrMore | RepeatKind::ZeroOrOne) {
|
if matches!(kind, RepeatKind::ZeroOrMore | RepeatKind::ZeroOrOne) {
|
||||||
let mut new_item = item.clone();
|
let mut new_item = item.clone();
|
||||||
|
new_item.bindings = bindings_builder.copy(&new_item.bindings);
|
||||||
new_item.dot.next();
|
new_item.dot.next();
|
||||||
let mut vars = Vec::new();
|
let mut vars = Vec::new();
|
||||||
let bindings = new_item.bindings.last_mut().unwrap();
|
|
||||||
collect_vars(&mut vars, tokens);
|
collect_vars(&mut vars, tokens);
|
||||||
for var in vars {
|
for var in vars {
|
||||||
bindings.push_empty(&var);
|
bindings_builder.push_empty(&mut new_item.bindings, &var);
|
||||||
}
|
}
|
||||||
cur_items.push(new_item);
|
cur_items.push(new_item);
|
||||||
}
|
}
|
||||||
|
@ -314,7 +468,7 @@ fn match_loop_inner<'t>(
|
||||||
sep: separator.clone(),
|
sep: separator.clone(),
|
||||||
sep_kind: Some(*kind),
|
sep_kind: Some(*kind),
|
||||||
sep_parsed: None,
|
sep_parsed: None,
|
||||||
bindings: smallvec![Bindings::default()],
|
bindings: bindings_builder.alloc(),
|
||||||
meta_result: None,
|
meta_result: None,
|
||||||
is_error: false,
|
is_error: false,
|
||||||
})
|
})
|
||||||
|
@ -339,7 +493,7 @@ fn match_loop_inner<'t>(
|
||||||
item.meta_result = Some((fork, match_res));
|
item.meta_result = Some((fork, match_res));
|
||||||
try_push!(bb_items, item);
|
try_push!(bb_items, item);
|
||||||
} else {
|
} else {
|
||||||
item.bindings.last_mut().unwrap().push_optional(name);
|
bindings_builder.push_optional(&mut item.bindings, &name);
|
||||||
item.dot.next();
|
item.dot.next();
|
||||||
cur_items.push(item);
|
cur_items.push(item);
|
||||||
}
|
}
|
||||||
|
@ -348,11 +502,11 @@ fn match_loop_inner<'t>(
|
||||||
res.add_err(err);
|
res.add_err(err);
|
||||||
match match_res.value {
|
match match_res.value {
|
||||||
Some(fragment) => {
|
Some(fragment) => {
|
||||||
item.bindings
|
bindings_builder.push_fragment(
|
||||||
.last_mut()
|
&mut item.bindings,
|
||||||
.unwrap()
|
&name,
|
||||||
.inner
|
fragment,
|
||||||
.push((name.clone(), Binding::Fragment(fragment)));
|
);
|
||||||
}
|
}
|
||||||
_ => {}
|
_ => {}
|
||||||
}
|
}
|
||||||
|
@ -394,6 +548,8 @@ fn match_loop(pattern: &MetaTemplate, src: &tt::Subtree) -> Match {
|
||||||
let mut res = Match::default();
|
let mut res = Match::default();
|
||||||
let mut error_reover_item = None;
|
let mut error_reover_item = None;
|
||||||
|
|
||||||
|
let mut bindings_builder = BindingsBuilder::default();
|
||||||
|
|
||||||
let mut cur_items = smallvec![MatchState {
|
let mut cur_items = smallvec![MatchState {
|
||||||
dot: pattern.iter_delimited(None),
|
dot: pattern.iter_delimited(None),
|
||||||
stack: Default::default(),
|
stack: Default::default(),
|
||||||
|
@ -401,7 +557,7 @@ fn match_loop(pattern: &MetaTemplate, src: &tt::Subtree) -> Match {
|
||||||
sep: None,
|
sep: None,
|
||||||
sep_kind: None,
|
sep_kind: None,
|
||||||
sep_parsed: None,
|
sep_parsed: None,
|
||||||
bindings: smallvec![Bindings::default()],
|
bindings: bindings_builder.alloc(),
|
||||||
is_error: false,
|
is_error: false,
|
||||||
meta_result: None,
|
meta_result: None,
|
||||||
}];
|
}];
|
||||||
|
@ -419,6 +575,7 @@ fn match_loop(pattern: &MetaTemplate, src: &tt::Subtree) -> Match {
|
||||||
src.clone(),
|
src.clone(),
|
||||||
&stack,
|
&stack,
|
||||||
&mut res,
|
&mut res,
|
||||||
|
&mut bindings_builder,
|
||||||
&mut cur_items,
|
&mut cur_items,
|
||||||
&mut bb_items,
|
&mut bb_items,
|
||||||
&mut next_items,
|
&mut next_items,
|
||||||
|
@ -428,9 +585,9 @@ fn match_loop(pattern: &MetaTemplate, src: &tt::Subtree) -> Match {
|
||||||
stdx::always!(cur_items.is_empty());
|
stdx::always!(cur_items.is_empty());
|
||||||
|
|
||||||
if error_items.len() > 0 {
|
if error_items.len() > 0 {
|
||||||
error_reover_item = error_items.pop();
|
error_reover_item = error_items.pop().map(|it| it.bindings);
|
||||||
} else if eof_items.len() > 0 {
|
} else if eof_items.len() > 0 {
|
||||||
error_reover_item = Some(eof_items[0].clone());
|
error_reover_item = Some(eof_items[0].bindings.clone());
|
||||||
}
|
}
|
||||||
|
|
||||||
// We need to do some post processing after the `match_loop_inner`.
|
// We need to do some post processing after the `match_loop_inner`.
|
||||||
|
@ -440,11 +597,11 @@ fn match_loop(pattern: &MetaTemplate, src: &tt::Subtree) -> Match {
|
||||||
if eof_items.len() == 1 {
|
if eof_items.len() == 1 {
|
||||||
// remove all errors, because it is the correct answer !
|
// remove all errors, because it is the correct answer !
|
||||||
res = Match::default();
|
res = Match::default();
|
||||||
res.bindings = eof_items[0].bindings[0].clone();
|
res.bindings = bindings_builder.build(&eof_items[0].bindings);
|
||||||
} else {
|
} else {
|
||||||
// Error recovery
|
// Error recovery
|
||||||
if error_reover_item.is_some() {
|
if error_reover_item.is_some() {
|
||||||
res.bindings = error_reover_item.unwrap().bindings[0].clone();
|
res.bindings = bindings_builder.build(&error_reover_item.unwrap());
|
||||||
}
|
}
|
||||||
res.add_err(ExpandError::UnexpectedToken);
|
res.add_err(ExpandError::UnexpectedToken);
|
||||||
}
|
}
|
||||||
|
@ -467,8 +624,8 @@ fn match_loop(pattern: &MetaTemplate, src: &tt::Subtree) -> Match {
|
||||||
}
|
}
|
||||||
res.add_err(err!("leftover tokens"));
|
res.add_err(err!("leftover tokens"));
|
||||||
|
|
||||||
if let Some(mut error_reover_item) = error_reover_item {
|
if let Some(error_reover_item) = error_reover_item {
|
||||||
res.bindings = error_reover_item.bindings.remove(0);
|
res.bindings = bindings_builder.build(&error_reover_item);
|
||||||
}
|
}
|
||||||
return res;
|
return res;
|
||||||
}
|
}
|
||||||
|
@ -494,12 +651,13 @@ fn match_loop(pattern: &MetaTemplate, src: &tt::Subtree) -> Match {
|
||||||
|
|
||||||
if let Some(OpDelimited::Op(Op::Var { name, .. })) = item.dot.peek() {
|
if let Some(OpDelimited::Op(Op::Var { name, .. })) = item.dot.peek() {
|
||||||
let (iter, match_res) = item.meta_result.take().unwrap();
|
let (iter, match_res) = item.meta_result.take().unwrap();
|
||||||
let bindings = item.bindings.last_mut().unwrap();
|
|
||||||
match match_res.value {
|
match match_res.value {
|
||||||
Some(fragment) => {
|
Some(fragment) => {
|
||||||
bindings.inner.push((name.clone(), Binding::Fragment(fragment)));
|
bindings_builder.push_fragment(&mut item.bindings, &name, fragment);
|
||||||
|
}
|
||||||
|
None if match_res.err.is_none() => {
|
||||||
|
bindings_builder.push_optional(&mut item.bindings, &name);
|
||||||
}
|
}
|
||||||
None if match_res.err.is_none() => bindings.push_optional(name),
|
|
||||||
_ => {}
|
_ => {}
|
||||||
}
|
}
|
||||||
if let Some(err) = match_res.err {
|
if let Some(err) = match_res.err {
|
||||||
|
|
|
@ -13,17 +13,13 @@ use crate::{
|
||||||
|
|
||||||
impl Bindings {
|
impl Bindings {
|
||||||
fn contains(&self, name: &str) -> bool {
|
fn contains(&self, name: &str) -> bool {
|
||||||
self.inner.iter().any(|(n, _)| n == name)
|
self.inner.contains_key(name)
|
||||||
}
|
}
|
||||||
|
|
||||||
fn get(&self, name: &str, nesting: &mut [NestingState]) -> Result<&Fragment, ExpandError> {
|
fn get(&self, name: &str, nesting: &mut [NestingState]) -> Result<&Fragment, ExpandError> {
|
||||||
let mut b: &Binding = self
|
let mut b: &Binding = self.inner.get(name).ok_or_else(|| {
|
||||||
.inner
|
ExpandError::BindingError(format!("could not find binding `{}`", name))
|
||||||
.iter()
|
})?;
|
||||||
.find_map(|(n, b)| if n == name { Some(b) } else { None })
|
|
||||||
.ok_or_else(|| {
|
|
||||||
ExpandError::BindingError(format!("could not find binding `{}`", name))
|
|
||||||
})?;
|
|
||||||
for nesting_state in nesting.iter_mut() {
|
for nesting_state in nesting.iter_mut() {
|
||||||
nesting_state.hit = true;
|
nesting_state.hit = true;
|
||||||
b = match b {
|
b = match b {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue