mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

libsyntax: De-@mut (and de-@) Printer::print_stack

Browse Source
This commit is contained in:
Patrick Walton 2013-12-30 16:35:32 -08:00
parent 982cb824ce
commit 5eafcc4f93
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/libsyntax/print/pp.rs
View File

@ -171,7 +171,7 @@ pub fn mk_printer(out: ~io::Writer, linewidth: uint) -> Printer {
scan_stack_empty: true, scan_stack_empty: true,
top: 0, top: 0,
bottom: 0, bottom: 0,
print_stack: @mut ~[], print_stack: ~[],
pending_indentation: 0 pending_indentation: 0
} }
} }
@ -276,7 +276,7 @@ pub struct Printer {
top: uint, // index of top of scan_stack top: uint, // index of top of scan_stack
bottom: uint, // index of bottom of scan_stack bottom: uint, // index of bottom of scan_stack
// stack of blocks-in-progress being flushed by print // stack of blocks-in-progress being flushed by print
print_stack: @mut ~[print_stack_elt], print_stack: ~[print_stack_elt],
// buffered indentation to avoid writing trailing whitespace // buffered indentation to avoid writing trailing whitespace
pending_indentation: int, pending_indentation: int,
} }
@ -461,7 +461,7 @@ pub fn indent(&mut self, amount: int) {
self.pending_indentation += amount; self.pending_indentation += amount;
} }
pub fn get_top(&mut self) -> print_stack_elt { pub fn get_top(&mut self) -> print_stack_elt {
let print_stack = &mut *self.print_stack; let print_stack = &mut self.print_stack;
let n = print_stack.len(); let n = print_stack.len();
if n != 0u { if n != 0u {
print_stack[n - 1u] print_stack[n - 1u]
@ -506,7 +506,7 @@ pub fn print(&mut self, x: token, L: int) {
} }
END => { END => {
debug!("print END -> pop END"); debug!("print END -> pop END");
let print_stack = &mut *self.print_stack; let print_stack = &mut self.print_stack;
assert!((print_stack.len() != 0u)); assert!((print_stack.len() != 0u));
print_stack.pop(); print_stack.pop();
} }