---

yaml
---
r: 2879
b: refs/heads/master
c: e5dc138
h: refs/heads/master
i:
  2877: 01d2367
  2875: ca38ac9
  2871: e38a1cb
  2863: 63f7c32
  2847: e06fb18
  2815: 73ae07d
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 681f0c7a2b2f83b34f9c0f22ca8e109b047df13a
+refs/heads/master: e5dc138dfa53d0351031b4955f697b6ac808afae

trunk/src/comp/pretty/pp.rs

@@ -131,7 +131,8 @@ fn mk_printer(io::writer out, uint linewidth) -> printer {
                 true,             // scan_stack_empty
                 0u,               // top
                 0u,               // bottom
-                print_stack);
+                print_stack,
+                0);
 }
 
 /*
@@ -236,7 +237,10 @@ obj printer(io::writer out,
             mutable uint bottom,           // index of bottom of scan_stack
 
             // stack of blocks-in-progress being flushed by print
-            mutable vec[print_stack_elt] print_stack
+            mutable vec[print_stack_elt] print_stack,
+
+            // buffered indentation to avoid writing trailing whitespace
+            mutable int pending_indentation
             ) {
 
 
@@ -430,16 +434,13 @@ obj printer(io::writer out,
     fn print_newline(int amount) {
         log #fmt("NEWLINE %d", amount);
         out.write_str("\n");
+        pending_indentation = 0;
         self.indent(amount);
     }
 
     fn indent(int amount) {
         log #fmt("INDENT %d", amount);
-        auto u = 0;
-        while (u < amount) {
-            out.write_str(" ");
-            u += 1;
-        }
+        pending_indentation += amount;
     }
 
     fn top() -> print_stack_elt {
@@ -452,6 +453,14 @@ obj printer(io::writer out,
         ret top;
     }
 
+    fn write_str(str s) {
+        while (pending_indentation > 0) {
+            out.write_str(" ");
+            pending_indentation -= 1;
+        }
+        out.write_str(s);
+    }
+
     fn print(token x, int L) {
         log #fmt("print %s %d (remaining line space=%d)",
                  tok_str(x), L, space);
@@ -515,7 +524,7 @@ obj printer(io::writer out,
                 assert L == len;
                 // assert L <= space;
                 space -= len;
-                out.write_str(s);
+                self.write_str(s);
             }
 
             case (EOF) {