---

yaml
---
r: 22522
b: refs/heads/master
c: f5e69d6
h: refs/heads/master
v: v3

Author: msullivan

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 985b52be6df504ce6dcef29df61ea20ab9c9323f
+refs/heads/master: f5e69d611e83c392cb83837ed3e6e440cc180d63
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/src/libsyntax/print/pprust.rs

@@ -379,18 +379,15 @@ fn print_type_ex(s: ps, &&ty: @ast::ty, print_colons: bool) {
         word(s.s, constrs_str(cs, ty_constr_to_str));
       }
       ast::ty_vstore(t, v) {
-        // If it is a vector, print it in prefix notation.
-        // Someday it will all be like this.
-        let is_fixed = alt v { ast::vstore_fixed(_) { true } _ { false } };
-        alt t.node {
-          ast::ty_vec(*) if !is_fixed {
-            print_vstore(s, v);
+        alt v {
+          ast::vstore_fixed(_) {
             print_type(s, t);
+            word(s.s, "/");
+            print_vstore(s, v);
           }
           _ {
-            print_type(s, t);
-            word(s.s, "/");
             print_vstore(s, v);
+            print_type(s, t);
           }
         }
       }
@@ -888,18 +885,15 @@ fn print_expr(s: ps, &&expr: @ast::expr) {
     s.ann.pre(ann_node);
     alt expr.node {
       ast::expr_vstore(e, v) {
-        // If it is a vector, print it in prefix notation.
-        // Someday it will all be like this.
-        let is_fixed = alt v { ast::vstore_fixed(_) { true } _ { false } };
-        alt e.node {
-          ast::expr_vec(*) if !is_fixed {
-            print_vstore(s, v);
+        alt v {
+          ast::vstore_fixed(_) {
             print_expr(s, e);
+            word(s.s, "/");
+            print_vstore(s, v);
           }
           _ {
-            print_expr(s, e);
-            word(s.s, "/");
             print_vstore(s, v);
+            print_expr(s, e);
           }
         }
       }

trunk/src/rustc/util/ppaux.rs

@@ -100,6 +100,15 @@ fn vstore_to_str(cx: ctxt, vs: ty::vstore) -> str {
     }
 }
 
+fn vstore_ty_to_str(cx: ctxt, ty: str, vs: ty::vstore) -> str {
+    alt vs {
+      ty::vstore_fixed(_) {
+        #fmt["%s/%s", ty, vstore_to_str(cx, vs)]
+      }
+      _ { #fmt["%s%s", vstore_to_str(cx, vs), ty] }
+    }
+}
+
 fn tys_to_str(cx: ctxt, ts: ~[t]) -> str {
     let mut rs = "";
     for ts.each |t| { rs += ty_to_str(cx, t); }
@@ -223,14 +232,9 @@ fn ty_to_str(cx: ctxt, typ: t) -> str {
         parameterized(cx, base, substs.self_r, substs.tps)
       }
       ty_evec(mt, vs) {
-        alt vs {
-          ty::vstore_fixed(_) {
-            #fmt["[%s]/%s", mt_to_str(cx, mt), vstore_to_str(cx, vs)]
-          }
-          _ { #fmt["%s[%s]", vstore_to_str(cx, vs), mt_to_str(cx, mt)] }
-        }
+        vstore_ty_to_str(cx, #fmt["[%s]", mt_to_str(cx, mt)], vs)
       }
-      ty_estr(vs) { #fmt["str/%s", vstore_to_str(cx, vs)] }
+      ty_estr(vs) { vstore_ty_to_str(cx, "str", vs) }
       ty_opaque_box { "@?" }
       ty_constr(t, _) { "@?" }
       ty_opaque_closure_ptr(ck_block) { "closure&" }

trunk/src/test/compile-fail/bad-const-type.rs

@@ -1,4 +1,4 @@
-// error-pattern:expected `str/~` but found `int`
+// error-pattern:expected `~str` but found `int`
 
 const i: str = 10i;
 fn main() { log(debug, i); }

trunk/src/test/compile-fail/binop-bitxor-str.rs

@@ -1,3 +1,3 @@
-// error-pattern:^ cannot be applied to type `str/~`
+// error-pattern:^ cannot be applied to type `~str`
 
 fn main() { let x = "a" ^ "b"; }

trunk/src/test/compile-fail/fail-type-err.rs

@@ -1,2 +1,2 @@
-// error-pattern:expected `str/~` but found `~[int]`
+// error-pattern:expected `~str` but found `~[int]`
 fn main() { fail ~[0i]; }

trunk/src/test/compile-fail/map-types.rs

@@ -8,5 +8,5 @@ import std::map::map;
 fn main() {
     let x: map<str,str> = map::str_hash::<str>() as map::<str,str>;
     let y: map<uint,str> = x;
-    //~^ ERROR mismatched types: expected `std::map::map<uint,str/~>`
+    //~^ ERROR mismatched types: expected `std::map::map<uint,~str>`
 }

trunk/src/test/compile-fail/minus-string.rs

@@ -1,3 +1,3 @@
-// error-pattern:cannot apply unary operator `-` to type `str/~`
+// error-pattern:cannot apply unary operator `-` to type `~str`
 
 fn main() { -"foo"; }

trunk/src/test/compile-fail/missing-do.rs

@@ -3,7 +3,7 @@
 fn foo(f: fn()) { f() }
 
 fn main() {
-    "" || 42; //~ ERROR binary operation || cannot be applied to type `str/~`
+    "" || 42; //~ ERROR binary operation || cannot be applied to type `~str`
     foo || {}; //~ ERROR binary operation || cannot be applied to type `extern fn(fn())`
     //~^ NOTE did you forget the 'do' keyword for the call?
 }