Add HygieneData::remove_mark.

This commit is contained in:
Nicholas Nethercote
2019-06-01 07:28:15 +10:00
parent 7bec8c94b4
commit cd64cc835d
+7 -5
View File
@@ -237,6 +237,12 @@ fn transparency(&self, ctxt: SyntaxContext) -> Transparency {
fn prev_ctxt(&self, ctxt: SyntaxContext) -> SyntaxContext {
self.syntax_contexts[ctxt.0 as usize].prev_ctxt
}
fn remove_mark(&self, ctxt: &mut SyntaxContext) -> Mark {
let outer_mark = self.syntax_contexts[ctxt.0 as usize].outer_mark;
*ctxt = self.prev_ctxt(*ctxt);
outer_mark
}
}
pub fn clear_markings() {
@@ -406,11 +412,7 @@ fn apply_mark_internal(self, mark: Mark, transparency: Transparency) -> SyntaxCo
/// invocation of f that created g1.
/// Returns the mark that was removed.
pub fn remove_mark(&mut self) -> Mark {
HygieneData::with(|data| {
let outer_mark = data.syntax_contexts[self.0 as usize].outer_mark;
*self = data.prev_ctxt(*self);
outer_mark
})
HygieneData::with(|data| data.remove_mark(self))
}
pub fn marks(mut self) -> Vec<(Mark, Transparency)> {