---

yaml
---
r: 2219
b: refs/heads/master
c: c4e13cd
h: refs/heads/master
i:
  2217: e111a11
  2215: d6dfdc1
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: da328b1ba951bf2dbeb188120ab6344115a28631
+refs/heads/master: c4e13cd1fa451327a756efc0c23bbbdbb9e7e1ae

trunk/src/comp/middle/metadata.rs

@@ -45,9 +45,8 @@ const uint tag_index_table = 0x15u;
 // Type encoding
 
 // Compact string representation for ty.t values. API ty_str & parse_from_str.
-// (The second has to be authed pure.) Extra parameters are for converting
-// to/from def_ids in the string rep. Whatever format you choose should not
-// contain pipe characters.
+// Extra parameters are for converting to/from def_ids in the string rep.
+// Whatever format you choose should not contain pipe characters.
 
 mod Encode {
 

trunk/src/comp/middle/trans.rs

@@ -786,7 +786,8 @@ fn type_of_inner(@crate_ctxt cx, ty.t t) -> TypeRef {
     }
 
     check (llty as int != 0);
-    llvm.LLVMAddTypeName(cx.llmod, _str.buf(ty.ty_to_str(cx.tcx, t)), llty);
+    llvm.LLVMAddTypeName(cx.llmod, _str.buf(ty.ty_to_abbrev_str(cx.tcx, t)),
+                         llty);
     cx.lltypes.insert(t, llty);
     ret llty;
 }
@@ -1645,7 +1646,7 @@ fn declare_tydesc(@local_ctxt cx, ty.t t) {
     auto glue_fn_ty = T_ptr(T_glue_fn(ccx.tn));
 
     auto name = sanitize(ccx.names.next("tydesc_" +
-        ty.ty_to_str(cx.ccx.tcx, t)));
+        ty.ty_to_abbrev_str(cx.ccx.tcx, t)));
     auto gvar = llvm.LLVMAddGlobal(ccx.llmod, T_tydesc(ccx.tn),
                                    _str.buf(name));
     auto tydesc = C_struct(vec(C_null(T_ptr(T_ptr(T_tydesc(ccx.tn)))),

trunk/src/comp/middle/ty.rs

@@ -627,6 +627,12 @@ fn ty_to_str(ctxt cx, &t typ) -> str {
     ret s;
 }
 
+fn ty_to_abbrev_str(ctxt cx, t typ) -> str {
+    auto f = def_to_str;
+    auto ecx = @rec(ds=f, tcx=cx);
+    ret metadata.Encode.ty_str(ecx, typ);
+}
+
 // Type folds
 
 type ty_walk = fn(t);